Discrete Event Simulation in an Environment for Temporal Expert Systems. - Ramón P. Otero; Alvaro Barreiro; Pedro Cabalar; David Lorenzo (EUROCAST, 1995)

Automatic Induction of DEVS Structures. - Ramón P. Otero; David Lorenzo; Pedro Cabalar (EUROCAST, 1995)

Introducing Planning in Discrete Event Systems. - Pedro Cabalar; Ramón P. Otero; Manuel Cabarcos; Alvaro Barreiro (EUROCAST, 1997)

Temporal Answer Sets. - Pedro Cabalar (APPIA-GULP-PRODE, 1999)

Temporal Constraint Networks in Action. - Pedro Cabalar; Ramón P. Otero; Silvia Gómez Pose (ECAI, 2000)

PAL: Pertinence Action Language - Pedro Cabalar; Manuel Cabarcos; Ramón P. Otero (CoRR, 2000)

Well Founded Semantics as Two dimensional Here and There. - Pedro Cabalar (Answer Set Programming, 2001)

A Three-Valued Characterization for Strong Equivalence of Logic Programs. - Pedro Cabalar (AAAI/IAAI, 2002)

A Rewriting Method for Well-Founded Semantics with Explicit Negation. - Pedro Cabalar (ICLP, 2002)

Alternative characterizations for strong equivalence of logic programs. - Pedro Cabalar (NMR, 2002)

New Insights on the Intuitionistic Interpretation of Default Logic. - Pedro Cabalar; David Lorenzo (ECAI, 2004)

Logic Programs with Functions and Default Values. - Pedro Cabalar; David Lorenzo (JELIA, 2004)

Reducing Propositional Theories in Equilibrium Logic to Logic Programs. - Pedro Cabalar; David Pearce 001; Agustín Valverde (Answer Set Programming, 2005)

Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. - Pedro Cabalar; Sergei P. Odintsov; David Pearce 001 (IBERAMIA-SBIA, 2006)

Strings and Holes: An Exercise on Spatial Reasoning. - Pedro Cabalar; Paulo E. Santos (IBERAMIA-SBIA, 2006)

Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. - Pedro Cabalar; Sergei P. Odintsov; David Pearce 001; Agustín Valverde (ICLP, 2006)

On the Logic and Computation of Partial Equilibrium Models. - Pedro Cabalar; Sergei P. Odintsov; David Pearce 001; Agustín Valverde (JELIA, 2006)

Logical Foundations of Well-Founded Semantics. - Pedro Cabalar; Sergei P. Odintsov; David Pearce 001 (KR, 2006)

Holes, Knots and Shapes: A Spatial Ontology of a Puzzle. - Paulo E. Santos; Pedro Cabalar (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2007)

Temporal Equilibrium Logic: A First Approach. - Pedro Cabalar; Gilberto Pérez Vega (EUROCAST, 2007)

Minimal Logic Programs. - Pedro Cabalar; David Pearce 001; Agustín Valverde (ICLP, 2007)

A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. - Pedro Cabalar; David Pearce 001; Panos Rondogiannis; William W. Wadge (LPNMR, 2007)

Partial equilibrium logic. - Pedro Cabalar; Sergei P. Odintsov; David Pearce 001; Agustín Valverde (Ann. Math. Artif. Intell., 2007)

Propositional theories are strongly equivalent to logic programs. - Pedro Cabalar; Paolo Ferraris (Theory Pract. Log. Program., 2007)

Partial Functions and Equality in Answer Set Programming. - Pedro Cabalar (ICLP, 2008)

Strongly Equivalent Temporal Logic Programs. - Felicidad Aguado; Pedro Cabalar; Gilberto Pérez 001; Concepción Vidal (JELIA, 2008)

The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology. - Paulo E. Santos; Pedro Cabalar (Spatial Cogn. Comput., 2008)

Well-Founded and Partial Stable Semantics Logical Aspects. - Pedro Cabalar; Sergei P. Odintsov; David Pearce 001 (CSR, 2009)

A Revised Concept of Safety for General Answer Set Programs. - Pedro Cabalar; David Pearce 001; Agustín Valverde (LPNMR, 2009)

A Normal Form for Linear Temporal Equilibrium Logic. - Pedro Cabalar (JELIA, 2010)

A Logical Charaterisation of Ordered Disjunction - Pedro Cabalar (CoRR, 2010)

Logic Programs and Causal Proofs. - Pedro Cabalar (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011)

Answer Set; Programming? - Pedro Cabalar (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Automata-Based Computation of Temporal Equilibrium Models. - Pedro Cabalar; Stéphane Demri (LOPSTR, 2011)

Loop Formulas for Splitable Temporal Logic Programs. - Felicidad Aguado; Pedro Cabalar; Gilberto Pérez 001; Concepción Vidal (LPNMR, 2011)

Temporal Equilibrium Logic. - Pedro Cabalar (Log-IC@LPNMR, 2011)

STeLP - A Tool for Temporal Answer Set Programming. - Pedro Cabalar; Martín Diéguez (LPNMR, 2011)

Formalising the Fisherman's Folly puzzle. - Pedro Cabalar; Paulo E. Santos (Artif. Intell., 2011)

A logical characterisation of ordered disjunction. - Pedro Cabalar (AI Commun., 2011)

Functional answer set programming. - Pedro Cabalar (Theory Pract. Log. Program., 2011)

Causal Logic Programming. - Pedro Cabalar (Correct Reasoning, 2012)

Paving the Way for Temporal Grounding. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Concepción Vidal (ICLP (Technical Communications), 2012)

An Investigation of Actions, Change and Space. - Paulo E. Santos; Pedro Cabalar (ICAPS, 2013)

An Algebra of Causal Chains. - Pedro Cabalar; Jorge Fandinno (CoRR, 2013)

Temporal equilibrium logic: a survey. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Concepción Vidal (J. Appl. Non Class. Logics, 2013)

Foreword. - Pedro Cabalar; Agustín Valverde (J. Appl. Non Class. Logics, 2013)

A Free Logic for Stable Models with Partial Intensional Functions. - Pedro Cabalar; Luis Fariñas del Cerro; David Pearce 001; Agustín Valverde (JELIA, 2014)

A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. - Pedro Cabalar; Jorge Fandiño; Michael Fink 001 (JELIA, 2014)

Strong Equivalence of Non-Monotonic Temporal Theories. - Pedro Cabalar; Martín Diéguez (KR, 2014)

Causal Graph Justifications of Logic Programs. - Pedro Cabalar; Jorge Fandinno; Michael Fink 001 (Theory Pract. Log. Program., 2014)

Explaining Preferences and Preferring Explanations. - Pedro Cabalar; Jorge Fandiño (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

Stable Models for Temporal Theories - - Invited Talk -. - Pedro Cabalar (LPNMR, 2015)

A denotational semantics for equilibrium logic. - Felicidad Aguado; Pedro Cabalar; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (Theory Pract. Log. Program., 2015)

An infinitary encoding of temporal equilibrium logic. - Pedro Cabalar; Martín Diéguez; Concepción Vidal (Theory Pract. Log. Program., 2015)

An ASP Semantics for Default Reasoning with Constraints. - Pedro Cabalar; Roland Kaminski; Max Ostrowski; Torsten Schaub (IJCAI, 2016)

A qualitative spatial representation of string loops as holes. - Pedro Cabalar; Paulo E. Santos (Artif. Intell., 2016)

Framing holes within a loop hierarchy. - Paulo E. Santos; Pedro Cabalar (Spatial Cogn. Comput., 2016)

Justifications for programs with disjunctive and causal-choice rules. - Pedro Cabalar; Jorge Fandinno (Theory Pract. Log. Program., 2016)

On the Properties of Atom Definability and Well-Supportedness in Logic Programming. - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro; David Pearce 001; Agustín Valverde (EPIA, 2017)

haspie - A Musical Harmonisation Tool Based on ASP. - Pedro Cabalar; Rodrigo Martín (EPIA, 2017)

Multi-Context Systems: Dynamics and Evolution. - Pedro Cabalar; Stefania Costantini; Andrea Formisano 001 (ASPOCP@LPNMR, 2017)

Verification for ASP denotational semantics: A case study using the PVS theorem prover. - Felicidad Aguado; Pablo Ascariz; Pedro Cabalar; Gilberto Pérez 001; Concepción Vidal (Log. J. IGPL, 2017)

Temporal Equilibrium Logic with past operators. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Concepción Vidal (J. Appl. Non Class. Logics, 2017)

A short biography of Luis Fariñas del Cerro. - Pedro Cabalar; Martín Diéguez; Andreas Herzig; David Pearce 001 (J. Appl. Non Class. Logics, 2017)

Stable reasoning. - Pedro Cabalar; David Pearce 001; Agustín Valverde (J. Appl. Non Class. Logics, 2017)

Temporal logic programs with variables. - Felicidad Aguado; Pedro Cabalar; Gilberto Pérez 001; Concepción Vidal; Martín Diéguez (Theory Pract. Log. Program., 2017)

Enablers and inhibitors in causal justifications of logic programs. - Pedro Cabalar; Jorge Fandinno (Theory Pract. Log. Program., 2017)

Solving a Spatial Puzzle Using Answer Set Programming Integrated with Markov Decision Process. - Thiago Freitas dos Santos; Paulo Santos 001; Leonardo Anjoletto Ferreira; Reinaldo A. C. Bianchi; Pedro Cabalar (BRACIS, 2018)

Introducing Temporal Stable Models for Linear Dynamic Logic. - Anne-Gwenn Bosser; Pedro Cabalar; Martín Diéguez; Torsten Schaub (KR, 2018)

Answer Set Programming from a Logical Point of View. - Pedro Cabalar; David Pearce 001; Agustín Valverde (Künstliche Intell., 2018)

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro; David Pearce 001 (Theory Pract. Log. Program., 2018)

Temporal Answer Set Programming on Finite Traces. - Pedro Cabalar; Roland Kaminski; Torsten Schaub; Anna Schuhmann (Theory Pract. Log. Program., 2018)

Temporal Logic Programs with Temporal Description Logic Axioms. - Pedro Cabalar; Torsten Schaub (Description Logic, Theory Combination, and All That, 2019)

Dynamic and Temporal Answer Set Programming on Linear Finite Traces. - Pedro Cabalar; Torsten Schaub (Datalog, 2019)

A Complete Planner for Temporal Answer Set Programming. - Pedro Cabalar; Manuel Rey; Concepción Vidal (EPIA (2), 2019)

Lower Bound Founded Logic of Here-and-There. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Sebastian Schellhorn (JELIA, 2019)

Towards Dynamic Answer Set Programming over Finite Traces. - Pedro Cabalar; Martín Diéguez; Torsten Schaub (LPNMR, 2019)

Founded World Views with Autoepistemic Equilibrium Logic. - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro (LPNMR, 2019)

telingo = ASP + Time. - Pedro Cabalar; Roland Kaminski; Philip Morkisch; Torsten Schaub (LPNMR, 2019)

Forgetting auxiliary atoms in forks. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (Artif. Intell., 2019)

Gelfond-Zhang aggregates as propositional formulas. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Sebastian Schellhorn (Artif. Intell., 2019)

Multi-context systems in dynamic environments. - Pedro Cabalar; Stefania Costantini; Giovanni De Gasperis; Andrea Formisano 001 (Ann. Math. Artif. Intell., 2019)

Equilibrium graphs. - Pedro Cabalar; Carlos Pérez; Gilberto Pérez 001 (Ann. Math. Artif. Intell., 2019)

A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; Brais Muñiz; Gilberto Pérez 001; Francisco Suárez (ICLP Technical Communications, 2019)

The knowledge of knots: an interdisciplinary literature review. - Paulo E. Santos; Pedro Cabalar; Roberto Casati (Spatial Cogn. Comput., 2019)

Revisiting Explicit Negation in Answer Set Programming. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (Theory Pract. Log. Program., 2019)

Explicit Negation in Linear-Dynamic Equilibrium Logic. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; Gilberto Pérez 001; Concepción Vidal (ECAI, 2020)

Implementing Dynamic Answer Set Programming over Finite Traces. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; François Laferrière (ECAI, 2020)

An ASP Semantics for Constraints Involving Conditional Aggregates. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Philipp Wanko (ECAI, 2020)

Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro (ICLP Workshops, 2020)

Forgetting Auxiliary Atoms in Forks (Extended Abstract). - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (IJCAI, 2020)

On the Splitting Property for Epistemic Logic Programs (Extended Abstract). - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro (IJCAI, 2020)

A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Philipp Wanko (KR, 2020)

Spatial Reasoning about String Loops and Holes in Temporal ASP. - Pedro Cabalar; Paulo E. Santos (KR, 2020)

Temporal Modalities in Answer Set Programming (Invited Talk). - Pedro Cabalar (TIME, 2020)

Autoepistemic answer set programming. - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro (Artif. Intell., 2020)

Implementing Dynamic Answer Set Programming. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; François Laferrière (CoRR, 2020)

Temporal Answer Set Programming. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Torsten Schaub; Anna Schuhmann; Concepción Vidal (CoRR, 2020)

A System for Explainable Answer Set Programming. - Pedro Cabalar; Jorge Fandinno; Brais Muñiz (ICLP Technical Communications, 2020)

Towards Metric Temporal Answer Set Programming. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; Anna Schuhmann (Theory Pract. Log. Program., 2020)

eclingo : A Solver for Epistemic Logic Programs. - Pedro Cabalar; Jorge Fandinno; Javier Garea; Javier Romero 003; Torsten Schaub (Theory Pract. Log. Program., 2020)

Modular Answer Set Programming as a Formal Specification Language. - Pedro Cabalar; Jorge Fandinno; Yuliya Lierler (Theory Pract. Log. Program., 2020)

Automata for Dynamic Answer Set Solving: Preliminary Report. - Pedro Cabalar; Martín Diéguez; Susana Hahn; Torsten Schaub (ICLP Workshops, 2021)

Temporal ASP: From Logical Foundations to Practical Use with telingo. - Pedro Cabalar (RW, 2021)

Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments"). - Pedro Cabalar; Stefania Costantini; Giovanni De Gasperis; Andrea Formisano 001 (CoRR, 2021)

Towards a Semantics for Hybrid ASP systems. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Philipp Wanko (CoRR, 2021)

Explainable Machine Larning for liver transplantation. - Pedro Cabalar; Brais Muñiz; Gilberto Pérez 001; Francisco Suárez (CoRR, 2021)

Representing and Solving Spatial Problems (Dagstuhl Seminar 21492). - Pedro Cabalar; Zoe Falomir; Paulo E. Santos; Thora Tenbrink (Dagstuhl Reports, 2021)

Editor's Note. - Amparo Alonso-Betanzos; Pedro Cabalar; Graçaliz Pereira Dimuro; Marcos García 001; José Hernández-Orallo; Raquel Hervás; Angeles Manjarés; Fernando Martínez-Plumed; Inmaculada Mora-Jiménez; Miquel Sànchez-Marrè (Int. J. Interact. Multim. Artif. Intell., 2021)

Splitting Epistemic Logic Programs. - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro (Theory Pract. Log. Program., 2021)

A MaxSAT Solver Based on Differential Evolution (Preliminary Report). - Manuel Framil; Pedro Cabalar; José Santos 003 (EPIA, 2022)

Metric Temporal Answer Set Programming over Timed Traces. - Pedro Cabalar; Martín Diéguez; Torsten Schaub; Anna Schuhmann (LPNMR, 2022)

A polynomial reduction of forks into logic programs. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (Artif. Intell., 2022)

Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles. - Thiago Freitas dos Santos; Paulo E. Santos; Leonardo Anjoletto Ferreira; Reinaldo A. C. Bianchi; Pedro Cabalar (Appl. Intell., 2022)

Past-present temporal programs over finite traces: a preliminary report. - Pedro Cabalar; Martín Diéguez; François Laferrière; Torsten Schaub (ICLP Workshops, 2023)

Explanation Graphs for Stable Models of Labelled Logic Programs. - Pedro Cabalar; Brais Muñiz (ICLP Workshops, 2023)

Deontic Equilibrium Logic with eXplicit Negation. - Pedro Cabalar; Agata Ciabattoni; Leendert van der Torre (JELIA, 2023)

Past-Present Temporal Programs over Finite Traces. - Pedro Cabalar; Martín Diéguez; François Laferrière; Torsten Schaub (JELIA, 2023)

Logic, Accountability and Design: Extended Abstract. - Pedro Cabalar; David Pearce 001 (JELIA, 2023)

Linear-Time Temporal Answer Set Programming. - Felicidad Aguado; Pedro Cabalar; Martín Diéguez; Gilberto Pérez 001; Torsten Schaub; Anna Schuhmann; Concepción Vidal (Theory Pract. Log. Program., 2023)

On the Semantics of Hybrid ASP Systems Based on Clingo. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Philipp Wanko (Algorithms, 2023)

Metric dynamic equilibrium logic. - Arvid Becker; Pedro Cabalar; Martín Diéguez; Luis Fariñas del Cerro; Torsten Schaub; Anna Schuhmann (J. Appl. Non Class. Logics, 2023)

Contracted Temporal Equilibrium Logic. - Pedro Cabalar; Thomas Eiter; Davide Soldà (KR, 2024)

Compiling Metric Temporal Answer Set Programming. - Arvid Becker; Pedro Cabalar; Martín Diéguez; Susana Hahn; Javier Romero 003; Torsten Schaub (LPNMR, 2024)

tExplain: Information Extraction with Explanations. - Pedro Cabalar; Adrian Dorsey; Jorge Fandinno; Yuliya Lierler; Brais Muñiz; Joel Sare (LPNMR, 2024)

A Fixpoint Characterisation of Temporal Equilibrium Logic. - Pedro Cabalar; Martín Diéguez; François Laferrière; Torsten Schaub; Igor Stéphan (LPNMR, 2024)

Model Explanation via Support Graphs. - Pedro Cabalar; Brais Muñiz (Theory Pract. Log. Program., 2024)

Introduction to the 40th International Conference On Logic Programming Special Issue. - Pedro Cabalar; Theresa Swift (Theory Pract. Log. Program., 2024)

Syntactic ASP forgetting with forks. - Felicidad Aguado; Pedro Cabalar; Jorge Fandinno; David Pearce 001; Gilberto Pérez 001; Concepción Vidal (Artif. Intell., 2024)

Metric Temporal Equilibrium Logic over Timed Traces. - Arvid Becker; Pedro Cabalar; Martín Diéguez; Torsten Schaub; Anna Schuhmann (Theory Pract. Log. Program., 2024)

Tackling Temporal Deontic Challenges with Equilibrium Logic. - Davide Soldà; Pedro Cabalar; Agata Ciabattoni; Emery A. Neufeld (AAMAS, 2025)

Representing and solving spatial problems. - Paulo E. Santos; Pedro Cabalar; Zoe Falomir; Thora Tenbrink (Spatial Cogn. Comput., 2025)

Strong Equivalence in Answer Set Programming with Constraints. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Philipp Wanko (CoRR, 2025)

Towards Constraint Temporal Answer Set Programming. - Pedro Cabalar; Martín Diéguez; François Olivier; Torsten Schaub; Igor Stéphan (CoRR, 2025)

Comparing Non-minimal Semantics for Disjunction in Answer Set Programming. - Felicidad Aguado; Pedro Cabalar; Brais Muñiz; Gilberto Pérez 001; Concepción Vidal (CoRR, 2025)