LILaC
LILaC - Research Programme
LILaC is part of IRIT's theme
``Reasoning and Decision'' (theme 4)
LILaC is organized in 4 axes:
-
logical models of interaction;
-
communication and dialogue;
-
automated reasoning;
-
security.
LILaC has adopted a normative approach, and
focusses on models of formal logic.
last update: jan. 2008
http://www.irit.fr/~Andreas.Herzig