Equipe LILaC

Responsables :

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
      Membres rattachés

        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

      • 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

      • 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

      • 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

      • 503 Service Temporarily Unavailable

        Service Temporarily Unavailable

        The server is currently unable to handle the request due to a temporary overloading or maintenance of the server.

        503 Service Temporarily Unavailable

        Service Temporarily Unavailable

        The server is currently unable to handle the request due to a temporary overloading or maintenance of the server.

        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

      • 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

      • 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

      • 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

      • Martin Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey

        Lightweight Parallel Multi-Agent Epistemic Planning

        17th International Conference on Principles of Knowledge Representation and Reasoning – KR 2020, Sep 2020, Rhodes, Greece

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

      • Conférences et workshops nationaux avec actes édités et comité de lecture
      • Thomas Guyet, Philippe Besnard, Ahmed Samet, Nasreddine Ben Salha, Nicolas Lachiche

        Énumération des occurrences d’une chronique

        EGC 2020 – 20ème édition de la Conférence Extraction et Gestion des Connaissances, Jan 2020, Bruxelles, Belgique. pp.1-8

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

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

        A Distributed and Clustering-based Algorithm for the Enumeration Problem in Abstract Argumentation (JIAF 2020)

        14èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2020), AFIA, 2020, Angers, France. pp.99-108

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

      • Sirin Botan, Umberto Grandi, Laurent Perrussel

        Multi-Issue Opinion Diffusion under Constraints

        18th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), May 2019, Montreal, Canada. pp.828-836

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

      • Philippe Balbiani

        Unification in modal logic

        Indian Conference on Logic and Its Applications (ICLA), Mar 2019, Delhi, India. pp.1-5, ⟨10.1007/978-3-662-58771-3_1⟩

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

      • Arianna Novaro, Umberto Grandi, Dominique Longin, Emiliano Lorini

        From Individual Goals to Collective Decisions

        17th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018), Jul 2018, Stockholm, Sweden. pp.2028-2030

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

      • Frédéric Maris, Maël Valais, Julien Vianey

        Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu

        Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA @ PFIA 2018), LORIA : Laboratoire lorrain de Recherche en Informatique et ses Applications, France; AFIA : Association française pour l’intelligence artificielle, France, Jul 2018, Nancy, France

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

      • Mehdi Dastani, Emiliano Lorini, John-Jules Meyer, Alexander Pankov

        Other-Condemning Anger = Blaming Accountable Agents for Frustrated Intentions

        20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017), Oct 2017, Nice, France. pp.15-33

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

      • Philippe Besnard, Sylvie Doutre, Dominique Longin

        Le système Sesame : Spécifier des sémantiques argumentatives

        Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle, Jul 2017, Caen, France. pp.1-4

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

      • 503 Service Temporarily Unavailable

        Service Temporarily Unavailable

        The server is currently unable to handle the request due to a temporary overloading or maintenance of the server.

        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

      • 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

      • 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

      • 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

      • 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

      • 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

      • 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

      • 503 Service Temporarily Unavailable

        Service Temporarily Unavailable

        The server is currently unable to handle the request due to a temporary overloading or maintenance of the server.

        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

      • 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

      • 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

      • 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

        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

      • 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

      • contrats de l’équipe

        AcronymeTitreResp. scDébut – fin
        AcronymeTitreResp. scDébut – fin
        AcronymeTitreResp. scDébut – fin
        Mercredi 3 Novembre 2021 – Vendredi 5 Novembre 2021
        ADT-2021 : 7th International Conference on Algorithmic Decision Theory
        UT1 Capitole
        #congres En savoir plus
        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
        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
        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