Towards Causality-Based Conflict Resolution in Answer Set Programs

Andre Thevapalan, Konstantin Haupt, Gabriele Kern-Isberner. Towards Causality-Based Conflict Resolution in Answer Set Programs. In Georg Gottlob, Daniela Inclezan, Marco Maratea, editors, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings. Volume 13416 of Lecture Notes in Computer Science, pages 350-362, Springer, 2022. [doi]

Abstract

Abstract is missing.