Towards a Theory of Declarative Knowledge
Data up to Jan 2025
Total Citations Per Year
Abstract
References (39)
Foundations of Logic Programming
1984 • 4,311 citations
Theory of Recursive Functions and Effective Computability.
1969 • 2,849 citations
A lattice-theoretical fixpoint theorem and its applications
1955 • 2,678 citations
Theory of Recursive Functions and Effective Computability
1969 • 2,654 citations
Negation as Failure
1978 • 2,091 citations
Circumscription—A form of non-monotonic reasoning
1980 • 2,056 citations
The Semantics of Predicate Logic as a Programming Language
1976 • 1,489 citations
On Closed World Data Bases
1978 • 1,021 citations
Foundations of Deductive Databases and Logic Programming
1988 • 994 citations
Predicate Logic as Programming Language.
1974 • 605 citations
Contributions to the Theory of Logic Programming
1982 • 592 citations
On Indefinite Data Bases and the Closed World Assumption
1982 • 416 citations
Logics and Models of Concurrent Systems
1985 • 394 citations
On indefinite databases and the closed world assumption
2005 • 376 citations
Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems
1985 • 325 citations
Horn clause queries and generalizations
1985 • 311 citations
Quantitative deduction and its fixpoint theory
1986 • 216 citations
Negation in Logic Programming
1988 • 208 citations
Signed data dependencies in logic programs
1989 • 183 citations
A basis for deductive database systems II
1986 • 178 citations
Negation as failure using tight derivations for general logic programs
1988 • 162 citations
Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
1984 • 131 citations
On the Declarative Semantics of Logic Programs with Negation
1988 • 121 citations
Integrity constraint checking in stratified databases
1987 • 119 citations
Circumscription—A Form of Non-Monotonic Reasoning
1981 • 116 citations
Horn clause computability
1977 • 97 citations
Completeness of the negation as failure rule
1983 • 91 citations
Negation as failure. II
1985 • 80 citations
Logic programming and its applications
1986 • 52 citations
A Logic for Negation in Database Systems.
1986 • 48 citations
The recursion-theoretic complexity of the semantics of predicate logic as a programming language
1982 • 47 citations
A functional approach to non‐monotonic logic1
1985 • 39 citations
Positivism vs minimalism in deductive databases
1985 • 38 citations
Knowledge systems: Principles and practice
1986 • 34 citations
Maintenance of stratified databases viewed as a belief revision system
1987 • 32 citations
On Domain Independent Databases
1988 • 31 citations
Some Practical Properties of Logic Programming Interpreters.
1984 • 29 citations
Completeness of the SLDNF-resolution for a class of logic programs
1986 • 19 citations
Negation as Failure. Completeness of the Query Evaluation Process for horn clause programs with recursive definitions
1986 • 12 citations