On the relationship between circumscription and negation as failure

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Reasoning, Engineering, Reasoning System +6

Circumscription—A form of non-monotonic reasoning

John McCarthy · Artificial Intelligence · 1980 · 2K citations

Reasoning, Non-classical Logic, Cognitive Science +8

The Semantics of Predicate Logic as a Programming Language

M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text

Declarative Programming, Engineering, Operational Semantics +11

Non-monotonic logic I

Drew McDermott, Jon Doyle · Artificial Intelligence · 1980 · 890 citations

Non-classical Logic, Fuzzy Logic, Non-monotonic Logic +4

A kripke-kleene semantics for logic programs*

Melvin Fitting · The Journal of Logic Programming · 1985 · 536 citations

Applied Logic, Engineering, Automated Reasoning +5