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

A critique of pure reason1

1987 • 338 citations

Default reasoning, nonmonotonic logics, and the frame problem

1986 • 261 citations

Reasoning about action I

1988 • 261 citations

Exploiting constraints in design synthesis

1987 • 128 citations

The logic of persistence

1986 • 122 citations

Chronological ignorance: time, nonmonotonicity, necessity and causal theories

1986 • 67 citations

Pointwise circumscription: preliminary report

1986 • 67 citations

Reasoning About Action I: A Possible Worlds Approach

1987 • 63 citations

Autotech '85, Hong Kong

1985 • 2 citations