Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection.

Johannes Oetsch, Hans Tompits, Stefan Woltran

Browse the full AAAI paper archive.