Notions of Strong Equivalence for Logic Programs with Ordered Disjunction

Wolfgang Faber, Hans Tompits, Stefan Woltran. Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. In Gerhard Brewka, Jérôme Lang, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008. pages 433-443, AAAI Press, 2008.

Abstract

Abstract is missing.