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 logicbased 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
