LILaC Team

Heads : Dominique LONGIN
Emiliano LORINI

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.

skills

fundamental artificial intelligence
interactions between entities and cognition
non-classical logics
game theory and social choice
automatic deduction

personnel of the team LILaC

Permanent members
Non-permanent members

publications of the team LILaC

Articles dans des revues internationales
Articles dans des revues nationales
Rédaction de numéros spéciaux de revues
Conférences et workshops internationaux avec actes édités et comité de lecture
Conférences sans actes publiés
Livres (monographies)
Thèses et habilitations
Rapports

contrats of the team LILaC

AcronymeTitlePeriodScientific
leaders
Partners
CoPainsPlanification Cognitive dans la Communication Persuasive Multimodale2018-2021Lorini, EmilianoLIMSI/Laboratoire d’Informatique pour la Mécanique et les Sciences de l’Ingénieur (Laboratoire) – DAVI/DAVI(PME) – LPL/Laboratoire Parole et Langage(Laboratoire) – Laboratoire d’Informatique et Systèmes(Laboratoire)
SCONESocial Choice and Social Networks2018-2021Grandi, Umberto
AGAPEAn Action LanGuage for GenerAl Auction PlayErs2018-2022Perrussel, LaurentUJF/LIG/Laboratoire d’informatique de Grenoble(Laboratoire) – LAMSADE/LAMSADE – CNRS UMR 7243 – Université Paris Dauphine(Laboratoire) – IBISC/Informatique, Biologie Intégrative et Systèmes Complexes(Laboratoire)
EmoTES
[Contract completed]
Les émotions dans l’interaction sociale : théorie, experimentations, étude logique et informatique2012-2014Sibertin-Blanc, Christophe # Lorini, EmilianoISTC/Institute of Cognitive Sciences and Technologies de Rome(Laboratoire)
DynRes
[Contract completed]
Ressources dynamiques : séparation et mise à jour2011-2014Herzig, AndreasCNRS (EPCST) – UNIVERSITE DE NANCY Henry POINTCARE(EPCSCP)
TIES
[Contract completed]
Social ties in economics : experiments and theory2011-2014Lorini, EmilianoTSE/Toulouse Scholl of Economics(Administration)
PIMI
[Contract completed]
Personal Information Management though Internet2010-2013Herzig, Andreas # Alba Winckler, Marco AntonioINRIA(EPST) – GENIGRAPH(PME) – TSP/Telecom Sud Paris(Ecole) – Université Paris XI(EPCST)
CECIL
[Contract completed]
Emotions complexes dans la communication, l’interaction et le langage (Programme CONTINT)2008-2011Longin, DominiqueUJF/Université Joseph Fourier – Grenoble 1 (UJF)(EPCSCP) – GET Télécom/GET Groupe des Ecoles des Télécommunications(EPA)
FOR TRUST
[Contract completed]
Social trust analysis and formalization2007-2011Herzig, AndreasARMINES – ENS/Ecole Nationale Supérieure des Mines de Saint Etienne G2I(Laboratoire) – ISTC/Institute of Cognitive Sciences and Technologies de Rome(Laboratoire)
COPS
[Contract completed]
Composition de politiques et de service – ARA Sécurité2006-2009Balbiani, PhilippeINRIA(EPST) – CNRS Délégation Régionale Provence(Laboratoire)
ARROWS
[Contract completed]
Safe Pointer-Based Data Structures: A Declarative Approach to their Specification and Analysis2005-2009Balbiani, PhilippeANR/AGENCE NATIONALE DE LA RECHERCHE(EPA)
AcronymeTitlePeriodScientific
leaders
Partners
SINTELNET
[Contract completed]
European Network for Social Intelligence2011-2014Herzig, AndreasConsiglio Nazionale Delle Ricerche (CNR)(EPCST) – King’s College (KCL)(Ecole)
AVANTSSAR
[Contract completed]
Automated Validation of Trust and Security of Service-oriented Architectures2007-2010Balbiani, PhilippeINRIA(EPST) – Università di Verona(Institution étrangère) – ETH Zurich(Institution étrangère) – Università di Genova(Institution étrangère) – IBM Research GMBH Switzerland(Institution étrangère) – Open Trust(PME) – Institute e-Austria Timisoara(Institution étrangère) – SAP AG(Institution étrangère) – Siemens Aktiengesellschaft(Institution étrangère)
Monday 8 April 2019, 10h00
Traduction logique et résolution de problèmes – Application à la planification
Maël VALAIS – Team LILaC, Team ADRIA – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Monday 10 December 2018, 10h00
Knowledge Bases and Preferred Update Actions: Searching for Consistency through Dynamic Logic Programs
Christos RANTSOUDIS – Team LILaC – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Tuesday 12 December 2017, 9h00
Refinement of Intentions
Zhanhao XIAO – Team LILaC – IRIT UT1 Capitole, Manufacture des Tabacs, Salle des thèses
#these
Friday 23 September 2016, 9h00
Ignorance is bliss: observability-based dynamic epistemic logics and their applications
Faustine MAFFRE – Team LILaC – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Thursday 15 September 2016, 9h30
Decision Procedures for Modal Logics of Actions, Resources and Concurrency
Joseph BOUDOU – Team LILaC – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Monday 20 June 2016, 9h00
Logics for strategic reasoning and collective decision-making
Guifei JIANG – Team LILaC – IRIT Manufacture des Tabacs, Salle MQ212
#these
Monday 5 October 2015, 10h00
A modal approach to model computational trust
Seiffedine KRAMDI – Team LILaC – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Friday 20 March 2015, 10h00
Extensions of Equilibrium Logic by Modal Concepts
Ezgi Iraz SU – Team LILaC – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Friday 05 December 2014, 15h30
MIM-Logic: A Logic for Reasoning About Molecular Interaction Maps
Naji OBEID – Team LILaC – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Wednesday 17 July 2019 – Friday 19 July 2019
TARK 2019 : 17th conference of the Theoretical Aspects of Rationality and Knowledge
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#congres Know more
Monday 1 July 2019 – Friday 5 July 2019
PFIA 2019 : Plate-Forme Intelligence Artificielle
UT1 Capitole
#congres Know more
Tuesday 10 April 2018 – Thursday 12 April 2018
AMANDE – Argument Strength 2018
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#congres Know more
Monday 17 July 2017 – Friday 28 July 2017
29th European Summer School in Logic, Language, and Information
UT1 Capitole, Campus de l’Arsenal
#congres Know more
Wednesday 22 June 2016 – Friday 24 June 2016
Sixth International Workshop on Computational Social Choice
UT1 Capitole, Manufacture des Tabacs, Salle des thèses
#congres Know more
Monday 20 June 2016 – Tuesday 21 June 2016
NAG 2016 : Norms, Actions, Games
Institute for advanced study in Toulouse (IAST)
#congres Know more
Wednesday 13 March 2019, 12h30 – 13h30
From the Stability of formal concepts to minimal transversals: fundamentals and applicative cases
Sadok BEN YAHIA – Université de Tunis (Tunisie) Manufacture des tabacs, [Salle à définir]
#seminaire
Wednesday 13 September 2017, 12h30 – 14h00
Les subventions européennes pour répondre aux défis sociétaux, à la recherche scientifique et à l’éducation
Cécile SAUVAGE – FEDACOVA (Espagne) UT1 Capitole, Manufacture des Tabacs, Salle des thèses
#seminaire
Thursday 16 March 2017, 14h30 – 15h30
Interactions as Social Practices: towards a formalization
Virginia And Frank DIGNUM – Delft University of Technology / Utrecht University (Pays-Bas) UT3 Paul Sabatier, IRIT, Salle 001
#seminaire
Friday 10 March 2017, 14h30 – 16h00
The role of formal approaches in machine learning
Mathieu SERRURIER – Team ADRIA – IRIT (France) IRIT, Salle 175
#seminaire
Friday 3 March 2017, 14h00 – 15h30
Graph aggregation
Umberto GRANDI – Team LILaC – IRIT (France) IRIT, Salle 175
#seminaire
Friday 3 March 2017, 11h00 – 12h30
Distributional Semantics and Sentence Comprehension: The Case of Logical Metonymy
Alessandro LENCI – University of Pisa (Italie) UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#seminaire
Thursday 2 March 2017, 14h00 – 15h30
The (Parameterized) Complexity of (Positional) Games
Abdallah SAFFIDINE – The University of New South Wales (Australie) IRIT, Salle 175
#seminaire
Monday 27 February 2017, 12h30 – 14h00
Social Planning – Reasoning with and about others
Timothy MILLER – University of Melbourne (Australie) UT1 Capitole, Manufacture des Tabacs, Salle ME303
#seminaire
Monday 12 December 2016, 12h30 – 14h00
How to rapidly share knowledge by gossiping
Faustine MAFFRE – Team LILaC – IRIT (France) UT1 Capitole, Manufacture des Tabacs, Salle ME302
#seminaire
Thursday 20 October 2016, 14h00 – 16h00
Planning in Artificial Intelligence: Heuristics, Models, and Transformations
Hector GEFFNER – Universitat Pompeu Fabra, Barcelona (Espagne) UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#seminaire
Tuesday 21 November 2017, 14h00
Logical Dynamics
David FERNANDEZ DUQUE – Team LILaC – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#hdr
Wednesday 22 June 2016, 14h30
Cognitive Agents in Interaction: a formal approach
Emiliano LORINI – Team LILaC – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#hdr
Friday 27 March 2015, 10h00
Modélisation de concepts pour les agents cognitifs
Dominique LONGIN – Team LILaC – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#hdr
Wednesday 29 November 2017
Workshop on AI Planning in Games
UT3 Paul Sabatier, IRIT, Salle des Thèses
#journee
Friday 27 February 2015 – Saturday 28 February 2015
Semantics Workshop
UT1 Capitole, Manufacture des Tabacs, Bât Q, Espace ouvert
#journee