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 nonmonotonic reasoning
– J McCarthy
 1980

96

Frames in the Space of Situations
– V Lifschitz
 1990

618

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