Applications of circumscription to formalizing common-sense knowledge
Artificial Intelligence
Nonmonotonic logic and temporal projection
Artificial Intelligence
A simple solution to the Yale shooting problem
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Incremental, approximate planning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Formalizing reasoning about change: a qualitative reasoning approach
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Hi-index | 0.00 |
Model-based revision of knowledge bases expressed as first-order theories was shown in [Winslett 88b] to be useful as a means of describing and reasoning about the effects of actions. This paper shows that model-based theory revision is actually expressible ...