Progress Report on the Disjunctive Deductive Database System dlv
暂无分享,去创建一个
[1] I. Niemelä,et al. Efficient Implementation of the Well-founded and Stable Model Semantics , 1996, JICSLP.
[2] Carlo Zaniolo,et al. The LDL System Prototype , 1990, IEEE Trans. Knowl. Data Eng..
[3] Victor W. Marek,et al. Default Reasoning System DeReS , 1996, KR.
[4] Wolfgang Faber,et al. The dlv System: Model Generator and Application Frontends , 1997 .
[5] Georg Gottlob,et al. Abduction from Logic Programs: Semantics and Complexity , 1997, Theor. Comput. Sci..
[6] Paolo Mancarella,et al. Abductive Logic Programming , 1992, LPNMR.
[7] Kenneth A. Ross,et al. Glue-Nail: a deductive database system , 1991, SIGMOD '91.
[8] Gerald Pfeifer,et al. The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.
[9] Divesh Srivastava,et al. CORAL - Control, Relations and Logic , 1992, VLDB.
[10] Raymond Reiter,et al. A Theory of Diagnosis from First Principles , 1986, Artif. Intell..
[11] R A Kowalski,et al. Abductive Logic Programming 1 , 1993 .
[12] Georg Gottlob,et al. Disjunctive datalog , 1997, TODS.
[13] C. Peirce,et al. Philosophical Writings of Peirce , 1955 .
[14] Jürgen Dix,et al. DisLoP: A Research Project on Disjunctive Logic Programming , 1997, AI Commun..
[15] Francesco Scarcello,et al. Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics, and Computation , 1997, Inf. Comput..
[16] Dietmar Seipel,et al. DisLog - A System for Reasoning in Disjunctive Deductive Databases , 1994 .
[17] David Poole,et al. Explanation and prediction: an architecture for default and abductive reasoning , 1989, Comput. Intell..
[18] Letizia Tanca,et al. Integrating object-oriented data modelling with a rule-based programming paradigm , 1990, SIGMOD '90.
[19] Miron Livny,et al. Transactional client-server cache consistency: alternatives and performance , 1997, TODS.
[20] Gerald Pfeifer,et al. A Deductive System for Non-Monotonic Reasoning , 1997, LPNMR.
[21] Donald E. Knuth,et al. The Stanford GraphBase - a platform for combinatorial computing , 1993 .
[22] Paolo Mancarella,et al. Database Updates through Abduction , 1990, VLDB.
[23] Nicola Leone,et al. BQM: a system integrating logic, objects, and non-monotonic reasoning , 1995, Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence.
[24] J. Reggia,et al. Abductive Inference Models for Diagnostic Problem-Solving , 1990, Symbolic Computation.
[25] Peter A. Flach,et al. Abduction and Induction , 2000 .
[26] Georg Gottlob,et al. Default Logic as a Query Language , 1997, IEEE Trans. Knowl. Data Eng..