30 citations · 102 across the 34 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.LO2016
Deriving Conclusions From Non-Monotonic Cause-Effect Relations
Jorge Fandinno
We present an extension of Logic Programming (under stable models semantics) that, not only allows concluding whether a true atom is a cause of another atom, but also deriving new…
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…