Progress report on the disjunctive deductive database system dlv

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1495, Issue , 1998, Pages 148-163

  Eiter, Thomas ^b   Leone, Nicola ^a   Mateis, Cristinel ^a   Pfeifer, Gerald ^a   Scarcello, Francesco ^c  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^b Universitäit Giel en   (Germany)

^c UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; BENCHMARKING; COMPUTER CIRCUITS; LOGIC PROGRAMMING; PETROLEUM RESERVOIR EVALUATION; PROGRAM DIAGNOSTICS; QUERY PROCESSING;

COMMERCIAL DATABASE SYSTEM; DATABASE APPLICATIONS; DIAGNOSTIC REASONING; DISJUNCTIVE DEDUCTIVE DATABASE; DISJUNCTIVE LOGIC PROGRAMMING; INCREMENTAL TECHNIQUES; INTEGRITY CONSTRAINTS; OPTIMIZATION STRATEGY;

INTELLIGENT DATABASES;

EID: 84948966946     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055998     Document Type: Conference Paper

References (25)

1. C. Aravindan, J. Dix, and I. Niemelä. Dislop: A research project on disjunctive logic programming. AI Communications, 10(3/4):151-165, 1997.
2. E Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, and R. Zicari. Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. In Proceedings of 1990 ACMSIGMOD International Conference, pages 225-236, Atlantic City, NJ, May 1990.
3. M. Cadoli, T. Eiter, and G. Gottlob. Default Logic as a Query Language. IEEE Transactions on Knowledge and Data Engineering, 9(3):448-463, May/June 1997.
4. D. Chimenti, R. Gamboa, R. Krishnamurthy, S. Naqvi, S. Tsar, and C. Zaniolo. The LDL System Prototype. IEEE Transactions on Knowledge and Data Engineering, 2(1), 1990.
5. P. Cholewiński, V. W. Marek, and M. Truszczyński. Default Reasoning System DeReS. In Proceedings of International Conference on Principles of Knowledge Representation and Reasoning (KR '96), Cambridge, Massachusetts, USA, 1996.
6. S. Citrigno, T. Eiter, W. Faber, G. Gottlob, C. Koch, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The ally System: Model Generator and Application Frontends. In Proceedings of the 12th Workshop on Logic Programming (WLP '97), Research Report PMS-FB10, pages 128-137, München, Germany, September 1997. LMU München.
7. T. Eiter, G. Gottlob, and N. Leone. Abduction From Logic Programs: Semantics and Complexity. Theoretical Computer Science, 189(1-2):129-177, December 1997.
8. T. Eiter, G. Gottlob, and H. Mannila. Disjunctive Datalog. ACM Transactions on Database Systems, 22(3):315-363, September 1997.
9. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and E Scarcello. A Deductive System for Nonmonotonic Reasoning. In J. Dix, U. Furbach, and A. Nerode, editors, Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR '97), number 1265 in Lecture Notes in AI (LNAI), Berlin, 1997. Springer.
10. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and E Scarcello. The KR System ally: Progress Report, Comparisons and Benchmarks. Technical report, Institut fur Informationssysteme, TU Wien, 1998.
11. M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365-385, 1991.
12. A. Kakas, R. Kowalski, and E Toni. Abductive Logic Programming. Journal of Logic and Computation, 1993.
13. A. Kakas and R Mancarella. Database Updates Through Abduction. In Proceedings VLDB-90, pages 650-661, 1990.
14. D. E. Knuth. The Stanford GraphBase : a platform for combinatorial computing. ACM Press, New York, 1994.
15. N. Leone and P. Rullo. BQM: A System Integrating Logic, Objects, and Non-Monotonic Reasoning. In Invited Paper on 7th IEEE International Conference on Tools with Artificial Intelligence, Washington, November 1995.
16. N. Leone, E Rullo, and E Scarcello. Disjunctive stable models: Unfounded sets, fixpoint semantics and computation. Information and Computation, 135(2):69-112, June 1997.
17. I. Niemelä and P. Simons. Efficient Implementation of the Well-founded and Stable Model Semantics. In Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming, pages 289-303, Bonn, Germany, Sept. 1996.
18. C.S. Peirce. Abduction and induction. In J. Buchler, editor, Philosophical Writings of Peirce, chapter 11. Dover, New York, 1955.
19. Y. Peng and J. Reggia. Abductive Inference Models for Diagnostic Problem Solving. Symbolic Computation - Artificial Intelligence. Springer, 1990.
20. G. Phipps, M. A. Derr, and K. Ross. Glue-NAIL!: A Deductive Database System. In Proceedings ACM-SIGMOD Conference on Management of Data, pages 308-317, 1991.
21. D. Poole. Explanation and Prediction: An Architecture for Default and Abductive Reasoning. Computational Intelligence, 5(1):97-110, 1989.
22. R. Ramakrishnan, D. Srivastava, and S. Sudarshan. CORAL - Control, Relations and Logic. In Proceedings of the 18th VLDB Conference, Vancouver, British Columbia, Canada, 1992.
23. R. Reiter. A Theory of Diagnosis From First Principles. Artificial Intelligence, 32:57-95, 1987.
24. D. Seipel and H. Thöne. DisLog - A System for Reasoning in Disjunctive Deductive Databases. In Proceedings International Workshop on the Deductive Approach to Information Systems and Databases (DAISD'94), 1994.
25. A. X3H2 and I. DBL. (ISO-ANSI Working Draft) Foundation (SQL/Foundation) [ISO DBL:LGW-008 / ANSI X3H2-97-030], Apr. 1997. Temporarily available at ftp://jerry.ece.umassd.edu/isowg3/dbl/BASEdocs/public/sqlfound.txt.