Notions of Strong Equivalence for Logic Programs with Ordered Disjunction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Wolfgang Faber' in GoogleThis author has not been identified. Look up 'Hans Tompits' in GoogleThis author has not been identified. Look up 'Stefan Woltran' in Google

runs on WebDSL