Counterfactuals

Strips: A new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson · Artificial Intelligence · 1971 · 4.1K citations

Computing, Computer Science, Artificial Intelligence +15

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Computing, Computer Science, Artificial Intelligence +11

Diagnosing multiple faults

Johan de Kleer, Brian C. Williams · Artificial Intelligence · 1987 · 2.1K citations

Circumscription—A form of non-monotonic reasoning

John McCarthy · Artificial Intelligence · 1980 · 2K citations

Humanities, Psychology, Decision Theory +11

A truth maintenance system

Jon Doyle · Artificial Intelligence · 1979 · 1.8K citations · Full text

Computing, Computer Science, Fault-tolerant Systems +5