The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression

Some Philosophical Problems from the Standpoint of Artificial Intelligence

1981 • 3,219 citations

Negation as Failure

1978 • 2,091 citations

ADL: exploring the middle ground between STRIPS and the situation calculus

1989 • 486 citations

EPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE

1981 • 309 citations

Achieving Several Goals Simultaneously**The research reported herein was sponsored by the National Science Foundation under Grant GJ-36146.

1981 • 274 citations

Monotonic Solution of The Frame Problem in The Situation Calculus

1990 • 173 citations

Knowledge Representation and Defeasible Reasoning

1990 • 124 citations

The Case for Domain-Specific Frame Axioms

1987 • 98 citations

Theorem-Proving by Resolution as a Basis for Question-Answering Systems

2010 • 90 citations