Towards a Theory of Declarative Knowledge
暂无分享,去创建一个
[1] Adrian Walker,et al. Some Practical Properties of Logic Programming Interpreters , 1984, FGCS.
[2] Vladimir Lifschitz,et al. On the Declarative Semantics of Logic Programs with Negation , 1987, Foundations of Deductive Databases and Logic Programming..
[3] Joxan Jaffar,et al. Completeness of the Negation as Failure Rule , 1983, IJCAI.
[4] Robert A. Kowalski,et al. Predicate Logic as Programming Language , 1974, IFIP Congress.
[5] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[6] John C. Shepherdson,et al. Negation as Failure: A Comparison of Clark's Completed Data Base and Reiter's Closed World Assumption , 1984, J. Log. Program..
[7] Erik Sandewall,et al. A Functional Approach to Non-Monotonic Logic , 1985, IJCAI.
[8] Erik Sandewall,et al. A functional approach to non‐monotonic logic 1 , 1985 .
[9] Shamim A. Naqvi. A Logic for Negation in Database Systems , 1986, XP7.52 Workshop on Database Theory.
[10] Roberto Barbuti,et al. Completeness of the SLDNF-resolution for a class of logic programs , 1986, ICLP.
[11] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .
[12] Adrian Walker,et al. Knowledge Systems: Principles and Practice , 1986, IBM J. Res. Dev..
[13] Krzysztof R. Apt,et al. Contributions to the Theory of Logic Programming , 1982, JACM.
[14] M. H. van Emden,et al. Quantitative Deduction and its Fixpoint Theory , 1986, J. Log. Program..
[15] Krzysztof R. Apt,et al. Maintenance of stratified databases viewed as a belief revision system , 1987, PODS.
[16] Liz Sonenberg,et al. On Domain Independent Disjunctive Databases , 1988, ICDT.
[17] Robert A. Kowalski,et al. The Semantics of Predicate Logic as a Programming Language , 1976, JACM.
[18] Richard Hull,et al. Positivism vs minimalism in deductive databases , 1985, PODS '86.
[19] J. McCarthy. Circumscription|a Form of Nonmonotonic Reasoning , 1979 .
[20] Jack Minker,et al. On Indefinite Databases and the Closed World Assumption , 1987, CADE.
[21] Kenneth Kunen,et al. Signed Data Dependencies in Logic Programs , 1989, J. Log. Program..
[22] Liz Sonenberg,et al. On Domain Independent Databases , 1988, Foundations of Deductive Databases and Logic Programming..
[23] David Harel,et al. Horn Clauses Queries and Generalizations , 1985, J. Log. Program..
[24] John C. Shepherdson,et al. Negation in Logic Programming , 1988, Foundations of Deductive Databases and Logic Programming..
[25] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[26] John C. Shepherdson,et al. Negation as Failure II , 1985, J. Log. Program..
[27] Allen Van Gelder,et al. Negation as Failure using Tight Derivations for General Logic Programs , 1988, J. Log. Program..
[28] Dov M. Gabbay,et al. Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems , 1989, Logics and Models of Concurrent Systems.
[29] Sten-Åke Tärnlund,et al. Horn clause computability , 1977, BIT.
[30] John W. Lloyd,et al. A Basis for Deductive Database Systems II , 1986, J. Log. Program..
[31] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[32] Liz Sonenberg,et al. Integrity Constraint Checking in Stratified Databases , 1987, J. Log. Program..
[33] Raymond Reiter. On Closed World Data Bases , 1977, Logic and Data Bases.
[34] Howard A. Blair,et al. The Recursion-Theoretical Complexity of the Semantics of Predicate Logic as a Programming Language , 1982, Inf. Control..