Listar por tema "explanations"
Mostrando ítems 1-1 de 1
-
Model Explanation via Support Graphs
(Cambridge Univeristy Press, 2024-02)[Absctract]: In this note, we introduce the notion of support graph to define explanations for any model of a logic program. An explanation is an acyclic support graph that, for each true atom in the model, induces a proof ...