23 citations · 25 across the 4 of their papers we have counts for
1 paper · 2 filters
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…