Reasoning with Infinite Stable Models II: Disjunctive Programs

  • Piero A. Bonatti
Conference paper

DOI: 10.1007/3-540-45619-8_23

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2401)
Cite this paper as:
Bonatti P.A. (2002) Reasoning with Infinite Stable Models II: Disjunctive Programs. In: Stuckey P.J. (eds) Logic Programming. ICLP 2002. Lecture Notes in Computer Science, vol 2401. Springer, Berlin, Heidelberg


The class of finitary normal logic programs—identified recently, in [1]—makes it possible to reason effectively with function symbols, recursion, and infinite stable models. These features may lead to a full integration of the standard logic programming paradigm with the answer set programming paradigm. For all finitary programs, ground goals are decidable, while nonground goals are semidecidable. Moreover, the existing engines (that currently accept only much more restricted programs [11,7]) can be extended to handle finitary programs by replacing their front-ends and keeping their core inference mechanism unchanged. In this paper, the theory of finitary normal programs is extended to disjunctive programs. More precisely, we introduce a suitable generalization of the notion of finitary program and extend all the results of [1] to this class. For this purpose, a consistency result by Fages is extended from normal programs to disjunctive programs. We also correct an error occurring in [1].


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Piero A. Bonatti
    • 1
  1. 1.Dip. di Tecnologie dell’InformazioneUniversità di MilanoCremaItaly

Personalised recommendations