Partial evidential stable models for disjunctive deductive databases

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

Volumn 1471 LNAI, Issue , 1998, Pages 66-84

  Seipel, Dietmar ^a  

^a UNIVERSITY OF WÜRZBURG   (Germany)

Author keywords

Disjunctive logic programming; Handling inconsistency; Non monotonic reasoning; Program transformations; Stable and partial stable models

Indexed keywords

COMPUTER CIRCUITS; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; SEMANTICS;

DISJUNCTIVE LOGIC PROGRAMMING; HANDLING INCONSISTENCIES; NON-MONOTONIC REASONING; PROGRAM TRANSFORMATIONS; STABLE AND PARTIAL STABLE MODELS;

INTELLIGENT DATABASES;

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

References (26)

1. 3: A Semantics for Negation in Normal Disjunctive Logic Programs, Proc. Intl. Symposium on Methodologies for Intelligent Systems (ISMIS'91), Springer LNAI 542, 1991, pp. 490-499.
2. S. Brass, J. Dix: A Disjunctive Semantics Based upon Partial and Bottom-Up Evaluation, Proc. Intl. Conference on Logic Programming (ICLP'95), MIT Press, 1995, pp. 199-213.
3. S. Brass, J. Dix: Characterizations of the Disjunctive Stable Semantics by Partial Evaluation, Proc. Third Intl. Conf. on Logic Programming an Non-Monotonic Reasoning (LPNMR'95), Springer LNAI 928, 1995, pp. 85-98,
4. and: Journal of Logic Programming, vol. 32(3), 1997, pp. 207-228.
5. C. V. Damásio, L.M. Pereira: Abduction over 3-valued Extended Logic Programs, Proc. Third Intl. Conf. on Logic Programming an Non-Monotonic Reasoning (LPNMR'95), Springer LNAI 928, 1995, pp. 29-42.
6. T. Eiter, N. Leone, D. Sacca: The Expressive Power of Partial Models for Disjunctive Deductive Databases, Proc. Intl. Workshop of Logic in Databases (LID'96), Springer LNCS 1154, 1996, pp. 245-264.
7. T. Eiter, N. Leone, D. Sacca: On the Partial Semantics for Disjunctive Deductive Databases, Annals of Mathematics and Artificial Intelligence, to appear.
8. J.A. Fernandez, J. Lobo, J. Minker, V.S. Subrahmanian: Disjunctive LP + Integrity Constrains = Stable Model Semantics, Annals of Mathematics and Artificial Intelligence, vol. 8 (3-4), 1993, pp. 449-474.
9. M. Fitting: Bilattices and the Semantics of Logic Programs, Journal of Logic Programming, vol. 11, 1991, pp. 91-116.
10. M. Gelfond, V. Lifschitz: The Stable Model Semantics for Logic Programming, Proc. Fifth Intl. Conference and Symposium on Logic Programming (ICSLP'88), MIT Press, 1988, pp. 1070-1080.
11. M. Gelfond, V. Lifschitz: Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing, vol. 9, 1991, pp. 365-385.
12. K. Inoue, C. Sakama: A Fixpoint Characterization of Abductive Logic Programs, Journal of Logic Programming, vol. 27(2), 1996, pp. 107-136.
13. N. Leone, R. Rullo, F. Scarcello: Stable Model Checking for Disjunctive Logic Programs, Proc. Intl. Workshop of Logic in Databases (LID'96), Springer LNCS 1154, 1996, pp. 265-278.
14. J. W. Lloyd: Foundations of Logic Programming, second edition, Springer, 1987.
15. J. Lobo, J. Minker, A. Rajasekar: Foundations of Disjunctive Logic Programming, MIT Press, 1992.
16. I. Niemelä, P. Simons: Efficient Implementation of the Well-founded and Stable Model Semantics, Proc. Joint Intl. Conference and Symposium on Logic Programming (JICSLP'96), MIT Press, 1996, pp. 289-303.
17. T.C. Przymusinski: Stable Semantics for Disjunctive Programs, New Generation Computing, vol. 9, 1991, pp. 401-424.
18. T.C. Przymusinski: Static Semantics for Normal and Disjunctive Logic Programs, Annals of Mathematics and Artificial Intelligence, vol. 14, 1995, pp. 323-357.
19. D. Seipel, J. Minker, C. Ruiz: Model Generation and State Generation for Disjunctive Logic Programs, Journal of Logic Programming, vol. 32(1), 1997, pp. 48-69.
20. D. Seipel, J. Minker, C. Ruiz: A Characterization of Partial Stable Models for Disjunctive Deductive Databases, Proc. Intl. Logic Programming Symposium (ILPS'97), MIT Press, 1997, pp. 245-259.
21. D. Seipel: DISLOG - A Disjunctive Deductive Database Prototype, Proc. Twelfth Workshop on Logic Programming (WLP'97), 1997, pp. 136-143. DISLOG is available on the WWW at "http://www-infol.informatik.uni-wuerzburg.de/ databases/DisLog".
22. A. Van Gelder, K.A. Ross, J.S. Schlipf:, Unfounded Sets and Weil-Founded Semantics for General Logic Programs, Proc. Seventh ACM Symposium on Principles of Database Systems (PODS'88), 1988, pp. 221-230.
23. C. Witteveen, G. Brewka: Skeptical Reason Maintenance and Belief Revision, Journal of Artificial Intelligence, vol. 61, 1993, pp. 1-36.
24. C. Witteveen, W. van der Hoek: A General Framework for Revising Nonmonotonic Theories, Proc. Fourth Intl. Conf. on Logic Programming an Non-Monotonic Reasoning (LPNMR'97), Springer LNAI 1265, 1997, pp. 258-272.
25. J.H. You, L.Y. Yuan: Three-Valued Formalisms of Logic Programming: Is It Needed ?, Proc. Ninth ACM Symposium on Principles of Database Systems (PODS'90), 1990, pp. 172-182.
26. J.H. You, L. Y. Yuan: On the Equivalence of Semantics for Normal Logic Programs, Journal of Logic Programming, vol. 22(3), 1995, pp. 211-222.