Pedro Cabalar

Foto Pedro Cabalar is an associate 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. 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 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 has also co-chaired and organised the 12th edition of LPNMR in 2013 in A Coruña. 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 four national research projects related to Knowledge Representation and Automated Reasoning with applications to the medical domain. He is currently a workgroup leader in the European COST Action DigForASP, on Automated Reasoning applied to Digital Forensics.

last update 27/9/2020