From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem

Some Philosophical Problems from the Standpoint of Artificial Intelligence

1981 • 3,219 citations

Negation as Failure

1978 • 2,091 citations

STRIPS: a new approach to the application of theorem proving to problem solving

1995 • 1,547 citations

Logic for problem solving

1982 • 1,224 citations

GOLOG: A logic programming language for dynamic domains

1997 • 1,052 citations

Pushing the envelope: planning, propositional logic, and stochastic search

1996 • 873 citations

Programs with common sense

1960 • 841 citations

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

1991 • 728 citations

Nonmonotonic logic and temporal projection

1987 • 451 citations

Solving the frame problem: A mathematical investigation of the common sense law of inertia

1997 • 420 citations

Ramification and causality

1997 • 184 citations

Monotonic Solution of The Frame Problem in The Situation Calculus

1990 • 173 citations

Nonmonotonic reasoning in the framework of situation calculus

1991 • 128 citations

A new deductive approach to planning

1990 • 118 citations

Reasoning about action II

1988 • 109 citations

A deductive solution for plan generation

1986 • 102 citations

Execution Monitoring of High-Level Robot Programs.

1998 • 102 citations

The Case for Domain-Specific Frame Axioms

1987 • 98 citations

A theory of complete logic programs with equality

1984 • 96 citations

Explanatory Diagnosis: Conjecturing Actions to Explain Observations

1999 • 91 citations

A Logical Approach to High-Level Robot Programming A Progress Report*

1994 • 89 citations

Robotics and the Common Sense Informatic Situation.

1996 • 73 citations

Generating Plans in Linear Logic : I. Actions as proofs

1993 • 67 citations

Embracing causality in specifying the indeterminate effects of actions

1996 • 60 citations

Event calculus planning revisited

1997 • 44 citations

Opening the AC-unification race

1988 • 40 citations

Book review: Formalizing Common Sense: Papers by John McCarthy edited by Vladimir Lifschitz (Ablex, 1990)

1993 • 39 citations

Causation, Action, and Counterfactuals

1997 • 35 citations

Computing change and specificity with equational logic programs

1995 • 33 citations

Linear deductive planning

1996 • 32 citations

Let's plan it deductively!

1998 • 30 citations

Assessments of ramification methods that use static domain constraints

1996 • 27 citations

Plan Generation by Linear Proofs: On Semantics

1989 • 26 citations

Reasoning about actions: steady versus stabilizing state constraints

1998 • 21 citations

SLDNF-resolution with equality

1992 • 20 citations

Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems

1997 • 16 citations

A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence.

1997 • 6 citations

Deleted Work

1955 • 0 citations