UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Fages' Theorem and Answer Set Programming (2000)
Yuliya Lierler
,
Esra Erdem
and
Vladimir Lifschitz
We generalize a theorem by Francois Fages that describes the relationship between the completion semantics and the answer set semantics for logic programs with negation as failure. The study of this relationship is important in connection with the emergence of answer set programming. Whenever the two semantics are equivalent, answer sets can be computed by a satisfiability solver, and the use of answer set solvers such as smodels and dlv is unnecessary. A logic programming representation of the blocks world due to Ilkka Niemella is discussed as an example.
View:
PS
Citation:
In
Proceedings of International Workshop on Nonmonotonic Reasoning (NMR)
, pp. 33-35 2000. Springer.
Bibtex:
@inproceedings{baa94, title={Fages' Theorem and Answer Set Programming}, author={Yuliya Lierler and Esra Erdem and Vladimir Lifschitz}, booktitle={Proceedings of International Workshop on Nonmonotonic Reasoning (NMR)}, publisher={Springer}, pages={33-35}, url="http://www.cs.utexas.edu/users/ai-lab?baa94", year={2000} }
People
Esra Erdem
Ph.D. Alumni
esraerdem [at] sabanciuniv edu
Yuliya Lierler
Ph.D. Alumni
ylierler [at] unomaha edu
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Answer Set Programming
Nonmonotonic Reasoning
Planning