Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Pedro Cabalar

Pedro Cabalar

University of CoruƱa, Spain

A System for Explainable Answer Set Programming


Sep 22, 2020
Pedro Cabalar, Jorge Fandinno, Brais MuƱiz

* EPTCS 325, 2020, pp. 124-136 
* In Proceedings ICLP 2020, arXiv:2009.09158 

  Access Paper or Ask Questions

Temporal Answer Set Programming


Sep 14, 2020
Felicidad Aguado, Pedro Cabalar, Martin Dieguez, Gilberto Perez, Torsten Schaub, Anna Schuhmann, Concepcion Vidal

* 47 pages, 5 figures, 4 tables, lots of theorems 

  Access Paper or Ask Questions

Towards Metric Temporal Answer Set Programming


Aug 08, 2020
Pedro Cabalar, Martin Dieguez, Torsten Schaub, Anna Schuhmann

* Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 28 pages 

  Access Paper or Ask Questions

Modular Answer Set Programming as a Formal Specification Language


Aug 07, 2020
Pedro Cabalar, Jorge Fandinno, Yuliya Lierler

* Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages 

  Access Paper or Ask Questions

eclingo: A solver for Epistemic Logic Programs


Aug 05, 2020
Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub

* Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages 

  Access Paper or Ask Questions

A Uniform Treatment of Aggregates and Constraints in Hybrid ASP


Mar 13, 2020
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko


  Access Paper or Ask Questions

An ASP semantics for Constraints involving Conditional Aggregates


Feb 22, 2020
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko


  Access Paper or Ask Questions

Implementing Dynamic Answer Set Programming


Feb 19, 2020
Pedro Cabalar, MartĆ­n DiĆ©guez, Torsten Schaub, FranƧois LaferriĆØre


  Access Paper or Ask Questions

A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation


Sep 18, 2019
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais MuƱiz, Gilberto PƩrez, Francisco SuƔrez

* EPTCS 306, 2019, pp. 266-272 
* In Proceedings ICLP 2019, arXiv:1909.07646 

  Access Paper or Ask Questions

Revisiting Explicit Negation in Answer Set Programming


Jul 26, 2019
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Perez, Concepcion Vidal

* Paper presented at the 35th International Conference on Logic Programming (ICLP 2019), Las Cruces, New Mexico, USA, 20-25 September 2019, 16 pages 

  Access Paper or Ask Questions

Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning


May 25, 2019
Pedro Cabalar, Jorge Fandinno, Luis FariƱas del Cerro


  Access Paper or Ask Questions

Founded World Views with Autoepistemic Equilibrium Logic


Feb 20, 2019
Pedro Cabalar, Jorge Fandinno, Luis FariƱas


  Access Paper or Ask Questions

Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles


Feb 16, 2019
Thiago Freitas dos Santos, Paulo E. Santos, Leonardo A. Ferreira, Reinaldo A. C. Bianchi, Pedro Cabalar

* Submitted to Journal of Heuristics 

  Access Paper or Ask Questions

Splitting Epistemic Logic Programs


Dec 20, 2018
Pedro Cabalar, Jorge Fandinno, Luis FariƱas del Cerro

* 17th International Worshop on Non-Monotonic Reasoinig (NMR2018) October 27th-29th, 2018, Tempe, Arizona, US 

  Access Paper or Ask Questions

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates


May 02, 2018
Pedro Cabalar, Jorge Fandinno, Luis FariƱas del Cerro, David Pearce

* Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 16 pages, LaTeX, 0 PDF figures (arXiv:) 

  Access Paper or Ask Questions

Temporal Answer Set Programming on Finite Traces


Apr 26, 2018
Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann

* Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 15 pages, LaTeX, 0 PDF figures (arXiv:YYMM.NNNNN) 

  Access Paper or Ask Questions

Temporal Logic Programs with Variables


Sep 19, 2016
Felicidad Aguado, Pedro Cabalar, MartĆ­n DiĆ©guez, Gilberto PĆ©rez, ConcepciĆ³n Vidal

* Under consideration in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Equilibrium Graphs


Sep 07, 2016
Pedro Cabalar, Carlos PĆ©rez, Gilberto PĆ©rez

* Paper presented at the 9th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2016), New York City, USA, 16 October 2016 

  Access Paper or Ask Questions

Enablers and Inhibitors in Causal Justifications of Logic Programs


Feb 22, 2016
Pedro Cabalar, Jorge Fandinno


  Access Paper or Ask Questions

Causal Graph Justifications of Logic Programs


Sep 25, 2014
Pedro Cabalar, Jorge Fandinno, Michael Fink

* Theory and Practice of Logic Programming (2014), volume 14, issue 4-5, pp. 603-618 

  Access Paper or Ask Questions

An Algebra of Causal Chains


Dec 20, 2013
Pedro Cabalar, Jorge Fandinno

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey 

  Access Paper or Ask Questions

A Logical Charaterisation of Ordered Disjunction


Nov 22, 2010
Pedro Cabalar

* ASPOCP 2010 

  Access Paper or Ask Questions

Functional Answer Set Programming


Jun 18, 2010
Pedro Cabalar


  Access Paper or Ask Questions

Propositional theories are strongly equivalent to logic programs


Jan 16, 2007
Pedro Cabalar, Paolo Ferraris

* 15 pages 

  Access Paper or Ask Questions

Alternative Characterizations for Strong Equivalence of Logic Programs


Jul 09, 2002
Pedro Cabalar

* 15 pages, Workshop on Non-monotonic Reasoning (NMR'02), Toulouse, 2002 

  Access Paper or Ask Questions

PAL: Pertinence Action Language


Mar 09, 2000
Pedro Cabalar, Manuel Cabarcos, Ramon P. Otero

* 5 pages 

  Access Paper or Ask Questions