16 citations · 22 across the 4 of their papers we have counts for
1 paper · 1 filter
Enrico Pontelli, Tran Cao Son, Omar Elkhatib
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a…