Pedro Cabalar's Résumé

Pedro Cabalar is a full professor at the Computer Science and Information Technology Department, University of A Coruña, Spain. He earned his Computer Science Bachelor's degree at the University of Santiago de Compostela and graduated in Computer Science in the Polytechnic University of Madrid, receiving his PhD from the University of A Coruña in 2001. His research fields are Artificial Intelligence and Knowledge Representation and Reasoning, covering multiple topics such as temporal, causal, epistemic and qualitative spatial reasoning, mostly using non-classical logics and logic programming. Many of his contributions are related to logical foundations and extensions of Answer Set Programming. He is also interested in logic based explanations of machine learning classifiers. Pedro Cabalar has collaborated with more than twenty coauthors from universities of nine different countries, publishing in relevant journals like AIJ, TPLP, AMAI, AI Communications, the Journal of Applied Non-Classical Logics or the Logic Journal of the IGPL, and in the main relevant international conferences like IJCAI, ECAI, KR, AAAI, JELIA, ICLP and LPNMR, being a frequent PC member for these events and acting as senior/area PC for IJCAI, AAAI, ECAI and KR. Pedro Cabalar is standard editor of the Artificial Intelligence Journal, and area editor (in Theoretical Foundations) of Theory and Practice of Logic Programming. He is also member of the Executive Committee of the Association of Logic Programming. Cabalar co-chairs the 20th edition of JELIA in 2027 at Bratislava, Slovakia and has co-chaired ICLP 2024 in Dallas, TX, USA and LPNMR 2013 in A Coruña, Spain. Pedro Cabalar is the general coordinator of the Master in Artificial Intelligence offered by the three public Galician Universities. He has been principal investigator of five national research projects related to Knowledge Representation and Automated Reasoning with applications to the medical domain. He has acted as workgroup leader and Management Committee member of the European COST Action DigForASP, on Automated Reasoning applied to Digital Forensics.