Equipe LILaC

Responsables : Umberto GRANDI
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
  • Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv

    About the unification type of fusions of modal logics

    Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications, College Publications, In press

    Accès: https://hal.archives-ouvertes.fr/hal-02936464

  • Philippe Balbiani, Mojtaba Mojtahedi

    Unification with parameters in the implication fragment of Classical Propositional Logic

    Logic Journal of the IGPL, Oxford University Press (OUP), 2021, ⟨10.1093/jigpal/jzab014⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03248073

  • Umberto Grandi, Emiliano Lorini, Arianna Novaro, Laurent Perrussel

    Games of Influence

    Journal of Logic and Computation, Oxford University Press (OUP), 2021, pp.1-29. ⟨10.1093/logcom/exaa088⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03117720

  • Andreas Herzig, Elise Perrotin

    True Belief and Mere Belief About a Proposition and the Classification of Epistemic-Doxastic Situations

    Filosofiska Notiser, 2021, Årgång 8 (1- Special issue on modal logic), pp.103-117

    Accès: https://hal.archives-ouvertes.fr/hal-03011708

  • Joseph Boudou, Andreas Herzig, Nicolas Troquard

    Resource separation in dynamic logic of propositional assignments (In Press, Journal Pre-proof)

    Journal of Logical and Algebraic Methods in Programming, Elsevier, 2021, pp.100683. ⟨10.1016/j.jlamp.2021.100683⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03210604

  • Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier

    A Lightweight Epistemic Logic and its Application to Planning

    Artificial Intelligence, Elsevier, 2020, 298, pp.103437. ⟨10.1016/j.artint.2020.103437⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03147798

  • Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex

    Valid attacks in argumentation frameworks with recursive attacks

    Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2020, 89 (1), pp.53-101. ⟨10.1007/s10472-020-09693-4⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03016149

  • Esra Erdem, Andreas Herzig

    Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach

    Electronic Proceedings in Theoretical Computer Science, EPTCS, 2020, Proceedings 36th International Conference on Logic Programming (Technical Communications), 325, pp.52-58. ⟨10.4204/EPTCS.325.11⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03012105

  • Edith Elkind, Umberto Grandi, Francesca Rossi, Arkadii Slinko

    Cognitive hierarchy and voting manipulation in k-approval voting

    Mathematical Social Sciences, Elsevier, 2020, 108, pp.193-205. ⟨10.1016/j.mathsocsci.2020.07.001⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03066890

  • Philippe Besnard, Claudette Cayrol, Marie-Christine Lagasquie-Schiex

    Logical theories and abstract argumentation: A survey of existing works

    Argument and Computation, Taylor & Francis, 2020, 11 (1-2), pp.41-102. ⟨10.3233/AAC-190476⟩

    Accès: https://hal.archives-ouvertes.fr/hal-02875289

  • Articles dans des revues nationales
  • Andreas Herzig, Faustine Maffre

    Planifier grâce au bavardage

    Interstices, INRIA, 2017

    Accès: https://hal.inria.fr/hal-01616344

  • 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
  • Philippe Balbiani

    Remarks about roles and entitlements

    Journées d’Intelligence Artificielle Fondamentale (JIAF 2021), Zied Bouraoui; Sylvie Doutre, Jul 2021, Bordeaux (virtual), France

    Accès: https://hal.archives-ouvertes.fr/hal-03244488

  • Philippe Balbiani, Martín Diéguez, David Fernández Duque

    Some constructive variants of S4 with the finite model property

    36th IEEE Annual Symposium on Logic in Computer Science (LICS 2021), Jun 2021, Rome (on line), Italy

    Accès: https://hal.archives-ouvertes.fr/hal-03248058

  • Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel

    A General Framework for the Logical Representation of Combinatorial Exchange Protocols

    20th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2021), Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS); ACM SIGAI Autonomous Agents Research Award, May 2021, London, United Kingdom. pp.1602-1604

    Accès: https://hal.archives-ouvertes.fr/hal-03298975

  • Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris

    A Simple Framework for Cognitive Planning

    35th AAAI Conference on Artificial Intelligence (AAAI 2021), AAAI : Association for the Advancement of Artificial Intelligence, Feb 2021, Hong Kong (virtual), China

    Accès: https://hal.archives-ouvertes.fr/hal-03091086

  • Rachael Colley, Umberto Grandi, Arianna Novaro

    Smart Voting

    Twenty-Ninth International Joint Conference on Artificial Intelligence (IJCAI 2020), IJCAI Organization, Jan 2021, Yokohama (virtual), Japan. pp.1734-1740, ⟨10.24963/ijcai.2020/240⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03066866

  • Dominique Longin, Emiliano Lorini, Frédéric Maris

    Beliefs, Time and Space: A Language for the Yōkai Board Game

    The 23rd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2020), Nov 2020, Nagoya (on line), Japan

    Accès: https://hal.archives-ouvertes.fr/hal-03029712v2

  • Emiliano Lorini, Pengfei Song

    Grounding Awareness on Belief Bases

    Third International Workshop on Dynamic Logic: New Trends and Applications (DALI 2020), Nov 2020, Prague, Czech Republic. pp.170-186, ⟨10.1007/978-3-030-65840-3_11⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03008597

  • Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex

    Argumentation Frameworks with Higher-Order Attacks: Labellings and Complexity

    32nd International Conference on Tools with Artificial Intelligence (ICTAI 2020), IEEE, Nov 2020, Chicago (virtual conference), United States. pp.1210-1217

    Accès: https://hal.archives-ouvertes.fr/hal-03009866

  • Andrea Loreggia, Emiliano Lorini, Giovanni Sartor

    A Ceteris Paribus Deontic Logic

    35th Italian Conference on Computational Logic (CILC 2020), Sep 2020, Rende, Italy. pp.248-262

    Accès: https://hal.archives-ouvertes.fr/hal-03008592

  • Guillaume Feuillade, Andreas Herzig, Christos Rantsoudis

    Knowledge Base Repair: From Active Integrity Constraints to Active TBoxes

    33rd International Workshop on Description Logics (DL 2020) co-located with KR 2020), Sep 2020, Rhodes, Online event, Greece. pp.1-10

    Accès: https://hal.archives-ouvertes.fr/hal-03015763

  • Conférences sans actes publiés
    Livres (monographies)
  • Théo Duchatelle

    Towards a Generic Logical Encoding for Argumentation

    Federico Castagna; Francesca Mosca; Jack Mumford; Stefan Sarkadi; Andreas Xydis. OHAAI : Online Handbook of Argumentation for AI, Volume 2, 2, pp.12-16, 2021

    Accès: https://hal.archives-ouvertes.fr/hal-03285723

  • Isabelle Bloch, Zied Bouraoui, Stephan Brunessaux, Sylvie Doutre, Amal El Fallah-Seghrouchni, Sébastien Ferré, Frédéric Maris, Alexandre Niveau, Nicolas Sabouret, Yves Demazeau, Dominique Longin

    Conférence Nationale d’Intelligence Artificielle Année 2020

    Association Française pour l’Intelligence Artificielle (AFIA). Plate-Forme Intelligence Artificielle 2020, Jun 2020, Angers, France. 2020

    Accès: https://hal.archives-ouvertes.fr/hal-02964840

  • Jonathan Ben-Naim, Dominique Longin, Emiliano Lorini

    Formalization of Cognitive-Agent Systems, Trust, and Emotions

    A Guided Tour of Artificial Intelligence Research (Volume I: Knowledge Representation, Reasoning and Learning), Springer International Publishing, pp.629-650, 2020, ⟨10.1007/978-3-030-06164-7_19⟩

    Accès: https://hal.archives-ouvertes.fr/hal-02892871

  • Leila Amgoud, Philippe Besnard, Claudette Cayrol, Philippe Chatalic, Marie-Christine Lagasquie-Schiex

    Argumentation and Inconsistency-Tolerant Reasoning

    Pierre Marquis; Odile Papini; Henri Prade. A Guided Tour of Artificial Intelligence Research, Springer International Publishing, pp.415-440, 2020, ⟨10.1007/978-3-030-06164-7_13⟩

    Accès: https://hal.archives-ouvertes.fr/hal-02651115

  • Andreas Herzig, Philippe Besnard

    Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning

    Marquis, Pierre; Papini, Odile; Prade, Henri. A Guided Tour of Artificial Intelligence Research, 1 / 3, Springer International Publishing, pp.45-68, 2020, Knowledge Representation, Reasoning and Learning, 978-3030061630. ⟨10.1007/978-3-030-06164-7_2⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03015825

  • Florence Dupin de Saint-Cyr, Andreas Herzig, Jérôme Lang, Pierre Marquis

    Reasoning About Action and Change

    Marquis, Pierre; Papini, Odile; Prade, Henri. A Guided Tour of Artificial Intelligence Research, 1 / 3, Springer International Publishing, pp.487-518, 2020, Knowledge Representation, Reasoning and Learning, 978-3-030-06163-0. ⟨10.1007/978-3-030-06164-7_15⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03015828

  • Zied Bouraoui, Sylvie Doutre

    Actes des 14èmes Journées d’Intelligence Artificielle Fondamentale – JIAF 2020

    14èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2020), 2020

    Accès: https://hal.archives-ouvertes.fr/hal-02951644

  • Andreas Herzig, Juha Kontinen

    Foundations of Information and Knowledge Systems – 11th International Symposium, FoIKS 2020, Dortmund, 17/02/2020 – 21/02/2020

    Herzig, Andreas; Kontinen, Juha. 11th International Symposium on Foundations of Information and Knowledge Systems – FoIKS 2020, Feb 2020, Dortmund, Germany. Lecture Notes in Computer Science, 12012, Springer, pp.XVIII, 335, 2020, Information Systems and Applications, incl. Internet/Web, and HCI, 978-3-030-39950-4

    Accès: https://hal.archives-ouvertes.fr/hal-03001577

  • Mickaël Lafages

    Algorithms and Tools for Abstract Argumentation

    Federico Castagna; Francesca Mosca; Jack Mumford; Stefan Sarkadi; Andreas Xydis. Online Handbook of Argumentation for AI (OHAAI) : Volume 1, pp.17-21, 2020

    Accès: https://hal.archives-ouvertes.fr/hal-03243486

  • Caroline Chanel, Tiago de Lima, Sylvie Doutre, Amal Elfallah-Seghrouchni, Frederick Garcia, Nathalie Hernandez, Jérôme Lang, Maxime Lefrançois, Juliette Mattioli, Emmanuel Rachelson, Olivier Simonin, Pierre Zweigenbaum, Yves Demazeau, Dominique Longin

    Conférence Nationale d’Intelligence Artificielle Année 2019

    Association Française pour l’Intelligence Artificielle (AFIA). Plate-Forme Intelligence Artificielle 2019, Jul 2019, Toulouse, France. 2019

    Accès: https://hal.archives-ouvertes.fr/hal-02458049

  • Thèses et habilitations
  • Maryam Rostamigiv

    About the type of modal logics for the unification problem

    Logic in Computer Science [cs.LO]. Université Toulouse III – Paul Sabatier, 2020. English

    Accès: https://tel.archives-ouvertes.fr/tel-03341556

  • Arianna Novaro

    Collective decision-making with goals

    Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III, 2019. English. ⟨NNT : 2019TOU30179⟩

    Accès: https://tel.archives-ouvertes.fr/tel-02626791

  • Maël Valais

    Traduction logique et résolution de problèmes : application à la planification

    Performance et fiabilité [cs.PF]. Université Paul Sabatier – Toulouse III, 2019. Français. ⟨NNT : 2019TOU30079⟩

    Accès: https://tel.archives-ouvertes.fr/tel-02893759

  • Christos Rantsoudis

    Knowledge Bases and Preferred Update Actions : Searching for Consistency through Dynamic Logic Programs

    Databases [cs.DB]. Université Paul Sabatier – Toulouse III, 2018. English. ⟨NNT : 2018TOU30286⟩

    Accès: https://tel.archives-ouvertes.fr/tel-02479121

  • David Fernández Duque

    Logical Dynamics

    Logic in Computer Science [cs.LO]. UT3 : Université Toulouse 3 Paul Sabatier, 2017

    Accès: https://hal-univ-tlse3.archives-ouvertes.fr/tel-03283096

  • Thèses et habilitations
    Rapports
  • Dominique Longin, Emiliano Lorini, Frédéric Maris

    A Logical Modeling of the Yōkai Board Game

    [Research Report] IRIT – Institut de recherche en informatique de Toulouse. 2020

    Accès: https://hal.archives-ouvertes.fr/hal-02983253v3

  • Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex

    Argumentation Frameworks with Higher-Order Attacks: Labelling Semantics

    [Research Report] IRIT/RR–2020–01–FR, IRIT – Institut de recherche en informatique de Toulouse. 2020

    Accès: https://hal.archives-ouvertes.fr/hal-02866037

  • Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex

    Argumentation Frameworks with Higher-Order Attacks: Complexity results

    [Research Report] IRIT/RR–2020–03–FR, Institut recherche en informatique de toulouse (IRIT). 2020

    Accès: https://hal.archives-ouvertes.fr/hal-02865981

  • Céline Castets-Renard, Philippe Besse, Jean-Michel Loubes, Laurent Perrussel

    Encadrement des risques techniques et juridiques des activités de police prédictive

    [Rapport de recherche] Centre des Hautes Etudes du Ministère de l’Intérieur. 2019

    Accès: https://hal.archives-ouvertes.fr/hal-02190585

  • Philippe Besnard, Claudette Cayrol, Marie-Christine Lagasquie-Schiex

    Logical Frameworks and Abstract Argumentation: A Survey of existing works

    [Research Report] IRIT/RR–2019–01–FR, IRIT – Institut de recherche en informatique de Toulouse. 2019

    Accès: https://hal.archives-ouvertes.fr/hal-02875934

  • Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex

    Valid attacks in Argumentation Frameworks with Recursive Attacks (IRIT/RR–2019–02–FR)

    [Research Report] IRIT/RR–2019–02–FR, IRIT – Institut de recherche en informatique de Toulouse. 2019

    Accès: https://hal.archives-ouvertes.fr/hal-02875610

  • Christian Barillot, Inbar Fijalkow, Isabelle Queinnec, Fabrice Theoleyre, Hélène Touzet, Michel Beaudouin-Lafon, Marie-Paule Cani, François Chaumette, Gérald Conreur, Véronique Cortier, Cyril Gavoille, Guy Gogniat, Julien Gossa, Andreas Herzig, Jean Krivine, Philippe Lamarre, Françoise Lamnabhi-Lagarrigue, Anne-Catherine Letournel, Lionel Seinturier, Isabelle Tellier, Serge Torres, Charlotte Truchet, Alexandros Tsoukias, Michel Verleysen

    Rapport de Prospective du Conseil Scientifique de l’Institut des Sciences de l’Information et leurs Interactions (INS2I)

    [Autre] CNRS. 2018, pp.1-87

    Accès: https://hal.archives-ouvertes.fr/hal-01956087

  • Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex

    Structure-based semantics of argumentation frameworks with higher-order attacks and supports

    [Research Report] IRIT-2018-05, IRIT – Institut de recherche en informatique de Toulouse. 2018

    Accès: https://hal.archives-ouvertes.fr/hal-02884147

  • Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex

    Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports

    [Research Report] IRIT-2018-01, IRIT – Institut de recherche en informatique de Toulouse. 2018

    Accès: https://hal.archives-ouvertes.fr/hal-02884137

  • Mickaël Lafages, Sylvie Doutre, Marie-Christine Lagasquie-Schiex

    Clustering and Distributed Computing in Abstract Argumentation

    [Technical Report] IRIT-2018-11, IRIT – Institut de recherche en informatique de Toulouse. 2018

    Accès: https://hal.archives-ouvertes.fr/hal-02884151v2

  • contrats de l’équipe

    AcronymeTitreResp. scDébut – fin
    AGAPE anr An Action LanGuage for GenerAl Auction PlayErs Laurent PERRUSSEL
    2018 – 2022
    CoPains anr Planification Cognitive dans la Communication Persuasive Multimodale Emiliano LORINI
    2018 – 2021
    SCONE
    [Contrat terminé]
    anr Social Choice and Social Networks Umberto GRANDI
    2018 – 2021
    EmoTES
    [Contrat terminé]
    autre Les émotions dans l’interaction sociale : théorie, experimentations, étude logique et informatique
    Emiliano LORINI
    2012 – 2014
    DynRes
    [Contrat terminé]
    anr Ressources dynamiques : séparation et mise à jour Andreas HERZIG
    2011 – 2014
    TIES
    [Contrat terminé]
    Social ties in economics : experiments and theory Emiliano LORINI
    2011 – 2014
    PIMI
    [Contrat terminé]
    autre Personal Information Management though Internet Andreas HERZIG
    Marco Antonio WINCKLER
    2010 – 2013
    CECIL
    [Contrat terminé]
    autre Emotions complexes dans la communication, l’interaction et le langage (Programme CONTINT) Dominique LONGIN
    2008 – 2011
    FOR TRUST
    [Contrat terminé]
    autre Social trust analysis and formalization Andreas HERZIG
    2007 – 2011
    AcronymeTitreResp. scDébut – fin
    TAILOR Foundations of Trustworthy AI – Integrating Reasoning, Learning and Optimization (TAILOR) Andreas HERZIG
    2020 – 2023
    SINTELNET
    [Contrat terminé]
    autre European Network for Social Intelligence Andreas HERZIG
    2011 – 2014
    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 Luis FARIñAS DEL CERRO
    2013 – 2016
    Mercredi 3 Novembre 2021 – Vendredi 5 Novembre 2021
    ADT-2021 : 7th International Conference on Algorithmic Decision Theory
    UT1 Capitole
    #congres En savoir plus
    Lundi 11 Octobre 2021, 14h00
    Lightweight approaches to reasoning about knowledge and belief
    Elise PERROTIN – Equipe LILaC, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Mardi 15 Décembre 2020, 10h00
    Reasoning about concurrent actions and its applications to epistemic and temporal planning
    Julien VIANEY – Equipe LILaC, Equipe ADRIA, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand et en visioconférence
    #these
    Jeudi 24 Septembre 2020, 10h30
    About the type of modal logics for the unification problem
    Maryam ROSTAMIGIV – Equipe LILaC, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #these
    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
    Mercredi 3 Novembre 2021 – Vendredi 5 Novembre 2021
    ADT-2021 : 7th International Conference on Algorithmic Decision Theory
    UT1 Capitole
    #congres En savoir plus
    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
    Jeudi 15 Juillet 2021, 15h00
    Interactive, Strategic, and Expressive Social Choice
    Umberto GRANDI – Equipe LILaC, IRIT UT1 Capitole, Bâtiment Arsenal, Salle de thèses
    #hdr
    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 10 Juin 2020 – Vendredi 12 Juin 2020
    REPOUSSÉS À JUIN 2021 | GAMA Days 2020
    Toulouse
    #journee
    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