Browsing by Subject "explanations"
Now showing items 1-1 of 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 ...