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