23 citations · 26 across the 5 of their papers we have counts for
1 paper · 1 filter
Pedro Cabalar, Brais Muñiz
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…