SLDNFA: An Abductive Procedure for Abductive Logic Programs
暂无分享,去创建一个
[1] Paolo Mancarella,et al. Generalized Stable Models: A Semantics for Abduction , 1990, ECAI.
[2] David Poole,et al. A Logical Framework for Default Reasoning , 1988, Artif. Intell..
[3] Alberto Martelli,et al. An Efficient Unification Algorithm , 1982, TOPL.
[4] Liz Sonenberg,et al. Integrity Constraint Checking in Stratified Databases , 1987, J. Log. Program..
[5] Danny De Schreye,et al. SLDNFA: An Abductive Procedure for Normal Abductive Programs , 1992, JICSLP.
[6] Robert A. Kowalski,et al. Abduction Compared with Negation by Failure , 1989, ICLP.
[7] Murray Shanahan,et al. Prediction is Deduction but Explanation is Abduction , 1989, IJCAI.
[8] François Bry,et al. SATCHMO: A Theorem Prover Implemented in Prolog , 1988, CADE.
[9] Jack Minker. Foundations of deductive databases and logic programming , 1988 .
[10] François Bry,et al. Integrity Verification in Knowledge Bases , 1990, RCLP.
[11] Michael J. Maher. Complete axiomatizations of the algebras of finite, rational and infinite trees , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[12] Maurizio Martelli,et al. A New SLDNF-Tree , 1992, Inf. Process. Lett..
[13] Maurice Bruynooghe,et al. CHICA, an Abductive Planning System Based on Event Calculus , 1995, J. Log. Comput..
[14] Paolo Mancarella,et al. Abductive Logic Programming , 1992, LPNMR.
[15] François Bry,et al. Intensional Updates: Abduction via Deduction , 1990, ICLP.
[16] Drew McDermott,et al. Introduction to artificial intelligence , 1986, Addison-Wesley series in computer science.
[17] Elmar Eder. Properties of Substitutions and Unifications , 1983, GWAI.
[18] Johann Eder,et al. Logic and Databases , 1992, Advanced Topics in Artificial Intelligence.
[19] Marc Denecker,et al. Knowledge representation and reasoning in incomplete logic programming , 1993 .
[20] Ken Satoh,et al. A Query Evaluation Method for Abductive Logic Programming , 1992, Joint International Conference and Symposium on Logic Programming.
[21] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .
[22] David Chan,et al. Constructive Negation Based on the Completed Database , 1988, ICLP/SLP.
[23] KRZYSZTOF R. APT,et al. A New Definition of SNDNF-Resolution , 1994, J. Log. Program..
[24] Maurice Bruynooghe,et al. Temporal Reasoning with Abductive Event Calculus , 1992, ECAI.
[25] Marc Denecker,et al. A Terminological Interpretation of (Abductive) Logic Programming , 1995, LPNMR.
[26] Robert C. Moore. The Role of Logic in Knowledge Representation and Commonsense Reasoning , 1982, AAAI.
[27] Leon Sterling,et al. Meta-Level Inference and Program Verification , 1982, CADE.
[28] Lode Missiaen. Localized abductive planning for robot assembly , 1991, Proceedings. 1991 IEEE International Conference on Robotics and Automation.
[29] Melvin Fitting,et al. A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..
[30] K. Apt,et al. A New Deenition of Sldnf-resolution , 1992 .
[31] Danny De Schreye,et al. Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs , 1993, International Conference on Logic Programming and Non-Monotonic Reasoning.
[32] Philip T. Cox,et al. Causes for Events: Their Computation and Applications , 1986, CADE.
[33] Patrick Brézillon,et al. Lecture Notes in Artificial Intelligence , 1999 .
[34] Danny De Schreye,et al. A family of abductive procedures for normal abductive programs, their soundness and completeness , 1992 .
[35] C. Peirce,et al. Philosophical Writings of Peirce , 1955 .
[36] José Júlio Alferes,et al. Hypothetical Reasoning with Well Founded Semantics , 1991, SCAI.
[37] Ehud Shapiro,et al. Third International Conference on Logic Programming , 1986 .
[38] Pietro Torasso,et al. On the Relationship between Abduction and Deduction , 1991, J. Log. Comput..
[39] Krzysztof R. Apt,et al. Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[40] Katsumi Inoue,et al. Bottom-up Abduction by Model Generation , 1993, IJCAI.
[41] Arthur C. Sanderson,et al. CHICA, an abductive planning system based on Event Calculus , 1994 .
[42] M. Genesereth,et al. RESIDUE: a deductive approach to design synthesis , 1985 .
[43] Anil Nerode,et al. Justification semantics: a unifying framework for the semantics of Logic Programs , 1993 .
[44] Kave Eshghi,et al. Abductive Planning with Event Calculus , 1988, ICLP/SLP.
[45] Danny De Schreye,et al. Representing Incomplete Knowledge in Abductive Logic Programming , 1993, J. Log. Comput..
[46] Robert A. Kowalski,et al. The Iff Proof Procedure for Abductive Logic Programming , 1997, J. Log. Program..
[47] Paolo Mancarella,et al. Database Updates through Abduction , 1990, VLDB.
[48] J. W. LLOYD,et al. Making Prolog more Expressive , 1984, J. Log. Program..
[49] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[50] Kenneth Kunen,et al. Negation in Logic Programming , 1987, J. Log. Program..
[51] Michael Leuschel,et al. Partial Deduction of the Ground Representation and its Application to Integrity Checking , 1995, ILPS.
[52] Michael J. Maher,et al. Unification Revisited , 1988, Foundations of Deductive Databases and Logic Programming..
[53] Elmar Eder,et al. Properties of Substitutions and Unifications , 1983, J. Symb. Comput..