A three-valued semantics for deductive databases and logic programs

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

A truth maintenance system

Jon Doyle · Artificial Intelligence · 1979 · 1.8K citations

Engineering, Dynamic Epistemic Logic, Automated Reasoning +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

A kripke-kleene semantics for logic programs*

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

Applied Logic, Engineering, Automated Reasoning +5

Negation in logic programming

Kenneth Kunen · The Journal of Logic Programming · 1987 · 441 citations

Non-classical Logic, Engineering, Automated Reasoning +5