Motivated action theory: a formal theory of causal reasoning

A logic for default reasoning

1980 • 3,992 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

Non-monotonic logic I

1980 • 903 citations

Formal Theories of the Commonsense World

1985 • 773 citations

A temporal logic for reasoning about processes and plans

1982 • 753 citations

Reasoning About Change: Time and Causation from the Standpoint of Artificial Intelligence

1987 • 535 citations

A Temporal Logic for Reasoning about Processes and Plans*

1982 • 496 citations

Nonmonotonic logic and temporal projection

1987 • 451 citations

The Second Naive Physics Manifesto

1990 • 407 citations

Temporal logics in AI: Semantical and ontological considerations

1987 • 266 citations

Default reasoning, nonmonotonic logics, and the frame problem

1986 • 261 citations

Naive Physics I: Ontology For Liquids

1988 • 176 citations

Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning

1991 • 127 citations

The logic of persistence

1986 • 122 citations

Reasoning about action II

1988 • 109 citations

What Are the Limitations of the Situation Calculus?

1991 • 96 citations

Chronological ignorance: time, nonmonotonicity, necessity and causal theories

1986 • 67 citations

Pointwise circumscription: preliminary report

1986 • 67 citations

Formal theories of action (preliminary report)

1987 • 58 citations

Simple causal minimizations for temporal persistence and projection

1987 • 50 citations

Miracles in formal theories of action

1989 • 46 citations

Why things go wrong: a formal theory of causal reasoning

1988 • 44 citations

Temporal projection and explanation

1989 • 23 citations

Knowledge and the frame problem

1991 • 19 citations

AI, Logic, and the Frame Problem

1987 • 17 citations

Resolving ambiguity in nonmonotonic reasoning

1992 • 11 citations

Temporal Reasoning and Narrative Conventions.

1991 • 8 citations

Deleted Work

1955 • 0 citations