Conflict-Driven Disjunctive Answer Set Solving

Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub. Conflict-Driven Disjunctive Answer Set Solving. 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 422-432, AAAI Press, 2008.

Bibliographies