A logical framework for default reasoning

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Computing, Computer Science, Artificial Intelligence +11

A truth maintenance system

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

Computing, Computer Science, Fault-tolerant Systems +5

An assumption-based TMS

Johan de Kleer · Artificial Intelligence · 1986 · 1.8K citations

Non-monotonic logic I

Drew McDermott, Jon Doyle · Artificial Intelligence · 1980 · 891 citations · Full text

On the comparison of theories: preferring the most specific explanation

David Poole · 1985 · 209 citations

Humanities, Computer Science, Knowledge Representation +14