Computing stable and partial stable models of extended disjunctive logic programs

  • Carolina Ruiz
  • Jack Minker
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 927)


In [Prz91], Przymusinski introduced the partial (or 3-valued) stable model semantics which extends the (2-valued) stable model semantics defined originally by Gelfond and Lifschitz [GL88]. In this paper we describe a procedure to compute the collection of all partial stable models of an extended disjunctive logic program. This procedure consists in transforming an extended disjunctive logic program into a constrained disjunctive program free of negation-by-default whose set of 2-valued minimal models corresponds to the set of partial stable models of the original program.


Extended disjunctive logic programs Negation Stable models Partial stable models Three valued semantics Well-supportedness 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AHU83]
    A. Aho, J. Hopcroft, and J. Ullman. Data Structures and Algorithms. Addison-Wesley, 1983.Google Scholar
  2. [BNNS93]
    C. Bell, A. Nerode, R. Ng, and V.S. Subrahmanian. Implementing stable model semantics by linear programming. In Proceedings of the 1993 International Workshop on Logic Programming and Non-monotonic Reasoning, June 1993.Google Scholar
  3. [EG93]
    T. Eiter and G. Gottlob. Complexity aspects of various semantics for disjunctive databases. In Proceedings of the Twelfth ACM SIGART-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS-93), pages 158–167. ACM Press, May 1993.Google Scholar
  4. [Fag91]
    F. Fages. A new fixpoint semantics for general logic programs compared with the well-founded and the stable model semantics. New Generation Computing, 9:425–443, 1991.Google Scholar
  5. [Fit85]
    M. Fitting. A Kripke-Kleene semantics of logic programs. Journal of Logic Programming, 2(4):295–312, December 1985.CrossRefGoogle Scholar
  6. [Fit93]
    M. Fitting. The family of stable models. Journal of Logic Programming, 17(2, 3 & 4):197–226, 1993.CrossRefGoogle Scholar
  7. [FLMS93]
    J.A. Fernández, J. Lobo, J. Minker, and V.S. Subrahmanian. Disjunctive lp + integrity constrains = stable model semantics. Annals of Mathematics and Artificial Intelligence, 8(3–4):449–474, 1993.CrossRefGoogle Scholar
  8. [GL88]
    M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. Bowen, editors, Proceedings of the Fifth International Conference and Symposium on Logic Programming, pages 1070–1080, Seattle, WA, USA, Aug. 1988. The MIT Press.Google Scholar
  9. [IKH92]
    K. Inoue, M. Koshimura, and R. Hasegawa. Embedding negation as failure into a model generation theorem prover. In D. Kapur, editor, Proceedings of the Eleventh International Conference on Automated Deduction, pages 400–415, Saratoga Springs NY, USA, June 1992. Springer-Verlag.Google Scholar
  10. [MR90]
    J. Minker and A. Rajasekar. A fixpoint semantics for disjunctive logic programs. Journal of Logic Programming, 9(1):45–74, July 1990.CrossRefGoogle Scholar
  11. [MR93]
    J. Minker and C. Ruiz. On extended disjunctive logic programs. In J. Komorowski and Z.W. Raś, editors, Proceedings of the Seventh International Symposium on Methodologies for Intelligent Systems, pages 1–18. Lecture Notes in AI. Springer-Verlag, June 1993. (Invited Paper).Google Scholar
  12. [MR94]
    J. Minker and C. Ruiz. Semantics for disjunctive logic programs with explicit and default negation. Fundamenta Informaticae, 20(3/4):145–192, 1994. Anniversary Issue edited by H. Rasiowa.Google Scholar
  13. [Prz91]
    T. C. Przymusinski. Stable semantics for disjunctive programs. New Generation Computing, 9:401–424, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Carolina Ruiz
    • 1
  • Jack Minker
    • 1
  1. 1.Department of Computer Science and Institute for Advanced Computer StudiesUniversity of MarylandCollege ParkUSA

Personalised recommendations