Characterizations for Relativized Notions of Equivalence in Answer Set Programming

Stefan Woltran. Characterizations for Relativized Notions of Equivalence in Answer Set Programming. In José Júlio Alferes, João Alexandre Leite, editors, Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. Volume 3229 of Lecture Notes in Computer Science, pages 161-173, Springer, 2004. [doi]

Abstract

Abstract is missing.