Signed data dependencies in logic programs

Foundations of Logic Programming

1984 • 4,311 citations

Foundations of Logic Programming

1987 • 2,668 citations

Negation as Failure

1978 • 2,091 citations

The Semantics of Predicate Logic as a Programming Language

1976 • 1,489 citations

Towards a Theory of Declarative Knowledge

1988 • 1,163 citations

Foundations of Deductive Databases and Logic Programming

1988 • 994 citations

A kripke-kleene semantics for logic programs*

1985 • 545 citations

Negation in logic programming

1987 • 457 citations

Negation in Logic Programming

1988 • 208 citations

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

1984 • 131 citations

Logic Programming on a Topological Bilattice1

1988 • 66 citations

A completeness theorem for SLDNF resolution

1989 • 63 citations

Answer Sets and Negation-as-Failure.

1987 • 48 citations

Optimal fixedpoints of logic programs

1985 • 40 citations

Logic programs and many-valued logic

1984 • 34 citations

Logic Programming: Proceedings of the Fourth International Conference

1987 • 17 citations

Stratification and knowledge base management

1989 • 10 citations

Stratification and Knowledge Based Management.

1987 • 8 citations