Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
A denotational semantics for equilibrium logic
ICLP, 2015.
@article{ICLP-J-2015-AguadoCPPV,
author = "Felicidad Aguado and Pedro Cabalar and David Pearce and Gilberto Pérez and Concepción Vidal",
doi = "10.1017/S1471068415000277",
journal = "{Theory and Practice of Logic Programming}",
number = "4-5",
pages = "620--634",
title = "{A denotational semantics for equilibrium logic}",
volume = 15,
year = 2015,
}