1. A denotational semantics for equilibrium logic*. Issue 4 (3rd September 2015) Authors: AGUADO, FELICIDAD; CABALAR, PEDRO; PEARCE, DAVID; PÉREZ, GILBERTO; VIDAL, CONCEPCIÓN Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 620 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. An infinitary encoding of temporal equilibrium logic*. Issue 4 (3rd September 2015) Authors: CABALAR, PEDRO; DIÉGUEZ, MARTÍN; VIDAL, CONCEPCIÓN Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 666 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Causal Graph Justifications of Logic Programs*. Issue 4 (21st July 2014) Authors: CABALAR, PEDRO; FANDINNO, JORGE; FINK, MICHAEL; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 603 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Enablers and inhibitors in causal justifications of logic programs*. Issue 1 (3rd May 2016) Authors: CABALAR, PEDRO; FANDINNO, JORGE Journal: Theory and practice of logic programming Issue: Volume 17:Issue 1(2017) Page Start: 49 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Issue 3 (10th August 2018) Authors: CABALAR, PEDRO; FANDINNO, JORGE; FARIÑAS DEL CERRO, LUIS; PEARCE, DAVID Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 390 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Justifications for programs with disjunctive and causal-choice rules*. Issue 5 (14th October 2016) Authors: CABALAR, PEDRO; FANDINNO, JORGE Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 587 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Modular Answer Set Programming as a Formal Specification Language. Issue 5 (September 2020) Authors: CABALAR, PEDRO; FANDINNO, JORGE; LIERLER, YULIYA Journal: Theory and practice of logic programming Issue: Volume 20:Issue 5(2020) Page Start: 767 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Revisiting Explicit Negation in Answer Set Programming. Issue 5 (September 2019) Authors: AGUADO, FELICIDAD; CABALAR, PEDRO; FANDINNO, JORGE; PEARCE, DAVID; PÉREZ, GILBERTO; VIDAL, CONCEPCIÓN Journal: Theory and practice of logic programming Issue: Volume 19:Issue 5/6(2019) Page Start: 908 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Splitting Epistemic Logic Programs. Issue 3 (5th May 2021) Authors: CABALAR, PEDRO; FANDINNO, JORGE; FARIÑAS DEL CERRO, LUIS Journal: Theory and practice of logic programming Issue: Volume 21:Issue 3(2021) Page Start: 296 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Temporal Answer Set Programming on Finite Traces. Issue 3 (10th August 2018) Authors: CABALAR, PEDRO; KAMINSKI, ROLAND; SCHAUB, TORSTEN; SCHUHMANN, ANNA Editors: Dal Palu, Alessandro; Tarau, Paul Journal: Theory and practice of logic programming Issue: Volume 18:Issue 3/4(2018) Page Start: 406 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗