LILaC

Andreas Herzig (1960) studied computer science in Darmstadt and Toulouse. In 1989 he got a Ph.D. in Computer Science on Automated Deduction in Modal Logics, and in 1999 a Habilitation in Computer Science, both at Paul Sabatier University in Toulouse. Since 1990 he is a CNRS research assistant, and since 2004 he is a CNRS research director.

He is the Executive Editor of the Journal Applied non Classical Logics, and member of the Editorial Board of the Journal of Philosophical Logic and of the Electronic Transactions on Artificial Intelligence. He participated in several Esprit project (ALPES, Basic Research Actions MEDLAR1, MEDLAR2, and DRUMS2), and he is the principal investigator of the ongoing ANR project ForTrust. He co-edited a book on Conditional Logics, and co-authored a chapter in the Handbook of Logic in Artificial Intelligence and Logic Programming. He is the co-editor of three special issues of the Journal of Applied Non-Classical Logics (on belief change, on paraconsistent logics, and on dynamic logic and belief revision), and of the 2003 and 2005 proceedings of the French conference on formal models of interaction (MFI). He has published about 90 scientific papers in journals (Artificial Intelligence, J. of Logic and Computation, Synthese, J. of Philosophical Logic, J. of Logic, Language and Information, J. of Semantics and others) and conferences (IJCAI, AAMAS, TARK, ECAI, AAAI, KR, UAI and others).

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. He currently investigates the integration of logics of belief and group belief with speech act theory and theories of action.

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

http://www.irit.fr/~Andreas.Herzig