HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation


The work of the LILaC team aims to model intelligent systems based on theories and techniques from knowledge representation, logic, game theory, argumentation, and verification techniques. The LILaC team conducts projects and research in the following areas:

  • Concepts modeling for cognition and interaction (mental states, action, belief dynamics, argumentation, emotions, etc.).
  • Formal model design for protocol security and reliable service composition.
  • Formalization of reasoning, inference and automated theorem-proving, semantic enrichment of data.
  • Representation and analysis of social phenomena, diffusion of opinion, study of reasoning in simulations, etc.