16 citations · 18 across the 3 of their papers we have counts for
3 papers
cs.LO2015★ 16 cited
A Denotational Semantics for Equilibrium Logic
Felicidad Aguado, Pedro Cabalar, David Pearce +2
In this paper we provide an alternative semantics for Equilibrium Logic and its monotonic basis, the logic of Here-and-There (also known as Gödel's G3 logic) that relies on the ide…
cs.AI2014
Causal Graph Justifications of Logic Programs
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…
cs.LO2010★ 2 cited
Functional Answer Set Programming
Pedro Cabalar
In this paper we propose an extension of Answer Set Programming (ASP), and in particular, of its most general logical counterpart, Quantified Equilibrium Logic (QEL), to deal with…