Ella Albrecht, Patrick Krümpelmann, Gabriele Kern-Isberner. Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs. In Michael Hanus, Ricardo Rocha, editors, Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers. Volume 8439 of Lecture Notes in Computer Science, pages 1-16, Springer, 2013. [doi]
Abstract is missing.