| 2024 | KR | Contracted Temporal Equilibrium Logic. | Pedro Cabalar, Thomas Eiter, Davide Sold |
| 2024 | LPNMR | Compiling Metric Temporal Answer Set Programming. | Arvid Becker, Pedro Cabalar, Martn Diguez, Susana Hahn, Javier Romero, Torsten Schaub |
| 2024 | LPNMR | tExplain: Information Extraction with Explanations. | Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muiz, Joel Sare |
| 2024 | LPNMR | A Fixpoint Characterisation of Temporal Equilibrium Logic. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub, Igor Stphan |
| 2023 | ICLP | Past-present temporal programs over finite traces: a preliminary report. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub |
| 2023 | ICLP | Explanation Graphs for Stable Models of Labelled Logic Programs. | Pedro Cabalar, Brais Muiz |
| 2023 | JELIA | Deontic Equilibrium Logic with eXplicit Negation. | Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre |
| 2023 | JELIA | Past-Present Temporal Programs over Finite Traces. | Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub |
| 2023 | JELIA | Logic, Accountability and Design: Extended Abstract. | Pedro Cabalar, David Pearce |
| 2022 | EPIA | A MaxSAT Solver Based on Differential Evolution (Preliminary Report). | Manuel Framil, Pedro Cabalar, Jos Santos |
| 2022 | LPNMR | Syntactic ASP Forgetting with Forks. | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Prez, Concepcin Vidal |
| 2022 | LPNMR | Metric Temporal Answer Set Programming over Timed Traces. | Pedro Cabalar, Martn Diguez, Torsten Schaub, Anna Schuhmann |
| 2021 | ICLP | Automata for Dynamic Answer Set Solving: Preliminary Report. | Pedro Cabalar, Martn Diguez, Susana Hahn, Torsten Schaub |
| 2020 | ECAI | Explicit Negation in Linear-Dynamic Equilibrium Logic. | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Prez, Concepcin Vidal |
| 2020 | ECAI | Implementing Dynamic Answer Set Programming over Finite Traces. | Pedro Cabalar, Martn Diguez, Torsten Schaub, Franois Laferrire |
| 2020 | ECAI | An ASP Semantics for Constraints Involving Conditional Aggregates. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko |
| 2020 | ICLP | Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro |
| 2020 | IJCAI | Forgetting Auxiliary Atoms in Forks (Extended Abstract). | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Prez, Concepcin Vidal |
| 2020 | IJCAI | On the Splitting Property for Epistemic Logic Programs (Extended Abstract). | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro |
| 2020 | KR | A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko |
| 2020 | KR | Spatial Reasoning about String Loops and Holes in Temporal ASP. | Pedro Cabalar, Paulo E. Santos |
| 2020 | TIME | Temporal Modalities in Answer Set Programming (Invited Talk). | Pedro Cabalar |
| 2019 | EPIA | A Complete Planner for Temporal Answer Set Programming. | Pedro Cabalar, Manuel Rey, Concepcin Vidal |
| 2019 | JELIA | Lower Bound Founded Logic of Here-and-There. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
| 2019 | LPNMR | Towards Dynamic Answer Set Programming over Finite Traces. | Pedro Cabalar, Martn Diguez, Torsten Schaub |
| 2019 | LPNMR | Splitting Epistemic Logic Programs. | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro |
| 2019 | LPNMR | Founded World Views with Autoepistemic Equilibrium Logic. | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro |
| 2019 | LPNMR | telingo = ASP + Time. | Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub |
| 2018 | KR | Introducing Temporal Stable Models for Linear Dynamic Logic. | Anne-Gwenn Bosser, Pedro Cabalar, Martn Diguez, Torsten Schaub |
| 2017 | EPIA | On the Properties of Atom Definability and Well-Supportedness in Logic Programming. | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro, David Pearce, Agustn Valverde |
| 2017 | EPIA | haspie - A Musical Harmonisation Tool Based on ASP. | Pedro Cabalar, Rodrigo Martn |
| 2017 | LPNMR | Forgetting Auxiliary Atoms in Forks. | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Prez, Concepcin Vidal |
| 2017 | LPNMR | Multi-Context Systems: Dynamics and Evolution. | Pedro Cabalar, Stefania Costantini, Andrea Formisano |
| 2017 | LPNMR | Gelfond-Zhang Aggregates as Propositional Formulas. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
| 2016 | IJCAI | An ASP Semantics for Default Reasoning with Constraints. | Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub |
| 2015 | LPNMR | Stable Models for Temporal Theories - - Invited Talk -. | Pedro Cabalar |
| 2015 | LPNMR | Enablers and Inhibitors in Causal Justifications of Logic Programs. | Pedro Cabalar, Jorge Fandinno |
| 2014 | JELIA | A Free Logic for Stable Models with Partial Intensional Functions. | Pedro Cabalar, Luis Farias del Cerro, David Pearce, Agustn Valverde |
| 2014 | JELIA | A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. | Pedro Cabalar, Jorge Fandio, Michael Fink |
| 2014 | KR | Strong Equivalence of Non-Monotonic Temporal Theories. | Pedro Cabalar, Martn Diguez |
| 2012 | ICLP | Paving the Way for Temporal Grounding. | Felicidad Aguado, Pedro Cabalar, Martn Diguez, Gilberto Prez, Concepcin Vidal |
| 2011 | LOPSTR | Automata-Based Computation of Temporal Equilibrium Models. | Pedro Cabalar, Stphane Demri |
| 2011 | LPNMR | Loop Formulas for Splitable Temporal Logic Programs. | Felicidad Aguado, Pedro Cabalar, Gilberto Prez, Concepcin Vidal |
| 2011 | LPNMR | Temporal Equilibrium Logic. | Pedro Cabalar |
| 2011 | LPNMR | STeLP - A Tool for Temporal Answer Set Programming. | Pedro Cabalar, Martn Diguez |
| 2010 | JELIA | A Normal Form for Linear Temporal Equilibrium Logic. | Pedro Cabalar |
| 2009 | CSR | Well-Founded and Partial Stable Semantics Logical Aspects. | Pedro Cabalar, Sergei P. Odintsov, David Pearce |
| 2009 | LPNMR | A Revised Concept of Safety for General Answer Set Programs. | Pedro Cabalar, David Pearce, Agustn Valverde |
| 2008 | ICLP | Partial Functions and Equality in Answer Set Programming. | Pedro Cabalar |
| 2008 | JELIA | Strongly Equivalent Temporal Logic Programs. | Felicidad Aguado, Pedro Cabalar, Gilberto Prez, Concepcin Vidal |
| 2007 | ICLP | Minimal Logic Programs. | Pedro Cabalar, David Pearce, Agustn Valverde |
| 2007 | LPNMR | A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. | Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge |
| 2006 | ICLP | Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. | Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustn Valverde |
| 2006 | JELIA | On the Logic and Computation of Partial Equilibrium Models. | Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustn Valverde |
| 2006 | KR | Logical Foundations of Well-Founded Semantics. | Pedro Cabalar, Sergei P. Odintsov, David Pearce |
| 2005 | EPIA | Reducing Propositional Theories in Equilibrium Logic to Logic Programs. | Pedro Cabalar, David Pearce, Agustn Valverde |
| 2004 | ECAI | New Insights on the Intuitionistic Interpretation of Default Logic. | Pedro Cabalar, David Lorenzo |
| 2004 | JELIA | Logic Programs with Functions and Default Values. | Pedro Cabalar, David Lorenzo |
| 2002 | AAAI | A Three-Valued Characterization for Strong Equivalence of Logic Programs. | Pedro Cabalar |
| 2002 | ICLP | A Rewriting Method for Well-Founded Semantics with Explicit Negation. | Pedro Cabalar |
| 2000 | ECAI | Temporal Constraint Networks in Action. | Pedro Cabalar, Ramn P. Otero, Silvia Gmez Pose |