Reasoning About Action I: A Possible Worlds Approach

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

Towards a general theory of action and time

1984 • 2,602 citations

Semantic Information Processing

1968 • 2,198 citations

A truth maintenance system

1979 • 1,816 citations

ON THE SEMANTICS OF STRIPS

1987 • 231 citations

Counterfactuals

1986 • 193 citations

A theory of diagnosis from first principles

1986 • 116 citations

Reasoning About Action II: The Qualification Problem

1987 • 22 citations

Possible Worlds Planning

1987 • 14 citations