On the completeness of SLDENF-resolution
Data up to Jan 2025
Total Citations Per Year
Abstract
References (20)
Foundations of Logic Programming
1984 • 4,311 citations
Negation as Failure
1978 • 2,091 citations
Constraint logic programming: a survey
1994 • 1,352 citations
Towards a Theory of Declarative Knowledge
1988 • 1,163 citations
Logic programming and negation: A survey
1994 • 423 citations
Unification theory
1989 • 221 citations
Signed data dependencies in logic programs
1989 • 183 citations
Unification theory
1994 • 167 citations
Foundations of Equational Logic Programming
1989 • 150 citations
Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
1984 • 131 citations
A theory of complete logic programs with equality
1984 • 96 citations
Completeness of the negation as failure rule
1983 • 91 citations
Negation as failure. II
1985 • 80 citations
Completed logic programs and their consistency
1990 • 49 citations
Extending SLD resolution to equational horn clauses using E-unification
1989 • 38 citations
Computing change and specificity with equational logic programs
1995 • 33 citations
A Completeness Result for SLDNF-Resolution
1993 • 22 citations
SLDNF-resolution with equality
1992 • 20 citations
Unification of commutative terms
1979 • 17 citations
Correct answers to allowed programs and queries are ground
1991 • 5 citations