16 citations · 18 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
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.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…