On the Minimality of Stable Models
From MaRDI portal
Publication:3001914
DOI10.1007/978-3-642-20832-4_5zbMath1326.68056OpenAlexW307987939MaRDI QIDQ3001914
Vladimir Lifschitz, Paolo Ferraris
Publication date: 19 May 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-20832-4_5
Related Items (3)
Stability, Supportedness, Minimality and Kleene Answer Set Programs ⋮ Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs ⋮ A paraconsistent approach to actions in informationally complex environments
This page was built for publication: On the Minimality of Stable Models
