Pedro Cabalar
Orcid: 0000-0001-7440-0953Affiliations:
- University of A Coruña, Spain
According to our database1,
Pedro Cabalar
authored at least 129 papers
between 1995 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dc.fi.udc.es
On csauthors.net:
Bibliography
2024
Theory Pract. Log. Program., March, 2024
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023
2022
Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles.
Appl. Intell., 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the Progress in Artificial Intelligence, 2022
2021
Dagstuhl Reports, 2021
Multi-Context Systems: Dynamics and Evolution (Pre-Print of "Multi-context systems in dynamic environments").
CoRR, 2021
Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2021
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021
2020
Theory Pract. Log. Program., 2020
Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
2019
Theory Pract. Log. Program., 2019
Spatial Cogn. Comput., 2019
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Proceedings of the Progress in Artificial Intelligence, 2019
Proceedings of the Datalog 2.0 2019, 2019
Proceedings of the Description Logic, Theory Combination, and All That, 2019
2018
Theory Pract. Log. Program., 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Solving a Spatial Puzzle Using Answer Set Programming Integrated with Markov Decision Process.
Proceedings of the 7th Brazilian Conference on Intelligent Systems, 2018
2017
Theory Pract. Log. Program., 2017
Verification for ASP denotational semantics: A case study using the PVS theorem prover.
Log. J. IGPL, 2017
Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017
Proceedings of the Progress in Artificial Intelligence, 2017
Proceedings of the Progress in Artificial Intelligence, 2017
2016
Theory Pract. Log. Program., 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
2015
Theory Pract. Log. Program., 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015
2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
2013
Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013
2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the Logic-Based Program Synthesis and Transformation, 2011
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011
2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Computer Science, 2009
2008
Spatial Cogn. Comput., 2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
2007
Theory Pract. Log. Program., 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic Programming, 23rd International Conference, 2007
Proceedings of the Computer Aided Systems Theory, 2007
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007
2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic.
Proceedings of the Logic Programming, 22nd International Conference, 2006
Proceedings of the Advances in Artificial Intelligence, 2006
Proceedings of the Advances in Artificial Intelligence, 2006
2005
Proceedings of the Answer Set Programming, 2005
2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
New Insights on the Intuitionistic Interpretation of Default Logic.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
2002
Alternative characterizations for strong equivalence of logic programs.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002
Proceedings of the Logic Programming, 18th International Conference, 2002
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002
2001
Proceedings of the Answer Set Programming, 2001
2000
Temporal Constraint Networks in Action.
Proceedings of the ECAI 2000, 2000
1999
Temporal Answer Sets.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
1997
Proceedings of the Computer Aided Systems Theory, 1997
1995
Proceedings of the Computer Aided Systems Theory, 1995
Proceedings of the Computer Aided Systems Theory, 1995