AI, Logic, and the Frame Problem

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

Negation as Failure

1978 • 2,091 citations

Qualitative process theory

1984 • 2,080 citations

Circumscription—A form of non-monotonic reasoning

1980 • 2,056 citations

Qualitative simulation

1986 • 1,450 citations

Applications of circumscription to formalizing common-sense knowledge

1986 • 1,097 citations

Non-monotonic logic I

1980 • 903 citations

Programs with common sense

1960 • 841 citations

A temporal logic for reasoning about processes and plans

1982 • 753 citations

Artificial intelligence: The very idea

1986 • 627 citations

A Temporal Logic for Reasoning about Processes and Plans*

1982 • 496 citations

Planning in Time: Windows and Durations for Activities and Goals

1983 • 393 citations

A critique of pure reason1

1987 • 338 citations

Default reasoning, nonmonotonic logics, and the frame problem

1986 • 261 citations

On the comparison of theories: preferring the most specific explanation

1985 • 210 citations

The logic of persistence

1986 • 122 citations

Reasoning about action II

1988 • 109 citations

Pointwise circumscription: preliminary report

1986 • 67 citations

Chronological ignorance: time, nonmonotonicity, necessity and causal theories

1986 • 67 citations

Temporal imagery: an approach to reasoning about time for planning and problem solving

1986 • 58 citations

Response to Hanks and McDermott: Temporal evolution of beliefs and beliefs about temporal evolution

1987 • 24 citations

Reasoning About Action II: The Qualification Problem

1987 • 22 citations

AI, Logic, and the Frame Problem

1987 • 17 citations

Deleted Work

1955 • 0 citations