Here and There with Arithmetic (2021)
The relationship between strong equivalence of logic programs and the logic of here-and-there allows us to establish strong equivalence by deriving rules of each program from rules of the other. We extend this method of proving strong equivalence to an answer set programming language that includes operations on integers.
View:
PDF
Citation:
To Appear In Theory and Practice of Logic Programming (2021).
Bibtex:

Vladimir Lifschitz Faculty vl [at] cs utexas edu