Dr. Pedro Cabalar
Pedro Cabalar is an associate professor of the Department of Computer Science at the University of Corunna, Spain. He graduated in 1993 in Computer Science in the Politechnic University of Madrid and received his PhD degree from the University of Corunna in 2001, on the topic of causality in action domains. His research is mostly related to logical approaches for Knowledge Representation in Artificial Intelligence, being particularly interested in Nonmonotonic Reasoning and Logic Programming under the Answer Set semantics. He has both published and actively participated as Program Committee or reviewer in main conferences (IJCAI, KR, AAAI, ICLP, LPNMR, ECAI, JELIA), journals (Artificial Intelligence, Theory and Practice on Logic Programming, AMAI) and specialized workshops (ASPOCP, NMR, Commonsense) of these areas. He is area editor for the Association of Logic Programming Newsletter and acts as reviewer for the AMS Mathematical Reviews. In the past, he has been scientific editor of the Iberoamerican Journal on Artificial Intelligence and coordinated the PhD and MSc programmes of his Department. He is currently involved in the European COST action DigForASP on Automated Reasoning and Digital Forensics, leading the work group on prototypes and platforms.