Nonmonotonic Reasoning in the Framework of Situation Calculus (1991)

Cached

Download Links

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

Documents Related by Co-Citation

1483 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
251 Nonmonotonic logic and temporal projection – S Hanks, D McDermott - 1987
556 The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression – R Reiter - 1991
488 Applications Of Circumscription To Formalizing Common Sense Knowledge – John McCarthy - 1986
145 Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions – Lenhart K. Schubert - 1990
118 Formal theories of action – V Lifschitz - 1987
966 Negation as failure – K Clark - 1978
609 A logic-based calculus of events – R Kowalski, M Sergot - 1986
817 Circumscription—a form of nonmonotonic reasoning – J McCarthy - 1980
26 Formalizing Reasoning About Change: A Qualitative Reasoning Approach – James M. Crawford, David W. Etherington - 1992
96 Frames in the Space of Situations – V Lifschitz - 1990
389 Representing Action and Change by Logic Programs – Michael Gelfond, Vladimir Lifschitz - 1993
231 State Constraints Revisited – Fangzhen Lin, Ray Reiter - 1994
81 What are the limitations of the situation calculus – M Gelfond, V Lifschitz, A Rabinov - 1996
38 Toward a Metatheory of Action – Vladimir Lifschitz - 1991
57 Formalizing Common Sense: Papers by – J McCarthy - 1990
87 Temporal Reasoning in Logic Programming: A Case for the Situation Calculus – Javier Pinto, Raymond Reiter - 1993
77 Narratives in the Situation Calculus – Rob Miller, Murray Shanahan - 1994
139 Prediction is Deduction but Explanation is Abduction – Murray Shanahan - 1989