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.

PDF

Theory and Practice of Logic Programming, Vol. 21 (2021).

@article{lif:hta, title={Here and There with Arithmetic}, author={Vladimir Lifschitz}, volume={21}, journal={Theory and Practice of Logic Programming}, month={ }, url="http://www.cs.utexas.edu/users/ai-lab?hta", year={2021} }