16 citations · 18 across the 3 of their papers we have counts for
1 paper · 1 filter
Pedro Cabalar, Jorge Fandinno, Michael Fink
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. The…