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 is currently a workgroup leader in the
European COST Action DigForASP, on Automated
Reasoning applied to Digital Forensics.
|
|