Datalog Reloaded pp 78-87
Datalog Programs and Their Stable Models
- Cite this paper as:
- Lifschitz V. (2011) Datalog Programs and Their Stable Models. In: de Moor O., Gottlob G., Furche T., Sellers A. (eds) Datalog Reloaded. Lecture Notes in Computer Science, vol 6702. Springer, Berlin, Heidelberg
This paper is about the functionality of software systems used in answer set programming (ASP). ASP languages are viewed here, in the spirit of Datalog, as mechanisms for characterizing intensional (output) predicates in terms of extensional (input) predicates. Our approach to the semantics of ASP programs is based on the concept of a stable model defined in terms of a modification of parallel circumscription.
Unable to display preview. Download preview PDF.