Les travaux de l’équipe LILaC ont pour objectif de modéliser des systèmes intelligents s’appuyant les théories et techniques issues de la représentation de connaissances, logiques, théorie des jeux, argumentation et techniques de vérification. L’équipe LILaC conduit des projets et recherche dans les domaines suivants :

• Modélisation de concepts pour la cognition et l’interaction (états mentaux, action, dynamique des croyances, argumentation, émotions, etc.).
• Conception de modèles formels pour la sécurité des protocoles et la composition fiable de services.
• Formalisation du raisonnement, l’inférence et la démonstration automatique, enrichissement sémantique des données.
• Représentation et analyse des phénomènes sociaux, diffusion d’opinion, étude du raisonnement dans les simulations, etc.