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 is the head of IRIT's Department 4 "Artificial Intelligence" and was head of its LILaC team from 2000 to 2005. He is on the Scientific and Governing Board of the CIMI excellence lab, on the Scientific Board of the CNRS Institute for Information Sciences and Technologies (INS2I), and on the Scientific Board of the CNRS GDR IA. He is an EurAI Fellow.
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 (research assistant in 1990, 2nd class senior researcher in 2004, 1st class in 2014). 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 theorem proving 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, multiagent planning, argumentation theory and answer-set programming.
He has supervised or co-supervised 19 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 authored a chapter in the Handbook of Defeasible Reasoning and Uncertainty Management Systems (Kluwer Academic Publishers) and co-authored a chapter in the Handbook of Logic in Artificial Intelligence and Logic Programming (Oxford University Press).
He co-authored an introductory book to modal logics and tableaux methods (Springer-Birkäuser), co-edited a book on Conditional Logics (Oxford University Press), special issues of the Journal of Applied Non-Classical Logics, the Journal of Philosophical Logic and the International Journal on Game Theory, and the 2012 proceedings of the Eur. Conf. on Logics in AI (JELIA).
He is the editor-in-chief of the Journal Applied non Classical Logics and associated editor of Artificial Intelligence. He is a member of the editorial Board of the J. of Philosophical Logic (JPL). He served and serves on numerous program committees.
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