30 citations · 102 across the 34 of their papers we have counts for
1 paper · 1 filter
Pedro Cabalar, Jorge Fandinno
In this work we propose a multi-valued extension of logic programs under the stable models semantics where each true atom in a model is associated with a set of justifications, in…