Signed data dependencies in 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

A kripke-kleene semantics for logic programs*

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

Language Studies, Computer Science, Mathematics +12

Negation in logic programming

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

Computing, Computer Science, Artificial Intelligence +7

Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption

J. C. Shepherdson · The Journal of Logic Programming · 1984 · 128 citations

Computing, Computer Science, Philosophy +5

Logic Programming on a Topological Bilattice1

Melvin Fitting · Fundamenta Informaticae · 1988 · 65 citations

Humanities, Computer Science, Mathematics +15