A denotational semantics for equilibrium logic

Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal. A denotational semantics for equilibrium logic. TPLP, 15(4-5):620-634, 2015. [doi]

Abstract

Abstract is missing.