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 |
Externí odkaz: |