Semantics of Horn and disjunctive logic programs

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

Humanities, Computer Science, Logic +16

Contributions to the Theory of Logic Programming

Krzysztof R. Apt, M. H. van Emden · Journal of the ACM · 1982 · 588 citations · Full text

Computing, Computer Science, Artificial Intelligence +7

On Indefinite Data Bases and the Closed World Assumption

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

Computing, Computer Science, Knowledge Representation +2

Deduction in non-Horn databases

Adnan Yahya, LawrenceJ. Henschen · Journal of Automated Reasoning · 1985 · 147 citations

Computing, Computer Science, Information Systems +12

A fixpoint semantics for disjunctive logic programs

Jack Minker, Arcot Rajasekar · The Journal of Logic Programming · 1990 · 104 citations

Computing, Computer Science, Formal Methods +7