3891 search results - page 58 / 779 » A logic for strategic reasoning |
JFP
2008
13 years 7 months ago
2008
We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while allowing sound and efficient execution. In particular, the...
OWLED
2007
13 years 9 months ago
2007
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
Sound and complete axiomatizations are provided for a number of different logics involving modalities for knowledge and time. These logics arise from different choices for various ...
CADE
2005
Springer
14 years 8 months ago
2005
Springer
KR
1992
Springer
13 years 11 months ago
1992
Springer
An algorithm is presented which eliminates second