Advertisement

Two simple characterizations of well-founded semantics

  • Teodor C. Przymusinski
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 629)

Keywords

Logic Program Stable Model Deductive Database Disjunctive Program Partial Interpretation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ABW88]
    K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89–142, Morgan Kaufmann, Los Altos, CA., 1988.Google Scholar
  2. [BNN90]
    S. Bonnier, U. Nilsson, and T. Naslund. A Simple Fixed Point Characterization of Three-valued Stable Model Semantics. Research report, University of Linkoping, 1990.Google Scholar
  3. [Bry89]
    F. Bry. Logic programming as constructivism: a formalization and its application to databases. In Proceedings of the Symposium on Principles of Database Systems, pages 34–50, ACM SIGACT-SIGMOD, 1989.Google Scholar
  4. [Dix91]
    J. Dix. Classifying semantics of logic programs. In A. Nerode, W. Marek, and V.S. Subrahmanian, editors, Proceedings of the First International Workshop on Logic Programming and Non-monotonic Reasoning, Washington, D.C., July 1991, pages 166–180, MIT Press, Cambridge, Mass., 1991.Google Scholar
  5. [GL88]
    M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. Bowen, editors, Proceedings of the Fifth Logic Programming Symposium, pages 1070–1080, Association for Logic Programming, MIT Press, Cambridge, Mass., 1988.Google Scholar
  6. [GPP89]
    M. Gelfond, H. Przymusinska, and T. Przymusinski. On the relationship between circumscription and negation as failure. Journal of Artificial Intelligence, 38:75–94, 1989.zbMATHMathSciNetCrossRefGoogle Scholar
  7. [KS89]
    H. A. Kautz and B. Selman. Hard problems for simple default logics. In R. Brachman, H. Leveque, and R. Reiter, editors, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR'89), Toronto, Canada, pages 189–197, Morgan Kaufmann, 1989.Google Scholar
  8. [McC80]
    J. McCarthy. Circumscription — a form of non-monotonic reasoning. Journal of Artificial Intelligence, 13:27–39, 1980.zbMATHMathSciNetCrossRefGoogle Scholar
  9. [Min82]
    J. Minker. On indefinite data bases and the closed world assumption. In Proc. 6-th Conference on Automated Deduction, pages 292–308, Springer Verlag, New York, 1982.Google Scholar
  10. [MT88]
    W. Marek and M. Truszczynski. Autoepistemic Logic. Research report, University of Kentucky, University of Kentucky, 1988.Google Scholar
  11. [PP90]
    H. Przymusinska and T. C. Przymusinski. Semantic issues in deductive databases and logic programs. In R. Banerji, editor, Formal Techniques in Artificial Intelligence, pages 321–367, North-Holland, Amsterdam, 1990.Google Scholar
  12. [Prz88]
    T. C. Przymusinski. On the declarative semantics of stratified deductive databases and logic programs. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193–216, Morgan Kaufmann, Los Altos, CA., 1988.Google Scholar
  13. [Prz89]
    T. C. Przymusinski. Every logic program has a natural stratification and an iterated fixed point model. In Proceedings of the Eighth Symposium on Principles of Database Systems, pages 11–21, ACM SIGACT-SIGMOD, 1989.Google Scholar
  14. [Prz90]
    T. C. Przymusinski. The well-founded semantics coincides with the three-valued stable semantics. Fundamenta Informaticae, 13(4):445–464, 1990.zbMATHMathSciNetGoogle Scholar
  15. [Prz91a]
    T. C. Przymusinski. Autoepistemic logics of closed beliefs and logic programming. In A. Nerode, W. Marek, and V.S. Subrahmanian, editors, Proceedings of the First International Workshop on Logic Programming and Non-monotonic Reasoning, Washington, D.C., July 1991, pages 3–20, MIT Press, Cambridge, Mass., 1991.Google Scholar
  16. [Prz91b]
    T. C. Przymusinski. Stable semantics for disjunctive programs. New Generation Computing Journal, 9:401–424, 1991. (Extended abstract appeared in: Extended stable semantics for normal and disjunctive logic programs. Proceedings of the 7-th International Logic Programming Conference, Jerusalem, pages 459–477, 1990. MIT Press.).zbMATHCrossRefGoogle Scholar
  17. [Prz91c]
    T. C. Przymusinski. Well-founded completions of logic programs. In Proceedings of the Eigth International Logic Programming Conference, Paris, France, pages 726–744, Association for Logic Programming, MIT Press, Cambridge, Mass., 1991.Google Scholar
  18. [PW91]
    T. C. Przymusinski and D. S. Warren. Well-founded Semantics: Theory and Implementation. Research report, UC Riverside and SUNY at Stony Brook, 1991. (in preparation).Google Scholar
  19. [VG89a]
    A. Van Gelder. The alternating fixpoint of logic programs with negation. In Proceedings of the Symposium on Principles of Database Systems, pages 1–10, ACM SIGACT-SIGMOD, 1989.Google Scholar
  20. [VG89b]
    A. Van Gelder. Negation as failure using tight derivations for general logic programs. Journal of Logic Programming, 6(1):109–133, 1989. Preliminary versions appeared in Third IEEE Symp. on Logic Programming (1986), and Foundations of Deductive Databases and Logic Programming, J. Minker, ed., Morgan Kaufmann, 1988.zbMATHMathSciNetCrossRefGoogle Scholar
  21. [VGRS90]
    A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 1990. (to appear). Preliminary abstract appeared in Seventh ACM Symposium on Principles of Database Systems, March 1988, pp. 221–230.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Teodor C. Przymusinski
    • 1
  1. 1.Department of Computer ScienceUniversity of California at RiversideRiversideUSA

Personalised recommendations