A circumscriptive calculus of events
- 30 September 1995
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 77 (2) , 249-284
- https://doi.org/10.1016/0004-3702(94)00036-z
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Provably correct theories of actionJournal of the ACM, 1995
- Narratives in the Situation CalculusJournal of Logic and Computation, 1994
- Nonmonotonic reasoning in the framework of situation calculusArtificial Intelligence, 1991
- What Are the Limitations of the Situation Calculus?Published by Springer Nature ,1991
- Frames in the space of situationsArtificial Intelligence, 1990
- Monotonic Solution of The Frame Problem in The Situation CalculusPublished by Springer Nature ,1990
- Miracles in formal theories of actionArtificial Intelligence, 1989
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980