23 citations · 88 across the 36 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016
Justifications for Programs with Disjunctive and Causal-choice Rules
Pedro Cabalar, Jorge Fandinno
In this paper, we study an extension of the stable model semantics for disjunctive logic programs where each true atom in a model is associated with an algebraic expression (in ter…
cs.LO2016★ 3 cited
Enablers and Inhibitors in Causal Justifications of Logic Programs
Pedro Cabalar, Jorge Fandinno
To appear in Theory and Practice of Logic Programming (TPLP). In this paper we propose an extension of logic programming (LP) where each default literal derived from the well-found…