Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs.

Autor: Albrecht, Ella, Krümpelmann, Patrick, Kern-Isberner, Gabriele
Zdroj: Declarative Programming & Knowledge Management; 2014, p1-16, 16p
Databáze: Complementary Index