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

Axel Polleres, Melanie Frhstck, Gottfried Schenner, Gerhard Friedrich

Browse the full LPNMR paper archive.