Inproceedings,

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)

Meta data

Tags

Users

  • @dblp

Comments and Reviews