UTCS Artificial Intelligence
courses
talks/events
demos
people
projects
publications
software/data
labs
areas
admin
Infinitary Equilibrium Logic (2014)
Amelia Harrison
,
Vladimir Lifschitz
, Agustin Valverde, David Pearce
Strong equivalence of logic programs is an important concept in the theory of answer set programming. Equilibrium logic was used to show that propositional formulas are strongly equivalent if and only if they are equivalent in the logic of here-and-there. We extend equilibrium logic to formulas with infinitely long conjunctions and disjunctions, define and axiomatize an infinitary counterpart to the logic of here-and-there, and show that the theorem on strong equivalence holds in the infinitary case as well.
View:
PDF
Citation:
In
Working Notes of Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)
2014.
Bibtex:
@inproceedings{harrsion:aspocp14, title={Infinitary Equilibrium Logic}, author={Amelia Harrison and Vladimir Lifschitz and Agustin Valverde and David Pearce}, booktitle={Working Notes of Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP)}, url="http://www.cs.utexas.edu/users/ai-lab/?iel", year={2014} }
People
Amelia Harrison
Ph.D. Student
ameliaj [at] cs utexas edu
Vladimir Lifschitz
Faculty
vl [at] cs utexas edu
Areas of Interest
Answer Set Programming
Logic
Labs
Texas Action Group