Author/Creator: CABALAR, PEDRO - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator CABALAR, PEDRO

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) ↗