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

Membres permanents
Membres non – permanents

publications de l’équipe

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

AcronymeTitreResp. scDébut – fin
AGAPE anr An Action LanGuage for GenerAl Auction PlayErs PERRUSSEL Laurent
2018 – 2022
CoPains anr Planification Cognitive dans la Communication Persuasive Multimodale LORINI Emiliano
2018 – 2021
SCONE anr Social Choice and Social Networks GRANDI Umberto
2018 – 2021
EmoTES
[Contrat terminé]
autre Les émotions dans l’interaction sociale : théorie, experimentations, étude logique et informatique SIBERTIN-BLANC Christophe
LORINI Emiliano
2012 – 2014
DynRes
[Contrat terminé]
anr Ressources dynamiques : séparation et mise à jour HERZIG Andreas
2011 – 2014
TIES
[Contrat terminé]
Social ties in economics : experiments and theory LORINI Emiliano
2011 – 2014
PIMI
[Contrat terminé]
autre Personal Information Management though Internet HERZIG Andreas
WINCKLER Marco Antonio
2010 – 2013
CECIL
[Contrat terminé]
autre Emotions complexes dans la communication, l’interaction et le langage (Programme CONTINT) LONGIN Dominique
2008 – 2011
FOR TRUST
[Contrat terminé]
autre Social trust analysis and formalization HERZIG Andreas
2007 – 2011
ARROWS
[Contrat terminé]
Safe Pointer-Based Data Structures: A Declarative Approach to their Specification and Analysis BALBIANI Philippe
2005 – 2009
AcronymeTitreResp. scDébut – fin
SINTELNET
[Contrat terminé]
autre European Network for Social Intelligence HERZIG Andreas
2011 – 2014
AVANTSSAR
[Contrat terminé]
autre Automated Validation of Trust and Security of Service-oriented Architectures BALBIANI Philippe
2007 – 2010
AcronymeTitreResp. scDébut – fin
Projet CLE – Logique Mathématique
[Contrat terminé]
Logique mathématique et informatique appliquées à la modélisation de la décision cellulaire FARIÑAS DEL CERRO Luis
2013 – 2016
Mardi 12 Novembre 2019, 10h00
Prise de décision collective avec buts
Arianna NOVARO – Equipe LILaC, IRIT UT1 Capitole, Bâtiment Arsenal, Salle de thèses
#these
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