On Solution Correspondences in Answer-Set Programming.

Thomas Eiter, Hans Tompits, Stefan Woltran

Browse the full IJCAI paper archive.