A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs.

Tobias Geibinger, Zeynep G. Saribatur, Stefan Woltran

Browse the full ECAI paper archive.