UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
On Equivalence of Infinitary Formulas under the Stable Model Semantics (2015)
Amelia Harrison
,
Vladimir Lifschitz
and Miroslaw Truszczynski
It has been known for a long time that intuitionistically equivalent formulas have the same stable models. We extend this theorem to propositional formulas with infinitely long conjunctions and disjunctions and show how to apply this generalization to proving properties of aggregates in answer set programming.
View:
PDF
Citation:
Theory and Practice of Logic Programming
, Vol. 15, 1 (2015).
Bibtex:
@article{harrison:lpnmr13, title={On Equivalence of Infinitary Formulas under the Stable Model Semantics}, author={Amelia Harrison and Vladimir Lifschitz and Miroslaw Truszczynski}, volume={15}, journal={Theory and Practice of Logic Programming }, number={1}, url="http://www.cs.utexas.edu/users/ai-lab?etinf", year={2015} }
People
Amelia Harrison
Ph.D. Alumni
ameliaj [at] cs utexas edu
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Answer Set Programming
Logic