843 citations · 1.2k across the 8 of their papers we have counts for
1 paper · 2 filters
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…