default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPedro Cabalar
Person information
- affiliation: University of A Coruña, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j42]Felicidad Aguado, Pedro Cabalar
, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal:
Syntactic ASP forgetting with forks. Artif. Intell. 326: 104033 (2024)- [j41]Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Metric Temporal Equilibrium Logic over Timed Traces. Theory Pract. Log. Program. 24(2): 425-452 (2024) - [c83]Pedro Cabalar, Thomas Eiter, Davide Soldà:
Contracted Temporal Equilibrium Logic. KR 2024 - [c82]Arvid Becker, Pedro Cabalar, Martín Diéguez, Susana Hahn, Javier Romero, Torsten Schaub:
Compiling Metric Temporal Answer Set Programming. LPNMR 2024: 15-29 - [c81]Pedro Cabalar, Adrian Dorsey, Jorge Fandinno, Yuliya Lierler, Brais Muñiz, Joel Sare:
tExplain: Information Extraction with Explanations. LPNMR 2024: 43-56 - [c80]Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub, Igor Stéphan:
A Fixpoint Characterisation of Temporal Equilibrium Logic. LPNMR 2024: 304-316 - [i35]Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann:
Metric Dynamic Equilibrium Logic. CoRR abs/2401.10781 (2024) - 2023
- [j40]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
On the Semantics of Hybrid ASP Systems Based on Clingo. Algorithms 16(4): 185 (2023) - [j39]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): 495-519 (2023) - [j38]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): 2-56 (2023) - [c79]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 - [c78]Pedro Cabalar, Brais Muñiz:
Explanation Graphs for Stable Models of Labelled Logic Programs. ICLP Workshops 2023 - [c77]Pedro Cabalar, David Pearce:
Logic, Accountability and Design: Extended Abstract. JELIA 2023: 65-72 - [c76]Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre:
Deontic Equilibrium Logic with eXplicit Negation. JELIA 2023: 498-514 - [c75]Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub:
Past-Present Temporal Programs over Finite Traces. JELIA 2023: 787-795 - [i34]Arvid Becker, Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Metric Temporal Equilibrium Logic over Timed Traces. CoRR abs/2304.14778 (2023) - [i33]Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub:
Past-present temporal programs over finite traces. CoRR abs/2307.12620 (2023) - [i32]Pedro Cabalar, Brais Muñiz:
Model Explanation via Support Graphs. CoRR abs/2310.01626 (2023) - 2022
- [j37]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: 103712 (2022) - [j36]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): 4488-4510 (2022) - [c74]Manuel Framil, Pedro Cabalar, José Santos:
A MaxSAT Solver Based on Differential Evolution (Preliminary Report). EPIA 2022: 676-687 - [c73]Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal:
Syntactic ASP Forgetting with Forks. LPNMR 2022: 3-15 - [c72]Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Metric Temporal Answer Set Programming over Timed Traces. LPNMR 2022: 117-130 - 2021
- [j35]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): 4-7 (2021) - [j34]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Splitting Epistemic Logic Programs. Theory Pract. Log. Program. 21(3): 296-316 (2021) - [c71]Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub:
Automata for Dynamic Answer Set Solving: Preliminary Report. ICLP Workshops 2021 - [c70]Pedro Cabalar:
Temporal ASP: From Logical Foundations to Practical Use with telingo. RW 2021: 94-114 - [i31]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 abs/2106.06780 (2021) - [i30]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
Towards a Semantics for Hybrid ASP systems. CoRR abs/2108.03061 (2021) - [i29]Pedro Cabalar, Martín Diéguez, Susana Hahn, Torsten Schaub:
Automata for dynamic answer set solving: Preliminary report. CoRR abs/2109.01782 (2021) - [i28]Pedro Cabalar, Brais Muñiz, Gilberto Pérez, Francisco Suárez:
Explainable Machine Larning for liver transplantation. CoRR abs/2109.13893 (2021) - [i27]Pedro Cabalar, Zoe Falomir, Paulo E. Santos, Thora Tenbrink:
Representing and Solving Spatial Problems (Dagstuhl Seminar 21492). Dagstuhl Reports 11(11): 1-55 (2021) - 2020
- [j33]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Autoepistemic answer set programming. Artif. Intell. 289: 103382 (2020) - [j32]Pedro Cabalar, Jorge Fandinno, Yuliya Lierler:
Modular Answer Set Programming as a Formal Specification Language. Theory Pract. Log. Program. 20(5): 767-782 (2020) - [j31]Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Towards Metric Temporal Answer Set Programming. Theory Pract. Log. Program. 20(5): 783-798 (2020) - [j30]Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub:
eclingo : A Solver for Epistemic Logic Programs. Theory Pract. Log. Program. 20(6): 834-847 (2020) - [c69]Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Pérez, Concepción Vidal:
Explicit Negation in Linear-Dynamic Equilibrium Logic. ECAI 2020: 569-576 - [c68]Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière:
Implementing Dynamic Answer Set Programming over Finite Traces. ECAI 2020: 656-663 - [c67]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
An ASP Semantics for Constraints Involving Conditional Aggregates. ECAI 2020: 664-671 - [c66]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. ICLP Workshops 2020 - [c65]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
On the Splitting Property for Epistemic Logic Programs (Extended Abstract). IJCAI 2020: 4721-4725 - [c64]Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal:
Forgetting Auxiliary Atoms in Forks (Extended Abstract). IJCAI 2020: 5005-5009 - [c63]Pedro Cabalar, Paulo E. Santos:
Spatial Reasoning about String Loops and Holes in Temporal ASP. KR 2020: 182-192 - [c62]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. KR 2020: 193-202 - [c61]Pedro Cabalar:
Temporal Modalities in Answer Set Programming (Invited Talk). TIME 2020: 2:1-2:5 - [c60]Pedro Cabalar, Jorge Fandinno, Brais Muñiz:
A System for Explainable Answer Set Programming. ICLP Technical Communications 2020: 124-136 - [i26]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
An ASP semantics for Constraints involving Conditional Aggregates. CoRR abs/2002.06911 (2020) - [i25]Pedro Cabalar, Martín Diéguez, Torsten Schaub, François Laferrière:
Implementing Dynamic Answer Set Programming. CoRR abs/2002.06916 (2020) - [i24]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko:
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. CoRR abs/2003.04176 (2020) - [i23]Pedro Cabalar, Jorge Fandinno, Yuliya Lierler:
Modular Answer Set Programming as a Formal Specification Language. CoRR abs/2008.02015 (2020) - [i22]Pedro Cabalar, Jorge Fandinno, Javier Garea, Javier Romero, Torsten Schaub:
eclingo: A solver for Epistemic Logic Programs. CoRR abs/2008.02018 (2020) - [i21]Pedro Cabalar, Martín Diéguez, Torsten Schaub, Anna Schuhmann:
Towards Metric Temporal Answer Set Programming. CoRR abs/2008.02038 (2020) - [i20]Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal:
Temporal Answer Set Programming. CoRR abs/2009.06544 (2020)
2010 – 2019
- 2019
- [j29]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn:
Gelfond-Zhang aggregates as propositional formulas. Artif. Intell. 274: 26-43 (2019) - [j28]Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal:
Forgetting auxiliary atoms in forks. Artif. Intell. 275: 575-601 (2019) - [j27]Pedro Cabalar, Carlos Pérez, Gilberto Pérez:
Equilibrium graphs. Ann. Math. Artif. Intell. 86(1-3): 3-19 (2019) - [j26]Pedro Cabalar, Stefania Costantini, Giovanni De Gasperis, Andrea Formisano:
Multi-context systems in dynamic environments. Ann. Math. Artif. Intell. 86(1-3): 87-120 (2019) - [j25]Paulo E. Santos, Pedro Cabalar, Roberto Casati:
The knowledge of knots: an interdisciplinary literature review. Spatial Cogn. Comput. 19(4): 334-358 (2019) - [j24]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): 908-924 (2019) - [c59]Pedro Cabalar, Torsten Schaub:
Temporal Logic Programs with Temporal Description Logic Axioms. Description Logic, Theory Combination, and All That 2019: 174-186 - [c58]Pedro Cabalar, Torsten Schaub:
Dynamic and Temporal Answer Set Programming on Linear Finite Traces. Datalog 2019: 3-6 - [c57]Pedro Cabalar, Manuel Rey, Concepción Vidal:
A Complete Planner for Temporal Answer Set Programming. EPIA (2) 2019: 520-525 - [c56]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn:
Lower Bound Founded Logic of Here-and-There. JELIA 2019: 509-525 - [c55]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Splitting Epistemic Logic Programs. LPNMR 2019: 120-133 - [c54]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Founded World Views with Autoepistemic Equilibrium Logic. LPNMR 2019: 134-147 - [c53]Pedro Cabalar, Martín Diéguez, Torsten Schaub:
Towards Dynamic Answer Set Programming over Finite Traces. LPNMR 2019: 148-162 - [c52]Pedro Cabalar, Roland Kaminski, Philip Morkisch, Torsten Schaub:
telingo = ASP + Time. LPNMR 2019: 256-269 - [c51]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: 266-272 - [i19]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Founded World Views with Autoepistemic Equilibrium Logic. CoRR abs/1902.07741 (2019) - [i18]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 abs/1903.03411 (2019) - [i17]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. CoRR abs/1905.10621 (2019) - [i16]Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal:
Revisiting Explicit Negation in Answer Set Programming. CoRR abs/1907.11467 (2019) - 2018
- [j23]Pedro Cabalar, David Pearce, Agustín Valverde:
Answer Set Programming from a Logical Point of View. Künstliche Intell. 32(2-3): 109-118 (2018) - [j22]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): 390-405 (2018) - [j21]Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann:
Temporal Answer Set Programming on Finite Traces. Theory Pract. Log. Program. 18(3-4): 406-420 (2018) - [c50]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: 528-533 - [c49]Anne-Gwenn Bosser, Pedro Cabalar, Martín Diéguez, Torsten Schaub:
Introducing Temporal Stable Models for Linear Dynamic Logic. KR 2018: 12-21 - [i15]Pedro Cabalar, Roland Kaminski, Torsten Schaub, Anna Schuhmann:
Temporal Answer Set Programming on Finite Traces. CoRR abs/1804.10227 (2018) - [i14]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce:
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. CoRR abs/1805.00660 (2018) - [i13]Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro:
Splitting Epistemic Logic Programs. CoRR abs/1812.08763 (2018) - 2017
- [j20]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): 195-213 (2017) - [j19]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): 153-160 (2017) - [j18]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): 161-177 (2017) - [j17]Pedro Cabalar, David Pearce, Agustín Valverde:
Stable reasoning. J. Appl. Non Class. Logics 27(3-4): 238-254 (2017) - [j16]Pedro Cabalar, Jorge Fandinno:
Enablers and inhibitors in causal justifications of logic programs. Theory Pract. Log. Program. 17(1): 49-74 (2017) - [j15]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): 226-243 (2017) - [c48]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: 624-636 - [c47]Pedro Cabalar, Rodrigo Martín:
haspie - A Musical Harmonisation Tool Based on ASP. EPIA 2017: 637-642 - [c46]Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal:
Forgetting Auxiliary Atoms in Forks. ASPOCP@LPNMR 2017 - [c45]Pedro Cabalar, Stefania Costantini, Andrea Formisano:
Multi-Context Systems: Dynamics and Evolution. ASPOCP@LPNMR 2017 - [c44]Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn:
Gelfond-Zhang Aggregates as Propositional Formulas. LPNMR 2017: 117-131 - 2016
- [j14]Pedro Cabalar, Paulo E. Santos:
A qualitative spatial representation of string loops as holes. Artif. Intell. 238: 1-10 (2016) - [j13]Paulo E. Santos, Pedro Cabalar:
Framing holes within a loop hierarchy. Spatial Cogn. Comput. 16(1): 54-95 (2016) - [j12]Pedro Cabalar, Jorge Fandinno:
Justifications for programs with disjunctive and causal-choice rules. Theory Pract. Log. Program. 16(5-6): 587-603 (2016) - [c43]Pedro Cabalar, Roland Kaminski, Max Ostrowski, Torsten Schaub:
An ASP Semantics for Default Reasoning with Constraints. IJCAI 2016: 1015-1021 - [i12]Pedro Cabalar, Jorge Fandinno:
Enablers and Inhibitors in Causal Justifications of Logic Programs. CoRR abs/1602.06897 (2016) - [i11]Pedro Cabalar, Jorge Fandinno:
Justifications for Programs with Disjunctive and Causal-choice Rules. CoRR abs/1608.00870 (2016) - [i10]Pedro Cabalar, Carlos Pérez, Gilberto Pérez:
Equilibrium Graphs. CoRR abs/1609.02010 (2016) - [i9]Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal:
Temporal Logic Programs with Variables. CoRR abs/1609.05811 (2016) - 2015
- [j11]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): 620-634 (2015) - [j10]Pedro Cabalar, Martín Diéguez, Concepción Vidal:
An infinitary encoding of temporal equilibrium logic. Theory Pract. Log. Program. 15(4-5): 666-680 (2015) - [c42]Pedro Cabalar, Jorge Fandiño:
Explaining Preferences and Preferring Explanations. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 218-232 - [c41]Pedro Cabalar:
Stable Models for Temporal Theories - - Invited Talk -. LPNMR 2015: 1-13 - [c40]Pedro Cabalar, Jorge Fandinno:
Enablers and Inhibitors in Causal Justifications of Logic Programs. LPNMR 2015: 199-212 - [i8]Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal:
A Denotational Semantics for Equilibrium Logic. CoRR abs/1507.06915 (2015) - 2014
- [j9]Pedro Cabalar, Jorge Fandinno, Michael Fink:
Causal Graph Justifications of Logic Programs. Theory Pract. Log. Program. 14(4-5): 603-618 (2014) - [c39]Pedro Cabalar, Jorge Fandiño, Michael Fink:
A Complexity Assessment for Queries Involving Sufficient and Necessary Causes. JELIA 2014: 297-310 - [c38]Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde:
A Free Logic for Stable Models with Partial Intensional Functions. JELIA 2014: 340-354 - [c37]Pedro Cabalar, Martín Diéguez:
Strong Equivalence of Non-Monotonic Temporal Theories. KR 2014 - [i7]Pedro Cabalar, Jorge Fandinno, Michael Fink:
Causal Graph Justifications of Logic Programs. CoRR abs/1409.7281 (2014) - 2013
- [j8]Pedro Cabalar, Agustín Valverde:
Foreword. J. Appl. Non Class. Logics 23(1-2): 1 (2013) - [j7]Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal:
Temporal equilibrium logic: a survey. J. Appl. Non Class. Logics 23(1-2): 2-24 (2013) - [c36]Paulo E. Santos, Pedro Cabalar:
An Investigation of Actions, Change and Space. ICAPS 2013 - [e1]Pedro Cabalar, Tran Cao Son:
Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings. Lecture Notes in Computer Science 8148, Springer 2013, ISBN 978-3-642-40563-1 [contents] - [i6]Pedro Cabalar, Jorge Fandinno:
An Algebra of Causal Chains. CoRR abs/1312.6134 (2013) - 2012
- [c35]Pedro Cabalar:
Causal Logic Programming. Correct Reasoning 2012: 102-116 - [c34]Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal:
Paving the Way for Temporal Grounding. ICLP (Technical Communications) 2012: 290-300 - 2011
- [j6]Pedro Cabalar, Paulo E. Santos:
Formalising the Fisherman's Folly puzzle. Artif. Intell. 175(1): 346-377 (2011) - [j5]Pedro Cabalar:
A logical characterisation of ordered disjunction. AI Commun. 24(2): 165-175 (2011) - [j4]Pedro Cabalar:
Functional answer set programming. Theory Pract. Log. Program. 11(2-3): 203-233 (2011) - [c33]Pedro Cabalar:
Logic Programs and Causal Proofs. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [c32]Pedro Cabalar:
Answer Set; Programming? Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 334-343 - [c31]Pedro Cabalar, Stéphane Demri:
Automata-Based Computation of Temporal Equilibrium Models. LOPSTR 2011: 57-72 - [c30]Pedro Cabalar:
Temporal Equilibrium Logic. Log-IC@LPNMR 2011: 3 - [c29]Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal:
Loop Formulas for Splitable Temporal Logic Programs. LPNMR 2011: 80-92 - [c28]Pedro Cabalar, Martín Diéguez:
STeLP - A Tool for Temporal Answer Set Programming. LPNMR 2011: 370-375 - 2010
- [c27]Pedro Cabalar:
A Normal Form for Linear Temporal Equilibrium Logic. JELIA 2010: 64-76 - [i5]Pedro Cabalar:
Functional Answer Set Programming. CoRR abs/1006.3678 (2010) - [i4]Pedro Cabalar:
A Logical Charaterisation of Ordered Disjunction. CoRR abs/1011.4833 (2010)
2000 – 2009
- 2009
- [c26]Pedro Cabalar, Sergei P. Odintsov, David Pearce:
Well-Founded and Partial Stable Semantics Logical Aspects. CSR 2009: 1-11 - [c25]Pedro Cabalar, David Pearce, Agustín Valverde:
A Revised Concept of Safety for General Answer Set Programs. LPNMR 2009: 58-70 - 2008
- [j3]Paulo E. Santos, Pedro Cabalar:
The Space within Fisherman's Folly: Playing with a Puzzle in Mereotopology. Spatial Cogn. Comput. 8(1-2): 47-64 (2008) - [c24]Pedro Cabalar:
Partial Functions and Equality in Answer Set Programming. ICLP 2008: 392-406 - [c23]Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal:
Strongly Equivalent Temporal Logic Programs. JELIA 2008: 8-20 - 2007
- [j2]Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde:
Partial equilibrium logic. Ann. Math. Artif. Intell. 50(3-4): 305-331 (2007) - [j1]Pedro Cabalar, Paolo Ferraris:
Propositional theories are strongly equivalent to logic programs. Theory Pract. Log. Program. 7(6): 745-759 (2007) - [c22]Paulo E. Santos, Pedro Cabalar:
Holes, Knots and Shapes: A Spatial Ontology of a Puzzle. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2007: 144-149 - [c21]Pedro Cabalar, Gilberto Pérez Vega:
Temporal Equilibrium Logic: A First Approach. EUROCAST 2007: 241-248 - [c20]Pedro Cabalar, David Pearce, Agustín Valverde:
Minimal Logic Programs. ICLP 2007: 104-118 - [c19]Pedro Cabalar, David Pearce, Panos Rondogiannis, William W. Wadge:
A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation. LPNMR 2007: 44-57 - [i3]Pedro Cabalar, Paolo Ferraris:
Propositional theories are strongly equivalent to logic programs. CoRR abs/cs/0701095 (2007) - 2006
- [c18]Pedro Cabalar, Paulo E. Santos:
Strings and Holes: An Exercise on Spatial Reasoning. IBERAMIA-SBIA 2006: 419-429 - [c17]Pedro Cabalar, Sergei P. Odintsov, David Pearce:
Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs. IBERAMIA-SBIA 2006: 592-601 - [c16]Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde:
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic. ICLP 2006: 346-360 - [c15]Pedro Cabalar, Sergei P. Odintsov, David Pearce, Agustín Valverde:
On the Logic and Computation of Partial Equilibrium Models. JELIA 2006: 82-94 - [c14]Pedro Cabalar, Sergei P. Odintsov, David Pearce:
Logical Foundations of Well-Founded Semantics. KR 2006: 25-35 - 2005
- [c13]Pedro Cabalar, David Pearce, Agustín Valverde:
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. Answer Set Programming 2005 - [c12]Pedro Cabalar, David Pearce, Agustín Valverde:
Reducing Propositional Theories in Equilibrium Logic to Logic Programs. EPIA 2005: 4-17 - 2004
- [c11]Pedro Cabalar, David Lorenzo:
New Insights on the Intuitionistic Interpretation of Default Logic. ECAI 2004: 798-802 - [c10]Pedro Cabalar, David Lorenzo:
Logic Programs with Functions and Default Values. JELIA 2004: 294-306 - 2002
- [c9]Pedro Cabalar:
A Three-Valued Characterization for Strong Equivalence of Logic Programs. AAAI/IAAI 2002: 106-111 - [c8]Pedro Cabalar:
A Rewriting Method for Well-Founded Semantics with Explicit Negation. ICLP 2002: 378-392 - [c7]Pedro Cabalar:
Alternative characterizations for strong equivalence of logic programs. NMR 2002: 229-237 - [i2]Pedro Cabalar:
Alternative Characterizations for Strong Equivalence of Logic Programs. CoRR cs.AI/0207032 (2002) - 2001
- [c6]Pedro Cabalar:
Well Founded Semantics as Two dimensional Here and There. Answer Set Programming 2001 - 2000
- [c5]Pedro Cabalar, Ramón P. Otero, Silvia Gómez Pose:
Temporal Constraint Networks in Action. ECAI 2000: 543-547 - [i1]Pedro Cabalar, Manuel Cabarcos, Ramón P. Otero:
PAL: Pertinence Action Language. CoRR cs.AI/0003048 (2000)
1990 – 1999
- 1999
- [c4]Pedro Cabalar:
Temporal Answer Sets. APPIA-GULP-PRODE 1999: 351-366 - 1997
- [c3]Pedro Cabalar, Ramón P. Otero, Manuel Cabarcos, Alvaro Barreiro:
Introducing Planning in Discrete Event Systems. EUROCAST 1997: 146-159 - 1995
- [c2]Ramón P. Otero, Alvaro Barreiro, Pedro Cabalar, David Lorenzo:
Discrete Event Simulation in an Environment for Temporal Expert Systems. EUROCAST 1995: 271-282 - [c1]Ramón P. Otero, David Lorenzo, Pedro Cabalar:
Automatic Induction of DEVS Structures. EUROCAST 1995: 305-313
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 20:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
