UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
A New Perspective on Stable Models (2007)
Paolo Ferraris
,
Joohyung Lee
and
Vladimir Lifschitz
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In this paper we propose a new definition of that concept, which covers many constructs used in answer set programming (including disjunctive rules, choice rules and conditional literals) and, unlike the original definition, refers neither to grounding nor to fixpoints. Rather, is is based on a syntactic transformation, which turns a logic program into a formula of second-order logic that is similar to the formula familiar from the definition of circumscription.
View:
PS
Citation:
In
Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)
, pp. 372-379 2007.
Bibtex:
@Inproceedings{fer07a, title={A New Perspective on Stable Models}, author={Paolo Ferraris and Joohyung Lee and Vladimir Lifschitz}, booktitle={Proceedings of International Joint Conference on Artificial Intelligence (IJCAI)}, pages={372-379}, url="http://www.cs.utexas.edu/users/ai-lab?fer07a", year={2007} }
People
Paolo Ferraris
Ph.D. Alumni
pieffe8 [at] gmail com
Joohyung Lee
Ph.D. Alumni
joolee [at] asu edu
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Answer Set Programming