Résumé
 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. |