Counterfactuals

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

Diagnosing multiple faults

1987 • 2,075 citations

Circumscription—A form of non-monotonic reasoning

1980 • 2,056 citations

A truth maintenance system

1979 • 1,816 citations

An assumption-based TMS

1986 • 1,772 citations

Applications of circumscription to formalizing common-sense knowledge

1986 • 1,097 citations

Learning and executing generalized robot plans

1972 • 1,058 citations

Studies in Logical Theory.

1904 • 567 citations

The use of design descriptions in automated diagnosis

1984 • 553 citations

Proceedings of the Ninth International Joint Conference on Artificial Intelligence - 1985

1985 • 331 citations

The logic of conditionals¹

1965 • 238 citations

Ifs. Conditionals, Belief, Decision, Chance, and Time

1981 • 230 citations

Philosophical Perspectives in Artificial Intelligence

1980 • 200 citations

Utilitarianisms: Simple and general

1970 • 45 citations