AI Department
LILaC
AI Department
LILaC
Andreas Herzig is a CNRS researcher (Directeur de Recherches CNRS) in the Logic, Interaction, Language, and Computation Group (LILaC) of IRIT at Université Paul Sabatier. He was the head of IRIT's AI Department (2009-2020) and of its LILaC team (2000 to 2005). He is on the Scientific Board of the CNRS GDR IA. He was on the Scientific Board of the CNRS Institute for Information Sciences and Technologies (INS2I) (2014-2018). and on the Scientific and Governing Board of the CIMI excellence lab. He is an EurAI Fellow. He is the editor-in-chief of the Journal Applied Non-Classical Logics. He is an associated editor of Artificial Intelligence and a member of the editorial Board of the J. of Philosophical Logic (JPL). He served and serves on numerous program committees.
Andreas Herzig studied computer science in Darmstadt and Toulouse. In 1989 he obtained a Ph.D. in Computer Science at Paul Sabatier University in Toulouse on Automated Deduction in Modal Logics. Since 1990 he is a CNRS researcher (senior researcher since 2004). He held visiting professor positions at the Federal University of Curitiba in 2000 (2 months), at the University of São Paulo in 2008 (3 months), at the University of Western Sydney in 2014 (1.5 month), and at Denmark Technical University in 2018 (3 months).
His main research topic is the investigation of logical models of interaction, with a focus on logics for reasoning about knowledge, belief, time, action, intention and obligation, and the development of automated reasoning methods for them. His current interests concern the integration of logics of action and change with logics of belief, including applications in belief-desire-intention logics and multiagent planning.
He has supervised or co-supervised 23 Phd theses.
He published more than 150 scientific papers (DBLP) in journals (Artificial Intelligence, J. of Logic and Computation, Fundamenta Informaticae, J. of Philosophical Logic, Review of Symbolic Logic, Synthese, Logic J. of the IGPL, J. of Semantics, J. of Autonomous Agents and Multi-Agent Systems and others) and conferences (IJCAI, AAMAS, ECAI, AAAI, TARK, KR, UAI and others). He co-authored an introductory book to modal logics and tableaux methods (Springer-Birkhäuser), co-edited a book on Conditional Logics (Oxford University Press) and on Social Intelligence (Springer).
He was the principal investigator of the French ANR funded project `Social trust analysis and formalization' (ForTrust, 2006-2010) and a working group leader of the EU Coordinated Action SINTELNET on social intelligence (2011-2015).
Université Paul Sabatier voice: +33 56155-8123 IRIT-LILaC Fax: -6258 Andreas Herzig 118 route de Narbonne F-31062 Toulouse Cedex 9 France https://www.irit.fr/~Andreas.Herzig