The class of logic programs covered by the original definition of a stable model has the property that all stable models of a program in this class are minimal. In the course of research on answer set programming, the concept of a stable model was extended to several new programming constructs, and for some of these extensions the minimality property does not hold. We are interested in syntactic conditions on a logic program that guarantee the minimality of its stable models. This question is addressed here in the context of the general theory of stable models of first-order sentences. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Ferraris, P., & Lifschitz, V. (2011). On the minimality of stable models. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6565 LNAI, 64–73. https://doi.org/10.1007/978-3-642-20832-4_5
Mendeley helps you to discover research relevant for your work.