Progress Report on the Disjunctive Deductive Database System dlv

dlv is a deductive database system, based on disjunctive logic programming, which offers front-ends to several advanced KR formalisms. The system has been developed since the end of 1996 at Technische Universitat Wien in an ongoing project funded by the Austrian Science Funds (FWF).

[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..