This library contains a denotational semantics of Answer Set Programming.
- Gilberto Perez, University of La Coruña, Spain
- Felicidad Aguado, University of La Coruña, Spain
- Pablo Ascariz, University of La Coruña, Spain
- Pedro Cabalar, University of La Coruña, Spain
- Concepción Vidal, University of La Coruña, Spain
- César Muñoz, NASA, USA
- Mariano Moscato, NIA & NASA, USA
- Sam Owre, SRI, USA
- César Muñoz, NASA, USA
This library does not depend on any external theory.
- F. Aguado, P. Cabalar, D. Pearce, G. Pérez, C. Vidal, "A denotational semantics for equilibrium logic", in Proc. of the 31st Intl. Conf. on Logic Programming, 2015.