Using clausal deductive databases for defining semantics in disjunctive deductive databases

Annals of Mathematics and Artificial Intelligence

Volumn 33, Issue 2-4, 2001, Pages 347-378

  Seipel, Dietmar ^a  

^a UNIVERSITY OF WÜRZBURG   (Germany)

Author keywords

Clausal logic programming; Closed world assumptions; Disjunctive deductive databases; Hypothetical reasoning; Non monotonic reasoning; Program transformations; Stable models

Indexed keywords

EID: 0035568380     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1013180132511     Document Type: Article

References (29)

1. S. Brass and J. Dix, A disjunctive semantics based on unfolding and bottom-up evaluation, in: GI-Jahrestagung / IFIP World Computer Congress 1994, Fachgespräch "Disjunktive logische Programmierung und disjunktive Datenbanken" (Springer, 1994) pp. 83-91.
2. S. Ceri, G. Gottlob and L. Tanca, Logic Programming and Databases (Springer, Berlin, 1990).
3. P.M. Dung, Declarative semantics of hypothetical logic programming with negation as failure, in: Proc. of Workshop on Extensions of Logic Programming (ELP'92) (1992) pp. 45-58.
4. T. Eiter, N. Leone, C. Mateis, G. Pfeifer and F. Scarcello, A deductive system for non-monotonic reasoning, in: Proc. of the 4th Intl. Conf. on Logic Programming and Non-Monotonic Reasoning (LPNMR'97), Lecture Notes in Artificial Inteligence, Vol. 1265 (Springer, 1997) pp. 363-374.
5. T. Eiter, N. Leone and D. Sacca, On the partial semantics for disjunctive deductive databases, Ann. Math. Artificial Intelligence 17(1/2) (1997) 59-96.
6. J.A. Fernández, J. Lobo, J. Minker and V.S. Subrahmanian, Disjunctive LP + Integrity Constrains = Stable Model Semantics, Ann. Math. Artificial Intelligence 8(3/4) (1993) 449-474.
7. J.A. Fernández and J. Minker, Bottom-up computation of perfect models for disjunctive theories, J. Logic Programming 25(1) (1995) 33-51.
8. M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, in: Proc. of the 5th Intl. Conference and Symposium on Logic Programming (ICSLP'88) (MIT Press, Cambridge, MA, 1988) pp. 1070-1080.
9. L. Giordano and N. Olivetti, Combining negation-as-failure and embedded implications in logic programs, J. Logic Programming 36 (1998) 91-147.
10. G. Köstler, W. Kießling, H. Thöne and U. Güntzer, The differential fixpoint operator with subsumption, in: Proc. of Intl. Conference on Deductive and Object-Oriented Databases (DOOD'93), Lecture Notes in Computer Science, Vol. 760 (Springer, New York, 1993) pp. 35-48.
11. J.W. Lloyd, Foundations of Logic Programming, 2nd ed. (Springer, Berlin, 1987).
12. J. Lobo, J. Minker and A. Rajasekar, Foundations of Disjunctive Logic Programming (MIT Press, Cambridge, MA, 1992).
13. V.W. Marek and M. Truszczyński, Nonmonotonic Logic - Context-Dependent Reasoning (Springer, Berlin, 1993).
14. D. Miller, Logical analysis of modules in logic programming, J. Logic Programming (1989) 79-108.
15. J. Minker and A. Rajasekar, A fixpoint semantics for disjunctive logic programs, J. Logic Programming 9(1) (1990) 45-74.
16. J. Minker and C. Ruiz, On extended disjunctive logic programs, in: Proc. of Intl. Symposium on Methodologies for Intelligent Systems (ISMIS'93), Lecture Notes in Artificial Inteligence, Vol. 689 (Springer, Berlin, 1993) pp. 1-18.
17. I. Niemelä and P. Simons, Smodels - an implementation of the stable model and well-founded semantics for normal logic programs, in: Proc. of the 4th Intl. Conf. on Logic Programming and Non-Monotonic Reasoning (LPNMR'97), Lecture Notes in Artificial Inteligence, Vol. 1265 (Springer, Berlin, 1997) pp. 420-429.
18. T.C. Przymusinski, Stable semantics for disjunctive programs, in: New Generation Computing, Vol. 9 (Ohmsha, 1991) pp. 401-424.
19. R. Ramakrishnan, Database Management Systems (McGraw-Hill, New York, 1998).
20. R. Reiter, A logic for default reasoning, J. Artificial Intelligence 13 (1980) 81-132.
21. K. Sagonas, T. Swift and D. Warren, XSB as an efficient deductive database engine, in: Proc. of ACM SIGMOD Intl. Conf. on the Management of Data (SIGMOD'94), pp. 442-453.
22. D. Seipel, Partial evidential stable models for disjunctive databases, in: Proc. of Workshop on Logic Programming and Knowledge Representation (LPKR'97) at the International Symposium on Logic Programming (ILPS'97), Lecture Notes in Artificial Inteligence, Vol. 1471 (Springer, Berlin, 1998) pp. 66-84.
23. D. Seipel, DISLOG - a disjunctive deductive database prototype, in: Proc. of the 12th Workshop on Logic Programming (WLP'97) (1997) pp. 136-143; DISLOG is available at http://www-info1.informatik.uni-wuerzburg.de/databases/DisLog.
24. D. Seipel, Clausal deductive databases and a general framework for semantics in disjunctive deductive databases, in: Proc. of Intl. Symposium on Foundations of Information and Knowledge Systems (FoIKS'2000), Lecture Notes in Computer Science, Vol. 1762 (Springer, New York, 2000) pp. 241-259.
25. D. Seipel, J. Minker and C. Ruiz, Model generation and state generation for disjunctive logic programs, J. Logic Programming 32(1) (1997) 48-69.
26. D. Seipel, J. Minker and C. Ruiz, A characterization of partial stable models for disjunctive deductive databases, in: Proc. of Intl. Logic Programming Symposium (ILPS'97) (MIT Press, Cambridge, MA, 1997) pp. 245-259.
27. A. Van Gelder, K.A. Ross and J.S. Schlipf, Unfounded sets and well-founded semantics for general logic programs, in: Proc. of the 7th ACM Symposium on Principles of Database Systems (PODS'88) (1988) pp. 221-230.
28. C. Zaniolo, S. Ceri, C. Faloutsos, R.T. Snodgrass, V.S. Subrahmanian and R. Zicari, Advanced Database Systems (Morgan Kaufmann, 1997).
29. U. Zukowski, S. Brass and B. Freitag, Improving the alternating fixpoint: The transformation approach, in: Proc. of the 4th Intl. Conf. on Logic Programming and Non-Monotonic Reasoning (LPNMR'97), Lecture Notes in Artificial Inteligence, Vol. 1265 (Springer, Berlin, 1997) pp. 40-59.