What does a conditional knowledge base entail?

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Computing, Computer Science, Artificial Intelligence +11

Circumscription—A form of non-monotonic reasoning

John McCarthy · Artificial Intelligence · 1980 · 2K citations

Humanities, Psychology, Decision Theory +11

Nonmonotonic reasoning, preferential models and cumulative logics

Sarit Kraus, Daniel Lehmann, Menachem Magidor · Artificial Intelligence · 1990 · 1.7K citations

Humanities, Computer Science, Knowledge Representation +10

Non-monotonic logic I

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

Nonmonotonic Reasoning

Raymond Reiter · Annual Review of Computer Science · 1987 · 228 citations