Nonmonotonic Reasoning in the Framework of Situation Calculus (1991)

Cached

Download Links

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

Documents Related by Co-Citation

248 Nonmonotonic logic and temporal projection – S Hanks, D McDermott - 1987
1492 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
553 The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression – R Reiter - 1991
486 Applications Of Circumscription To Formalizing Common Sense Knowledge – John McCarthy - 1986
143 Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds with Fully Specified Actions – Lenhart K. Schubert - 1990
959 Negation as failure – K L Clark - 1978
118 Formal theories of action – V Lifschitz - 1987
817 Circumscription - a form of non-monotonic reasoning – J McCarthy - 1980
96 Frames in the Space of Situations – V Lifschitz - 1990
618 A logic-based calculus of events – R Kowalski, M Sergot
379 Representing Action and Change by Logic Programs – Michael Gelfond, Vladimir Lifschitz - 1993
225 State Constraints Revisited – Fangzhen Lin, Ray Reiter - 1994
81 What are the Limitations of the Situation Calculus – M GELFOND, V LIFSCHITZ, A RABINOV - 1991
26 Formalizing Reasoning About Change: A Qualitative Reasoning Approach – James M. Crawford, David W. Etherington - 1992
56 Formalizing Common Sense: Papers by – John McCarthy - 1990
140 Prediction is Deduction but Explanation is Abduction – Murray Shanahan - 1989
65 Exploiting constraints in design synthesis – J Finger - 1986
181 Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia – Murray Shanahan - 1997
38 Toward a Metatheory of Action – Vladimir Lifschitz - 1991