UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Loop Formulas for Disjunctive Logic Programs (2003)
Joohyung Lee
and
Vladimir Lifschitz
We extend Clark's definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generalizing the Lin/Zhao theorem, shows that answer sets for a disjunctive program can be characterized as the models of its completion that satisfy the loop formulas. The concept of a tight program and Fages' theorem are extended to disjunctive programs as well.
View:
PS
Citation:
In
Proceedings of International Conference on Logic Programming (ICLP)
, pp. 451-465 2003.
Bibtex:
@Inproceedings{lee03a, title={Loop Formulas for Disjunctive Logic Programs}, author={Joohyung Lee and Vladimir Lifschitz}, booktitle={Proceedings of International Conference on Logic Programming (ICLP)}, pages={451-465}, url="http://www.cs.utexas.edu/users/ai-lab/?lee03a", year={2003} }
People
Joohyung Lee
Ph.D. Alumni
joolee [at] asu edu
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Answer Set Programming
Nonmonotonic Reasoning
Labs
Texas Action Group