Circumscription—A form of non-monotonic reasoning

A logic for default reasoning

1980 • 3,992 citations

Some Philosophical Problems from the Standpoint of Artificial Intelligence

1981 • 3,219 citations

Non-monotonic logic I

1980 • 903 citations

Programs with common sense

1960 • 841 citations

Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot

1972 • 311 citations

EPISTEMOLOGICAL PROBLEMS OF ARTIFICIAL INTELLIGENCE

1981 • 309 citations

On Representations of Problems of Reasoning about Actions

1981 • 267 citations

Ascribing Mental Qualities to Machines

1979 • 243 citations

Philosophical Perspectives in Artificial Intelligence

1980 • 200 citations

First Order Theories of Individual Concepts and Propositions.

1979 • 183 citations