On Equivalence of Infinitary Formulas under the Stable Model Semantics (2014)
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:
To Appear In Theory and Practice of Logic Programming (2014).
Bibtex:

Amelia Harrison Ph.D. Student ameliaj [at] cs utexas edu
Vladimir Lifschitz Faculty vl [at] cs utexas edu