LILaC
Andreas Herzig
Andreas Herzig
(photo,
short CV)
is a
CNRS researcher (Directeur de Recherches CNRS)
in the
Logic, Interaction, Language, and Computation Group (LILaC) of
IRIT at
Université Paul Sabatier
(head of LILaC from 2000 to 2005).
- RESEARCH INTERESTS
- Mental attitudes and their dynamics:
goals, intentions, BDI architectures;
reasoning with degrees of belief;
belief update and belief revision;
agency, reasoning about actions and planning under incomplete knowledge
- Speech act theory and dialogues:
agent communication languages;
dialogue games
- Deduction:
automated theorem proving; the generic tableau theorem prover Lotrec
- PROJECTS OF LILaC (a bit outdated)
- PAPERS
- STUDENTS
- ORGANISED EVENTS
- CONFERENCES AND WORKSHOPS
- EDITORIAL BOARDS
- TEACHING: COURSES AND TUTORIALS
Université Paul Sabatier voice: +33 56155-8123
IRIT-LILaC Fax: -6258
Andreas Herzig
118 route de Narbonne
F-31062 Toulouse Cedex 9
France
herzig "ät" irit.fr
http://www.irit.fr/~Andreas.Herzig
How to get to IRIT