Extending and implementing the stable model semantics

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Reasoning, Engineering, Reasoning System +6

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

A machine program for theorem-proving

Martin Davis, George Logemann, Donald Loveland · Communications of the ACM · 1962 · 3.1K citations · Full text

Mathematical Programming, Engineering, Verification +17

Circumscription—A form of non-monotonic reasoning

John McCarthy · Artificial Intelligence · 1980 · 2K citations

Reasoning, Non-classical Logic, Cognitive Science +8

A truth maintenance system

Jon Doyle · Artificial Intelligence · 1979 · 1.8K citations

Engineering, Dynamic Epistemic Logic, Automated Reasoning +8