Towards Causality-Based Conflict Resolution in Answer Set Programs.

Andre Thevapalan, Konstantin Haupt, Gabriele Kern-Isberner

Browse the full LPNMR paper archive.