Pedro Cabalar - RankMe

176 papers A* 10A 6B 32C 2Misc 5Journal 89Unranked 32

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming. CoRR Pedro Cabalar, Martín Diéguez, David Fernández-Duque, François Laferrière, Torsten Schaub, Igor Stéphan
2026	J	`jnl`	FLINGO - Instilling ASP Expressiveness into Linear Integer Constraints. CoRR Jorge Fandinno, Pedro Cabalar, Philipp Wanko, Torsten Schaub
2026	J	`jnl`	Implementing Metric Temporal Answer Set Programming. CoRR Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub
2025	J	`jnl`	Comparing Non-Minimal Semantics for Disjunction in Answer Set Programming. Theory Pract. Log. Program. Felicidad Aguado, Pedro Cabalar, Brais Muñiz, Gilberto Pérez, Concepción Vidal
2025	J	`jnl`	Comparing Non-minimal Semantics for Disjunction in Answer Set Programming. CoRR Felicidad Aguado, Pedro Cabalar, Brais Muñiz, Gilberto Pérez, Concepción Vidal
2025	J	`jnl`	Compiling Metric Temporal Answer Set Programming. CoRR Arvid Becker, Pedro Cabalar, Martín Diéguez, Javier Romero, Susana Hahn, Torsten Schaub
2025	B	`ed.`	Proceedings 40th International Conference on Logic Programming, ICLP 2024, University of Texas at Dallas, Dallas Texas, USA, October 14-17 2024. ICLP Pedro Cabalar, Francesco Fabiano, Martin Gebser, Gopal Gupta, Theresa Swift
2025	J	`jnl`	Representing and solving spatial problems. Spatial Cogn. Comput. Paulo E. Santos, Pedro Cabalar, Zoe Falomir, Thora Tenbrink
2025	J	`jnl`	Strong Equivalence in Answer Set Programming with Constraints. CoRR Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2025	A	`conf`	Tackling Temporal Deontic Challenges with Equilibrium Logic. AAMAS Davide Soldà, Pedro Cabalar, Agata Ciabattoni, Emery A. Neufeld
2025	J	`jnl`	Towards Constraint Temporal Answer Set Programming. CoRR Pedro Cabalar, Martín Diéguez, François Olivier, Torsten Schaub, Igor Stéphan
2025	J	`jnl`	Towards Constraint Temporal Answer Set Programming. Theory Pract. Log. Program. Pedro Cabalar, Martín Diéguez, François Olivier, Torsten Schaub, Igor Stéphan
2025	—	`conf`	deolingo: Extending Answer Set Programming with Deontic Reasoning. DEON Pedro Cabalar, Ovidio Manteiga
2024	B	`conf`	A Fixpoint Characterisation of Temporal Equilibrium Logic. LPNMR Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub, Igor Stéphan
2024	B	`conf`	Compiling Metric Temporal Answer Set Programming. LPNMR Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub
2024	A*	`conf`	Contracted Temporal Equilibrium Logic. KR Pedro Cabalar, Thomas Eiter, Davide Soldà
2024	J	`jnl`	Introduction to the 40 Theory Pract. Log. Program. Pedro Cabalar, Theresa Swift
2024	J	`jnl`	Metric Dynamic Equilibrium Logic. CoRR Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
2024	J	`jnl`	Metric Temporal Equilibrium Logic over Timed Traces. Theory Pract. Log. Program. Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
2024	J	`jnl`	Model Explanation via Support Graphs. Theory Pract. Log. Program. Pedro Cabalar, Brais Muñiz
2024	J	`jnl`	Syntactic ASP forgetting with forks. Artif. Intell. Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2024	B	`conf`	tExplain: Information Extraction with Explanations. LPNMR Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muñiz, Joel Sare
2023	B	`conf`	Deontic Equilibrium Logic with eXplicit Negation. JELIA Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre
2023	—	`conf`	Explanation Graphs for Stable Models of Labelled Logic Programs. ICLP Workshops Pedro Cabalar, Brais Muñiz
2023	J	`jnl`	Linear-Time Temporal Answer Set Programming. Theory Pract. Log. Program. Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
2023	B	`conf`	Logic, Accountability and Design: Extended Abstract. JELIA Pedro Cabalar, David Pearce
2023	J	`jnl`	Metric Temporal Equilibrium Logic over Timed Traces. CoRR Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
2023	J	`jnl`	Metric dynamic equilibrium logic. J. Appl. Non Class. Logics Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
2023	J	`jnl`	Model Explanation via Support Graphs. CoRR Pedro Cabalar, Brais Muñiz
2023	J	`jnl`	On the Semantics of Hybrid ASP Systems Based on Clingo. Algorithms Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2023	B	`conf`	Past-Present Temporal Programs over Finite Traces. JELIA Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub
2023	J	`jnl`	Past-present temporal programs over finite traces. CoRR Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub
2023	—	`conf`	Past-present temporal programs over finite traces: a preliminary report. ICLP Workshops Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub
2022	Misc	`conf`	A MaxSAT Solver Based on Differential Evolution (Preliminary Report). EPIA Manuel Framil, Pedro Cabalar, José Santos
2022	J	`jnl`	A polynomial reduction of forks into logic programs. Artif. Intell. Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2022	J	`jnl`	Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles. Appl. Intell. Thiago Freitas dos Santos, Paulo E. Santos, Leonardo Anjoletto Ferreira, Reinaldo A. C. Bianchi, Pedro Cabalar
2022	B	`conf`	Metric Temporal Answer Set Programming over Timed Traces. LPNMR Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
2022	B	`conf`	Syntactic ASP Forgetting with Forks. LPNMR Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2021	—	`conf`	Automata for Dynamic Answer Set Solving: Preliminary Report. ICLP Workshops Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub
2021	J	`jnl`	Automata for dynamic answer set solving: Preliminary report. CoRR Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub
2021	J	`jnl`	Editor's Note. Int. J. Interact. Multim. Artif. Intell. 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è
2021	J	`jnl`	Explainable Machine Larning for liver transplantation. CoRR Pedro Cabalar, Brais Muñiz, Gilberto Pérez, Francisco Suárez
2021	J	`jnl`	Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments"). CoRR Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano
2021	J	`jnl`	Representing and Solving Spatial Problems (Dagstuhl Seminar 21492). Dagstuhl Reports Pedro Cabalar, Zoe Falomir, Paulo E. Santos, Thora Tenbrink
2021	J	`jnl`	Splitting Epistemic Logic Programs. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2021	—	`conf`	Temporal ASP: From Logical Foundations to Practical Use with telingo. RW Pedro Cabalar
2021	J	`jnl`	Towards a Semantics for Hybrid ASP systems. CoRR Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020	—	`conf`	A System for Explainable Answer Set Programming. ICLP Technical Communications Pedro Cabalar, Jorge Fandinno, Brais Muñiz
2020	A*	`conf`	A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. KR Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020	J	`jnl`	A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. CoRR Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020	A	`conf`	An ASP Semantics for Constraints Involving Conditional Aggregates. ECAI Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020	J	`jnl`	An ASP semantics for Constraints involving Conditional Aggregates. CoRR Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020	J	`jnl`	Autoepistemic answer set programming. Artif. Intell. Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2020	—	`conf`	Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. ICLP Workshops Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2020	A	`conf`	Explicit Negation in Linear-Dynamic Equilibrium Logic. ECAI Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Pérez, Concepción Vidal
2020	A*	`conf`	Forgetting Auxiliary Atoms in Forks (Extended Abstract). IJCAI Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2020	A	`conf`	Implementing Dynamic Answer Set Programming over Finite Traces. ECAI Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière
2020	J	`jnl`	Implementing Dynamic Answer Set Programming. CoRR Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière
2020	J	`jnl`	Modular Answer Set Programming as a Formal Specification Language. CoRR Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
2020	J	`jnl`	Modular Answer Set Programming as a Formal Specification Language. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno, Yuliya Lierler
2020	A*	`conf`	On the Splitting Property for Epistemic Logic Programs (Extended Abstract). IJCAI Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2020	A*	`conf`	Spatial Reasoning about String Loops and Holes in Temporal ASP. KR Pedro Cabalar, Paulo E. Santos
2020	J	`jnl`	Temporal Answer Set Programming. CoRR Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
2020	C	`conf`	Temporal Modalities in Answer Set Programming (Invited Talk). TIME Pedro Cabalar
2020	J	`jnl`	Towards Metric Temporal Answer Set Programming. CoRR Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
2020	J	`jnl`	Towards Metric Temporal Answer Set Programming. Theory Pract. Log. Program. Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann
2020	J	`jnl`	eclingo : A Solver for Epistemic Logic Programs. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub
2020	J	`jnl`	eclingo: A solver for Epistemic Logic Programs. CoRR Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub
2019	—	`conf`	A Complete Planner for Temporal Answer Set Programming. EPIA (2) Pedro Cabalar, Manuel Rey, Concepción Vidal
2019	—	`conf`	A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation. ICLP Technical Communications Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Brais Muñiz, Gilberto Pérez, Francisco Suárez
2019	J	`jnl`	Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. CoRR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2019	—	`conf`	Dynamic and Temporal Answer Set Programming on Linear Finite Traces. Datalog Pedro Cabalar, Torsten Schaub
2019	J	`jnl`	Equilibrium graphs. Ann. Math. Artif. Intell. Pedro Cabalar, Carlos Pérez, Gilberto Pérez
2019	J	`jnl`	Forgetting auxiliary atoms in forks. Artif. Intell. Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2019	B	`conf`	Founded World Views with Autoepistemic Equilibrium Logic. LPNMR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2019	J	`jnl`	Founded World Views with Autoepistemic Equilibrium Logic. CoRR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2019	J	`jnl`	Gelfond-Zhang aggregates as propositional formulas. Artif. Intell. Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
2019	J	`jnl`	Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles. CoRR Thiago Freitas dos Santos, Paulo E. Santos, Leonardo Anjoletto Ferreira, Reinaldo A. C. Bianchi, Pedro Cabalar
2019	B	`conf`	Lower Bound Founded Logic of Here-and-There. JELIA Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
2019	J	`jnl`	Multi-context systems in dynamic environments. Ann. Math. Artif. Intell. Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano
2019	J	`jnl`	Revisiting Explicit Negation in Answer Set Programming. CoRR Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2019	J	`jnl`	Revisiting Explicit Negation in Answer Set Programming. Theory Pract. Log. Program. Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2019	B	`conf`	Splitting Epistemic Logic Programs. LPNMR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2019	—	`conf`	Temporal Logic Programs with Temporal Description Logic Axioms. Description Logic, Theory Combination, and All That Pedro Cabalar, Torsten Schaub
2019	J	`jnl`	The knowledge of knots: an interdisciplinary literature review. Spatial Cogn. Comput. Paulo E. Santos, Pedro Cabalar, Roberto Casati
2019	B	`conf`	Towards Dynamic Answer Set Programming over Finite Traces. LPNMR Pedro Cabalar, Martín Diéguez, Torsten Schaub
2019	B	`conf`	telingo = ASP + Time. LPNMR Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub
2018	J	`jnl`	Answer Set Programming from a Logical Point of View. Künstliche Intell. Pedro Cabalar, David Pearce, Agustín Valverde
2018	J	`jnl`	Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. CoRR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
2018	J	`jnl`	Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
2018	A*	`conf`	Introducing Temporal Stable Models for Linear Dynamic Logic. KR Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub
2018	—	`conf`	Solving a Spatial Puzzle Using Answer Set Programming Integrated with Markov Decision Process. BRACIS Thiago Freitas dos Santos, Paulo Santos, Leonardo Anjoletto Ferreira, Reinaldo A. C. Bianchi, Pedro Cabalar
2018	J	`jnl`	Splitting Epistemic Logic Programs. CoRR Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
2018	J	`jnl`	Temporal Answer Set Programming on Finite Traces. CoRR Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
2018	J	`jnl`	Temporal Answer Set Programming on Finite Traces. Theory Pract. Log. Program. Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann
2017	J	`jnl`	A short biography of Luis Fariñas del Cerro. J. Appl. Non Class. Logics Pedro Cabalar, Martín Diéguez, Andreas Herzig, David Pearce
2017	J	`jnl`	Enablers and inhibitors in causal justifications of logic programs. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno
2017	—	`conf`	Forgetting Auxiliary Atoms in Forks. ASPOCP@LPNMR Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
2017	B	`conf`	Gelfond-Zhang Aggregates as Propositional Formulas. LPNMR Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
2017	—	`conf`	Multi-Context Systems: Dynamics and Evolution. ASPOCP@LPNMR Pedro Cabalar, Stefania Costantini, Andrea Formisano
2017	Misc	`conf`	On the Properties of Atom Definability and Well-Supportedness in Logic Programming. EPIA Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2017	J	`jnl`	Stable reasoning. J. Appl. Non Class. Logics Pedro Cabalar, David Pearce, Agustín Valverde
2017	J	`jnl`	Temporal Equilibrium Logic with past operators. J. Appl. Non Class. Logics Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
2017	J	`jnl`	Temporal logic programs with variables. Theory Pract. Log. Program. Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez
2017	J	`jnl`	Verification for ASP denotational semantics: A case study using the PVS theorem prover. Log. J. IGPL Felicidad Aguado, Pablo Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
2017	Misc	`conf`	haspie - A Musical Harmonisation Tool Based on ASP. EPIA Pedro Cabalar, Rodrigo Martín
2016	J	`jnl`	A qualitative spatial representation of string loops as holes. Artif. Intell. Pedro Cabalar, Paulo E. Santos
2016	A*	`conf`	An ASP Semantics for Default Reasoning with Constraints. IJCAI Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub
2016	J	`jnl`	Enablers and Inhibitors in Causal Justifications of Logic Programs. CoRR Pedro Cabalar, Jorge Fandinno
2016	J	`jnl`	Equilibrium Graphs. CoRR Pedro Cabalar, Carlos Pérez, Gilberto Pérez
2016	J	`jnl`	Framing holes within a loop hierarchy. Spatial Cogn. Comput. Paulo E. Santos, Pedro Cabalar
2016	J	`jnl`	Justifications for Programs with Disjunctive and Causal-choice Rules. CoRR Pedro Cabalar, Jorge Fandinno
2016	J	`jnl`	Justifications for programs with disjunctive and causal-choice rules. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno
2016	J	`jnl`	Temporal Logic Programs with Variables. CoRR Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
2015	J	`jnl`	A Denotational Semantics for Equilibrium Logic. CoRR Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
2015	J	`jnl`	A denotational semantics for equilibrium logic. Theory Pract. Log. Program. Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
2015	J	`jnl`	An infinitary encoding of temporal equilibrium logic. Theory Pract. Log. Program. Pedro Cabalar, Martín Diéguez, Concepción Vidal
2015	B	`conf`	Enablers and Inhibitors in Causal Justifications of Logic Programs. LPNMR Pedro Cabalar, Jorge Fandinno
2015	—	`conf`	Explaining Preferences and Preferring Explanations. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Pedro Cabalar, Jorge Fandiño
2015	B	`conf`	Stable Models for Temporal Theories - - Invited Talk -. LPNMR Pedro Cabalar
2014	B	`conf`	A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. JELIA Pedro Cabalar, Jorge Fandiño, Michael Fink
2014	B	`conf`	A Free Logic for Stable Models with Partial Intensional Functions. JELIA Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
2014	J	`jnl`	Causal Graph Justifications of Logic Programs. CoRR Pedro Cabalar, Jorge Fandinno, Michael Fink
2014	J	`jnl`	Causal Graph Justifications of Logic Programs. Theory Pract. Log. Program. Pedro Cabalar, Jorge Fandinno, Michael Fink
2014	A*	`conf`	Strong Equivalence of Non-Monotonic Temporal Theories. KR Pedro Cabalar, Martín Diéguez
2013	J	`jnl`	An Algebra of Causal Chains. CoRR Pedro Cabalar, Jorge Fandinno
2013	A*	`conf`	An Investigation of Actions, Change and Space. ICAPS Paulo E. Santos, Pedro Cabalar
2013	J	`jnl`	Foreword. J. Appl. Non Class. Logics Pedro Cabalar, Agustín Valverde
2013	B	`ed.`	Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings LPNMR Pedro Cabalar, Tran Cao Son
2013	J	`jnl`	Temporal equilibrium logic: a survey. J. Appl. Non Class. Logics Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
2012	—	`conf`	Causal Logic Programming. Correct Reasoning Pedro Cabalar
2012	—	`conf`	Paving the Way for Temporal Grounding. ICLP (Technical Communications) Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
2011	J	`jnl`	A logical characterisation of ordered disjunction. AI Commun. Pedro Cabalar
2011	—	`conf`	Answer Set; Programming? Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Pedro Cabalar
2011	C	`conf`	Automata-Based Computation of Temporal Equilibrium Models. LOPSTR Pedro Cabalar, Stéphane Demri
2011	J	`jnl`	Formalising the Fisherman's Folly puzzle. Artif. Intell. Pedro Cabalar, Paulo E. Santos
2011	J	`jnl`	Functional answer set programming. Theory Pract. Log. Program. Pedro Cabalar
2011	—	`conf`	Logic Programs and Causal Proofs. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Pedro Cabalar
2011	B	`conf`	Loop Formulas for Splitable Temporal Logic Programs. LPNMR Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
2011	B	`conf`	STeLP - A Tool for Temporal Answer Set Programming. LPNMR Pedro Cabalar, Martín Diéguez
2011	—	`conf`	Temporal Equilibrium Logic. Log-IC@LPNMR Pedro Cabalar
2010	J	`jnl`	A Logical Charaterisation of Ordered Disjunction CoRR Pedro Cabalar
2010	B	`conf`	A Normal Form for Linear Temporal Equilibrium Logic. JELIA Pedro Cabalar
2010	J	`jnl`	Functional Answer Set Programming CoRR Pedro Cabalar
2009	B	`conf`	A Revised Concept of Safety for General Answer Set Programs. LPNMR Pedro Cabalar, David Pearce, Agustín Valverde
2009	Misc	`conf`	Well-Founded and Partial Stable Semantics Logical Aspects. CSR Pedro Cabalar, Sergei P. Odintsov, David Pearce
2008	B	`conf`	Partial Functions and Equality in Answer Set Programming. ICLP Pedro Cabalar
2008	B	`conf`	Strongly Equivalent Temporal Logic Programs. JELIA Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
2008	J	`jnl`	The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology. Spatial Cogn. Comput. Paulo E. Santos, Pedro Cabalar
2007	B	`conf`	A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge
2007	—	`conf`	Holes, Knots and Shapes: A Spatial Ontology of a Puzzle. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Paulo E. Santos, Pedro Cabalar
2007	B	`conf`	Minimal Logic Programs. ICLP Pedro Cabalar, David Pearce, Agustín Valverde
2007	J	`jnl`	Partial equilibrium logic. Ann. Math. Artif. Intell. Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
2007	J	`jnl`	Propositional theories are strongly equivalent to logic programs CoRR Pedro Cabalar, Paolo Ferraris
2007	J	`jnl`	Propositional theories are strongly equivalent to logic programs. Theory Pract. Log. Program. Pedro Cabalar, Paolo Ferraris
2007	—	`conf`	Temporal Equilibrium Logic: A First Approach. EUROCAST Pedro Cabalar, Gilberto Pérez Vega
2006	B	`conf`	Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. ICLP Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
2006	A*	`conf`	Logical Foundations of Well-Founded Semantics. KR Pedro Cabalar, Sergei P. Odintsov, David Pearce
2006	B	`conf`	On the Logic and Computation of Partial Equilibrium Models. JELIA Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde
2006	—	`conf`	Strings and Holes: An Exercise on Spatial Reasoning. IBERAMIA-SBIA Pedro Cabalar, Paulo E. Santos
2006	—	`conf`	Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. IBERAMIA-SBIA Pedro Cabalar, Sergei P. Odintsov, David Pearce
2005	—	`conf`	Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming Pedro Cabalar, David Pearce, Agustín Valverde
2005	Misc	`conf`	Reducing Propositional Theories in Equilibrium Logic to Logic Programs. EPIA Pedro Cabalar, David Pearce, Agustín Valverde
2004	B	`conf`	Logic Programs with Functions and Default Values. JELIA Pedro Cabalar, David Lorenzo
2004	A	`conf`	New Insights on the Intuitionistic Interpretation of Default Logic. ECAI Pedro Cabalar, David Lorenzo
2002	B	`conf`	A Rewriting Method for Well-Founded Semantics with Explicit Negation. ICLP Pedro Cabalar
2002	—	`conf`	A Three-Valued Characterization for Strong Equivalence of Logic Programs. AAAI/IAAI Pedro Cabalar
2002	J	`jnl`	Alternative Characterizations for Strong Equivalence of Logic Programs CoRR Pedro Cabalar
2002	—	`conf`	Alternative characterizations for strong equivalence of logic programs. NMR Pedro Cabalar
2001	—	`conf`	Well Founded Semantics as Two dimensional Here and There. Answer Set Programming Pedro Cabalar
2000	J	`jnl`	PAL: Pertinence Action Language CoRR Pedro Cabalar, Manuel Cabarcos, Ramón P. Otero
2000	A	`conf`	Temporal Constraint Networks in Action. ECAI Pedro Cabalar, Ramón P. Otero, Silvia Gómez Pose
1999	—	`conf`	Temporal Answer Sets. APPIA-GULP-PRODE Pedro Cabalar
1997	—	`conf`	Introducing Planning in Discrete Event Systems. EUROCAST Pedro Cabalar, Ramón P. Otero, Manuel Cabarcos, Alvaro Barreiro
1995	—	`conf`	Automatic Induction of DEVS Structures. EUROCAST Ramón P. Otero, David Lorenzo, Pedro Cabalar
1995	—	`conf`	Discrete Event Simulation in an Environment for Temporal Expert Systems. EUROCAST Ramón P. Otero, Alvaro Barreiro, Pedro Cabalar, David Lorenzo