@dblp

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

, , and . AAAI, page 458-464. AAAI Press, (2007)

Links and resources

Tags