معرفی
Pedro Cabalar is Full Professor at the Department of Computer Science of the University of Corunna, Galicia, Spain, and current coordinator of the inter-university Master in Artificial Intelligence (Universities of A Coruña, Santiago de Compostela and Vigo). He also serves as Area Editor (Theory Foundations) for Theory and Practice of Logic Programming and as Standard Editor for the Artificial Intelligence journal.
Education:
- PhD in Computer Science, University of Corunna, 2001
- Master in Computer Science, Politéchnic University of Madrid, 1993
- Bachelor in Computer Science (3-year degree), University of Santiago de Compostela / University of Corunna, 1989
Research interests revolve around Knowledge Representation & Reasoning, especially Answer Set Programming, non-monotonic reasoning, temporal and modal logics, and causal reasoning. He investigates theoretical foundations (equilibrium logic, temporal extensions, deontic operators) and practical systems (telingo, eclingo, aspBEEF), with applications ranging from planning and diagnosis to explainable AI and healthcare decision support.
His recent articles (2023-2025) exhibit a clear trend toward temporal and metric extensions of ASP, explainability, and hybrid reasoning systems, often combining logic programming with deontic or probabilistic features.
Scientific awards & recognition:
- University of Corunna Dissertation Award, 2003
- Best Paper Award at LPNMR 2019
- Best Student Paper at ICLP 2020
- Best Student Paper at JELIA 2019
Grants & projects: He currently leads or co-leads nationally funded Spanish projects (GEISER 2024-2028, ARLEKIN 2021-2024) and has coordinated EU COST actions (DigForASP) as well as earlier MINECO projects on temporal ASP and medical reasoning (TARDIS, MERLOT, FEAST, etc.).
PhD supervision: He has successfully supervised three PhD theses (Martín Diéguez, Jorge Fandiño, Brais Muñiz) and continues to advise students within the Information Retrieval Laboratory (IRLab) and the Spanish node of Potassco Solutions.
