Nonmonotonic Reasoning in the Framework of Situation Calculus (1991)

Cached

Download Links

by Andrew B. Baker
Venue:Artificial Intelligence
Citations:132 - 0 self

Active Bibliography

5 Nonmonotonic Temporal Reasoning – Andrew B. Baker, Yoav Shoham - 1989
51 A Simple Solution to the Yale Shooting Problem – Andrew B. Baker - 1989
2 Formal Real-Time Imagination – Madhura Nirkhe, Sarit Kraus - 1995
15 Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches – Luca Chittaro, Angelo Montanari - 2002
35 Active Logics: A Unified Formal Approach to Episodic Reasoning – Jennifer Elgot-drapkin, Sarit Kraus, Michael Miller, Madhura Nirkhe, Donald Perlis
3 Reasoning about Persistence: A Unified Principle for State Change – Yan Zhang, Fangzhen Lin, Eliezer L. Lozinskii, Ray Reiter, Discussions Nicholas Asher, Andreas Herzig - 1994
6 Representing and Reasoning about Concurrent Actions with Abductive Logic Programs – Renwei Li, Luís Moniz Pereira, Lu'is Moniz Pereira - 1997
1 Causal Action Theories and Satisfiability Planning – Charles Hudson Turner - 1998
36 Causality in Commonsense Reasoning about Actions – Norman Clayton McCain - 1997
2 Reasoning about action: An argumentation-theoretic approach – Quoc Bao Vo, Norman Y. Foo - 2005
5 Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning – Ilkka Niemelä - 1993
13 Integrating Discrete and Continuous Change in a Logical Framework – Javier Pinto - 1997
68 A Circumscriptive Calculus of Events – Murray Shanahan, London Sw Bz - 1995
46 Provably Correct Theories of Action – Fangzhen Lin, Yoav Shoham - 1991
Chapter 17 Event Calculus – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Erik T. Mueller
24 Temporal projection and explanation – Andrew B. Baker, Matthew L. Ginsberg - 1989
2 Causality as a Key to the Frame Problem – Hideyuki Nakashima, Hitoshi Matsubara, Ichiro Ohsawa - 1997
7 Applying the Persistent Set Approach in Temporal Reasoning – Yan Zhang, Norman Y. Foo - 1995
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994