Partial deduction in disjunctive logic programming

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

Classical negation in logic programs and disjunctive databases

Michael Gelfond, Vladimir Lifschitz · New Generation Computing · 1991 · 2.3K citations

Non-classical Logic, Engineering, Automated Reasoning +6

On Indefinite Data Bases and the Closed World Assumption

Jack Minker · Medical Entomology and Zoology · 1982 · 401 citations

Engineering, Automated Reasoning, Indefinite Data Bases +4

Partial evaluation in logic programming

John W. Lloyd, J. C. Shepherdson · The Journal of Logic Programming · 1991 · 388 citations

Applied Logic, Engineering, Automated Reasoning +5

Stable semantics for disjunctive programs

Teodor C. Przymusiński · New Generation Computing · 1991 · 309 citations

Engineering, Automated Reasoning, Propositional Logic +7