Andreas Herzig

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 Theme 4 "Reasoning and Decision" and was head of Theme 4's LILaC team from 2000 to 2005. He is on the Scientific and Governing Board of the CIMI excellence lab and on the Scientific Board of the CNRS Institute for Information Sciences and Technologies (INS2I). 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) and at the University of Western Sydney in 2014 (1.5 month).

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 editor-in-chief of the Journal Applied non Classical Logics. He is member of the editorial Board of the Artificial Intelligence J. and the J. of Philosophical Logic (JPL). He is a reviewer of the Zentralblatt MATH and of Mathematical Reviews. He served and serves on numerous program committees.

He participated in several EU actions: on advanced logic programming environments (ALPES), on deduction for logics of practial reasoning (Basic Research Actions MEDLAR1, MEDLAR2, and DRUMS2), and on social intelligence (SINTELNET). He was the principal investigator of the French ANR funded project `Social trust analysis and formalization' (ForTrust, 2006-2010).

Université Paul Sabatier                voice: +33 56155-8123
IRIT-LILaC  		                Fax:            -6258
Andreas Herzig
118 route de Narbonne
F-31062 Toulouse Cedex 9