Now showing items 1-1 of 1

    • Model Explanation via Support Graphs 

      Cabalar, Pedro; Muñiz, Brais (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 ...