The value of the four values

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

Circumscription—A form of non-monotonic reasoning

John McCarthy · Artificial Intelligence · 1980 · 2K citations

Reasoning, Non-classical Logic, Cognitive Science +8

Nonmonotonic reasoning, preferential models and cumulative logics

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

Non-classical Logic, Automated Reasoning, Nonmonotonic Logic +3

What does a conditional knowledge base entail?

Daniel Lehmann, Menachem Magidor · Artificial Intelligence · 1992 · 829 citations

Knowledge Base, Knowledge Representation, Engineering +7

On the theory of inconsistent formal systems.

Newton C. A. da Costa · Notre Dame Journal of Formal Logic · 1974 · 729 citations · Full text