16 citations · 19 across the 2 of their papers we have counts for
2 papers
cs.LO2019★ 3 cited
Revisiting Explicit Negation in Answer Set Programming
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno +3
A common feature in Answer Set Programming is the use of a second negation, stronger than default negation and sometimes called explicit, strong or classical negation. This explici…
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…