Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints

Axel Polleres, Melanie Frühstück, Gottfried Schenner, Gerhard Friedrich. Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints. In Pedro Cabalar, Tran Cao Son, editors, Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings. Volume 8148 of Lecture Notes in Computer Science, pages 452-464, Springer, 2013. [doi]

Authors

Axel Polleres

This author has not been identified. Look up 'Axel Polleres' in Google

Melanie Frühstück

This author has not been identified. Look up 'Melanie Frühstück' in Google

Gottfried Schenner

This author has not been identified. Look up 'Gottfried Schenner' in Google

Gerhard Friedrich

This author has not been identified. Look up 'Gerhard Friedrich' in Google