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.

Authors

Christian Drescher

This author has not been identified. Look up 'Christian Drescher' in Google

Martin Gebser

This author has not been identified. Look up 'Martin Gebser' in Google

Torsten Grote

This author has not been identified. Look up 'Torsten Grote' in Google

Benjamin Kaufmann

This author has not been identified. Look up 'Benjamin Kaufmann' in Google

Arne König

This author has not been identified. Look up 'Arne König' in Google

Max Ostrowski

This author has not been identified. Look up 'Max Ostrowski' in Google

Torsten Schaub

This author has not been identified. Look up 'Torsten Schaub' in Google