Pedro Cabalar

Foto Pedro Cabalar is a full professor at the Computer Science and Information Technology Department, University of A Coruña, Spain. He earned his Bachelor's degree at the University of Santiago de Compostela and graduated in Computer Science from the Polytechnic University of Madrid, receiving his PhD from the University of A Coruña in 2001. His research interests are focused on Artificial Intelligence and Knowledge Representation and Reasoning with special emphasis on 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 reviewing for other journals like JAIR, J. of Logic and Computation, J. of Applied Logic or ACM TOCL. He is standard editor of the Artificial Intelligence Journal, and area editor (in Theoretical Foundations) of Theory and Practice of Logic Programming. He has regularly published 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, ECAI and KR. He co-chairs the 40th edition of ICLP in 2024 in Dallas, TX, USA and he has also co-chaired and organised the 12th edition of LPNMR in 2013 in A Coruña. Pedro Cabalar is the general coordinator of the Master in Artificial Intelligence offered by the three public Galician Universities. In the past he has served as area editor for the Association of Logic Programming Newsletter, he has been scientific editor of the Iberoamerican Journal on Artificial Intelligence and coordinated the PhD and MSc programmes of his Department. Pedro Cabalar 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.

last update 19/2/2024