Explaining Inconsistency in Answer Set Programs and Extensions.

Christoph Redl

Browse the full LPNMR paper archive.