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

Permanent members
Non-permanent members

publications of the team

International journals articles
National journals articles
Special issues of journal
International conferences articles
Conferences articles without published proceedings
Books
Thesis and HDR
Reports

contrats of the team

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