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.