Miracles in formal theories of action

Some Philosophical Problems from the Standpoint of Artificial Intelligence

1981 • 3,219 citations

Circumscription—A form of non-monotonic reasoning

1980 • 2,056 citations

Applications of circumscription to formalizing common-sense knowledge

1986 • 1,097 citations

Computing circumscription

1985 • 399 citations

Default reasoning, nonmonotonic logics, and the frame problem

1986 • 261 citations

FORMAL THEORIES OF ACTION

1987 • 147 citations

Formal theories of action (preliminary report)

1987 • 58 citations

Why things go wrong: a formal theory of causal reasoning

1988 • 44 citations