Reasoning about action II

A logic for default reasoning

1980 • 3,992 citations

Strips: A new approach to the application of theorem proving to problem solving

1971 • 3,943 citations

Some Philosophical Problems from the Standpoint of Artificial Intelligence

1981 • 3,219 citations

Towards a general theory of action and time

1984 • 2,602 citations

Circumscription—A form of non-monotonic reasoning

1980 • 2,056 citations

Applications of circumscription to formalizing common-sense knowledge

1986 • 1,097 citations

On the semantics of updates in databases

1983 • 344 citations

EPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE

1981 • 309 citations

Reasoning about action I

1988 • 261 citations

Counterfactuals

1986 • 193 citations

FORMAL THEORIES OF ACTION

1987 • 147 citations

Exploiting constraints in design synthesis

1987 • 128 citations

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

2010 • 90 citations

Chronological ignorance

1987 • 20 citations

Possible Worlds Planning

1987 • 14 citations