Pedro Cabalar

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 100

Top Venues

CoRR

Theory Pract. Log. Program.

LPNMR

JELIA

Publications

Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
Metric Dynamic Equilibrium Logic. CoRR (2024)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Syntactic ASP forgetting with forks. Artif. Intell. 326 (2024)
Pedro Cabalar, Brais Muñiz
Model Explanation via Support Graphs. CoRR (2023)
Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre
Deontic Equilibrium Logic with eXplicit Negation. JELIA (2023)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
Linear-Time Temporal Answer Set Programming. Theory Pract. Log. Program. 23 (1) (2023)
Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
Metric dynamic equilibrium logic. J. Appl. Non Class. Logics 33 (3-4) (2023)
Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub
Past-present temporal programs over finite traces: a preliminary report. ICLP Workshops (2023)
Pedro Cabalar, Brais Muñiz
Explanation Graphs for Stable Models of Labelled Logic Programs. ICLP Workshops (2023)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
On the Semantics of Hybrid ASP Systems Based on Clingo. Algorithms 16 (4) (2023)
Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Metric Temporal Equilibrium Logic over Timed Traces. CoRR (2023)
Pedro Cabalar, David Pearce
Logic, Accountability and Design: Extended Abstract. JELIA (2023)
Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub
Past-Present Temporal Programs over Finite Traces. JELIA (2023)
Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub
Past-present temporal programs over finite traces. CoRR (2023)
Manuel Framil, Pedro Cabalar, José Santos
A MaxSAT Solver Based on Differential Evolution (Preliminary Report). EPIA (2022)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Metric Temporal Answer Set Programming over Timed Traces. LPNMR (2022)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
A polynomial reduction of forks into logic programs. Artif. Intell. 308 (2022)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Syntactic ASP Forgetting with Forks. LPNMR (2022)
Thiago Freitas dos Santos, Paulo E. Santos, Leonardo Anjoletto Ferreira, Reinaldo A. C. Bianchi, Pedro Cabalar
Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles. Appl. Intell. 52 (4) (2022)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
Towards a Semantics for Hybrid ASP systems. CoRR (2021)
Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub
Automata for Dynamic Answer Set Solving: Preliminary Report. ICLP Workshops (2021)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Splitting Epistemic Logic Programs. Theory Pract. Log. Program. 21 (3) (2021)
Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments"). CoRR (2021)
Amparo Alonso-Betanzos, Pedro Cabalar, Graçaliz Pereira Dimuro, Marcos García, José Hernández-Orallo, Raquel Hervás, Angeles Manjarés, Fernando Martínez-Plumed, Inmaculada Mora-Jiménez, Miquel Sànchez-Marrè
Editor's Note. Int. J. Interact. Multim. Artif. Intell. 6 (5) (2021)
Pedro Cabalar, Zoe Falomir, Paulo E. Santos, Thora Tenbrink
Representing and Solving Spatial Problems (Dagstuhl Seminar 21492). Dagstuhl Reports 11 (11) (2021)
Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub
Automata for dynamic answer set solving: Preliminary report. CoRR (2021)
Pedro Cabalar
Temporal ASP: From Logical Foundations to Practical Use with telingo. Reasoning Web (2021)
Pedro Cabalar, Brais Muñiz, Gilberto Pérez, Francisco Suárez
Explainable Machine Larning for liver transplantation. CoRR (2021)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Pérez, Concepción Vidal
Explicit Negation in Linear-Dynamic Equilibrium Logic. ECAI (2020)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Towards Metric Temporal Answer Set Programming. Theory Pract. Log. Program. 20 (5) (2020)
Pedro Cabalar, Paulo E. Santos
Spatial Reasoning about String Loops and Holes in Temporal ASP. KR (2020)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. ICLP Workshops (2020)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
An ASP semantics for Constraints involving Conditional Aggregates. CoRR (2020)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. KR (2020)
Pedro Cabalar
Temporal Modalities in Answer Set Programming (Invited Talk). TIME (2020)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
On the Splitting Property for Epistemic Logic Programs (Extended Abstract). IJCAI (2020)
Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub
eclingo: A solver for Epistemic Logic Programs. CoRR (2020)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting Auxiliary Atoms in Forks (Extended Abstract). IJCAI (2020)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. CoRR (2020)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
Towards Metric Temporal Answer Set Programming. CoRR (2020)
Pedro Cabalar, Jorge Fandinno, Brais Muñiz
A System for Explainable Answer Set Programming. ICLP Technical Communications (2020)
Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
Modular Answer Set Programming as a Formal Specification Language. Theory Pract. Log. Program. 20 (5) (2020)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière
Implementing Dynamic Answer Set Programming. CoRR (2020)
Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
Modular Answer Set Programming as a Formal Specification Language. CoRR (2020)
Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub
eclingo : A Solver for Epistemic Logic Programs. Theory Pract. Log. Program. 20 (6) (2020)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
Temporal Answer Set Programming. CoRR (2020)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
An ASP Semantics for Constraints Involving Conditional Aggregates. ECAI (2020)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Autoepistemic answer set programming. Artif. Intell. 289 (2020)
Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière
Implementing Dynamic Answer Set Programming over Finite Traces. ECAI (2020)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Revisiting Explicit Negation in Answer Set Programming. CoRR (2019)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
Gelfond-Zhang aggregates as propositional formulas. Artif. Intell. 274 (2019)
Pedro Cabalar, Carlos Pérez, Gilberto Pérez
Equilibrium graphs. Ann. Math. Artif. Intell. 86 (1-3) (2019)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Splitting Epistemic Logic Programs. LPNMR (2019)
Pedro Cabalar, Torsten Schaub
Temporal Logic Programs with Temporal Description Logic Axioms. Description Logic, Theory Combination, and All That (2019)
Pedro Cabalar, Manuel Rey, Concepción Vidal
A Complete Planner for Temporal Answer Set Programming. EPIA (2) (2019)
Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub
telingo = ASP + Time. LPNMR (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez, Francisco Suárez
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation. ICLP Technical Communications (2019)
Pedro Cabalar, Torsten Schaub
Dynamic and Temporal Answer Set Programming on Linear Finite Traces. Datalog (2019)
Thiago Freitas dos Santos, Paulo E. Santos, Leonardo Anjoletto Ferreira, Reinaldo A. C. Bianchi, Pedro Cabalar
Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles. CoRR (2019)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Founded World Views with Autoepistemic Equilibrium Logic. CoRR (2019)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. CoRR (2019)
Paulo E. Santos, Pedro Cabalar, Roberto Casati
The knowledge of knots: an interdisciplinary literature review. Spatial Cogn. Comput. 19 (4) (2019)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
Lower Bound Founded Logic of Here-and-There. JELIA (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Revisiting Explicit Negation in Answer Set Programming. Theory Pract. Log. Program. 19 (5-6) (2019)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Founded World Views with Autoepistemic Equilibrium Logic. LPNMR (2019)
Pedro Cabalar, Martín Diéguez, Torsten Schaub
Towards Dynamic Answer Set Programming over Finite Traces. LPNMR (2019)
Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano
Multi-context systems in dynamic environments. Ann. Math. Artif. Intell. 86 (1-3) (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting auxiliary atoms in forks. Artif. Intell. 275 (2019)
Thiago Freitas dos Santos, Paulo Santos, Leonardo Anjoletto Ferreira, Reinaldo A. C. Bianchi, Pedro Cabalar
Solving a Spatial Puzzle Using Answer Set Programming Integrated with Markov Decision Process. BRACIS (2018)
Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
Temporal Answer Set Programming on Finite Traces. CoRR (2018)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Splitting Epistemic Logic Programs. CoRR (2018)
Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
Temporal Answer Set Programming on Finite Traces. Theory Pract. Log. Program. 18 (3-4) (2018)
Pedro Cabalar, David Pearce, Agustín Valverde
Answer Set Programming from a Logical Point of View. Künstliche Intell. 32 (2-3) (2018)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. CoRR (2018)
Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub
Introducing Temporal Stable Models for Linear Dynamic Logic. KR (2018)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Theory Pract. Log. Program. 18 (3-4) (2018)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting Auxiliary Atoms in Forks. ASPOCP@LPNMR (2017)
Pedro Cabalar, David Pearce, Agustín Valverde
Stable reasoning. J. Appl. Non Class. Logics 27 (3-4) (2017)
Pedro Cabalar, Stefania Costantini, Andrea Formisano
Multi-Context Systems: Dynamics and Evolution. ASPOCP@LPNMR (2017)
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez
Temporal logic programs with variables. Theory Pract. Log. Program. 17 (2) (2017)
Felicidad Aguado, Pablo Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Verification for ASP denotational semantics: A case study using the PVS theorem prover. Log. J. IGPL 25 (2) (2017)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
On the Properties of Atom Definability and Well-Supportedness in Logic Programming. EPIA (2017)
Pedro Cabalar, Rodrigo Martín
haspie - A Musical Harmonisation Tool Based on ASP. EPIA (2017)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
Temporal Equilibrium Logic with past operators. J. Appl. Non Class. Logics 27 (3-4) (2017)
Pedro Cabalar, Jorge Fandinno
Enablers and inhibitors in causal justifications of logic programs. Theory Pract. Log. Program. 17 (1) (2017)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
Gelfond-Zhang Aggregates as Propositional Formulas. LPNMR (2017)
Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce
A short biography of Luis Fariñas del Cerro. J. Appl. Non Class. Logics 27 (3-4) (2017)
Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub
An ASP Semantics for Default Reasoning with Constraints. IJCAI (2016)
Paulo E. Santos, Pedro Cabalar
Framing holes within a loop hierarchy. Spatial Cogn. Comput. 16 (1) (2016)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
Temporal Logic Programs with Variables. CoRR (2016)
Pedro Cabalar, Jorge Fandinno
Justifications for programs with disjunctive and causal-choice rules. Theory Pract. Log. Program. 16 (5-6) (2016)
Pedro Cabalar, Carlos Pérez, Gilberto Pérez
Equilibrium Graphs. CoRR (2016)
Pedro Cabalar, Jorge Fandinno
Enablers and Inhibitors in Causal Justifications of Logic Programs. CoRR (2016)
Pedro Cabalar, Jorge Fandinno
Justifications for Programs with Disjunctive and Causal-choice Rules. CoRR (2016)
Pedro Cabalar, Paulo E. Santos
A qualitative spatial representation of string loops as holes. Artif. Intell. 238 (2016)
Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
A Denotational Semantics for Equilibrium Logic. CoRR (2015)
Pedro Cabalar
Stable Models for Temporal Theories - - Invited Talk -. LPNMR (2015)
Pedro Cabalar, Martín Diéguez, Concepción Vidal
An infinitary encoding of temporal equilibrium logic. Theory Pract. Log. Program. 15 (4-5) (2015)
Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
A denotational semantics for equilibrium logic. Theory Pract. Log. Program. 15 (4-5) (2015)
Pedro Cabalar, Jorge Fandiño
Explaining Preferences and Preferring Explanations. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Pedro Cabalar, Jorge Fandinno
Enablers and Inhibitors in Causal Justifications of Logic Programs. LPNMR (2015)

Pedro Cabalar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pedro Cabalar