Equipe LILaC

Responsables : Dominique LONGIN
Emiliano LORINI

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.

Compétences

intelligence artificielle fondamentale
interactions entre entités et cognition
logiques non-classiques
théorie des jeux et choix social
déduction automatique

personnel de l’équipe LILaC

Membres permanents
Membres non – permanents

publications de l’équipe 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 de l’équipe LILaC

AcronymeTitrePériodeResponsables
scientifiques
Partenaires
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
[Contrat terminé]
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
[Contrat terminé]
Ressources dynamiques : séparation et mise à jour2011-2014Herzig, AndreasCNRS (EPCST) – UNIVERSITE DE NANCY Henry POINTCARE(EPCSCP)
TIES
[Contrat terminé]
Social ties in economics : experiments and theory2011-2014Lorini, EmilianoTSE/Toulouse Scholl of Economics(Administration)
PIMI
[Contrat terminé]
Personal Information Management though Internet2010-2013Herzig, Andreas # Alba Winckler, Marco AntonioINRIA(EPST) – GENIGRAPH(PME) – TSP/Telecom Sud Paris(Ecole) – Université Paris XI(EPCST)
CECIL
[Contrat terminé]
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
[Contrat terminé]
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
[Contrat terminé]
Composition de politiques et de service – ARA Sécurité2006-2009Balbiani, PhilippeINRIA(EPST) – CNRS Délégation Régionale Provence(Laboratoire)
ARROWS
[Contrat terminé]
Safe Pointer-Based Data Structures: A Declarative Approach to their Specification and Analysis2005-2009Balbiani, PhilippeANR/AGENCE NATIONALE DE LA RECHERCHE(EPA)
AcronymeTitrePériodeResponsables
scientifiques
Partenaires
SINTELNET
[Contrat terminé]
European Network for Social Intelligence2011-2014Herzig, AndreasConsiglio Nazionale Delle Ricerche (CNR)(EPCST) – King’s College (KCL)(Ecole)
AVANTSSAR
[Contrat terminé]
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)
Lundi 8 Avril 2019, 10h00
Traduction logique et résolution de problèmes – Application à la planification
Maël VALAIS – Equipe LILaC, Equipe ADRIA – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Lundi 10 Décembre 2018, 10h00
Bases de connaissance et actions de mise à jour préférées: à la recherche de consistance au travers des programmes de la logique dynamique
Christos RANTSOUDIS – Equipe LILaC – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Mardi 12 Décembre 2017, 9h00
Refinement of Intentions
Zhanhao XIAO – Equipe LILaC – IRIT UT1 Capitole, Manufacture des Tabacs, Salle des thèses
#these
Vendredi 23 Septembre 2016, 9h00
Le bonheur est dans l’ignorance : logiques épistémiques dynamiques basées sur l’observabilité et leurs applications
Faustine MAFFRE – Equipe LILaC – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Jeudi 15 Septembre 2016, 9h30
Procédures de décision pour des logiques modales d’actions, de ressources et de concurrence
Joseph BOUDOU – Equipe LILaC – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#these
Lundi 20 Juin 2016, 9h00
Logics for strategic reasoning and collective decision-making
Guifei JIANG – Equipe LILaC – IRIT Manufacture des Tabacs, Salle MQ212
#these
Lundi 5 Octobre 2015, 10h00
Modélisation de la confiance computationnelle, une approche modale
Seiffedine KRAMDI – Equipe LILaC – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Vendredi 20 Mars 2015, 10h00
Extensions of Equilibrium Logic by Modal Concepts
Ezgi Iraz SU – Equipe LILaC – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Vendredi 5 Décembre 2014, 15h30
MIM-Logic: A Logic for Reasoning About Molecular Interaction Maps
Naji OBEID – Equipe LILaC – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#these
Mercredi 17 Juillet 2019 – Vendredi 19 Juillet 2019
TARK 2019 : 17th conference of the Theoretical Aspects of Rationality and Knowledge
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#congres En savoir plus
Lundi 1 Juillet 2019 – Vendredi 5 Juillet 2019
PFIA 2019 : Plate-Forme Intelligence Artificielle
UT1 Capitole
#congres En savoir plus
Mardi 10 Avril 2018 – Jeudi 12 Avril 2018
AMANDE – Argument Strength 2018
UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#congres En savoir plus
Lundi 17 Juillet 2017 – Vendredi 28 Juillet 2017
29th European Summer School in Logic, Language, and Information
UT1 Capitole, Campus de l’Arsenal
#congres En savoir plus
Mercredi 22 Juin 2016 – Vendredi 24 Juin 2016
Sixth International Workshop on Computational Social Choice
UT1 Capitole, Manufacture des Tabacs, Salle des thèses
#congres En savoir plus
Lundi 20 Juin 2016 – Mardi 21 Juin 2016
NAG 2016 : Norms, Actions, Games
Institute for advanced study in Toulouse (IAST)
#congres En savoir plus
Mercredi 13 Mars 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
Mercredi 13 Septembre 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
Jeudi 16 Mars 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
Vendredi 10 Mars 2017, 14h30 – 16h00
The role of formal approaches in machine learning
Mathieu SERRURIER – Equipe ADRIA – IRIT (France) IRIT, Salle 175
#seminaire
Vendredi 3 Mars 2017, 14h00 – 15h30
Graph aggregation
Umberto GRANDI – Equipe LILaC – IRIT (France) IRIT, Salle 175
#seminaire
Vendredi 3 Mars 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
Jeudi 2 Mars 2017, 14h00 – 15h30
The (Parameterized) Complexity of (Positional) Games
Abdallah SAFFIDINE – The University of New South Wales (Australie) IRIT, Salle 175
#seminaire
Lundi 27 Février 2017, 12h30 – 14h00
Social Planning – Reasoning with and about others
Timothy MILLER – University of Melbourne (Australie) UT1 Capitole, Manufacture des Tabacs, Salle ME303
#seminaire
Lundi 12 Décembre 2016, 12h30 – 14h00
How to rapidly share knowledge by gossiping
Faustine MAFFRE – Equipe LILaC – IRIT (France) UT1 Capitole, Manufacture des Tabacs, Salle ME302
#seminaire
Jeudi 20 Octobre 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
Mardi 21 Novembre 2017, 14h00
Logical Dynamics
David FERNANDEZ DUQUE – Equipe LILaC – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#hdr
Mercredi 22 Juin 2016, 14h30
Cognitive Agents in Interaction: a formal approach
Emiliano LORINI – Equipe LILaC – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
#hdr
Vendredi 27 Mars 2015, 10h00
Modélisation de concepts pour les agents cognitifs
Dominique LONGIN – Equipe LILaC – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
#hdr
Mercredi 29 Novembre 2017
Workshop on AI Planning in Games
UT3 Paul Sabatier, IRIT, Salle des Thèses
#journee
Vendredi 27 Février 2015 – Samedi 28 Février 2015
Semantics Workshop
UT1 Capitole, Manufacture des Tabacs, Bât Q, Espace ouvert
#journee