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
Modèles formels de l'interaction
Logiques non-classiques
Théorie des jeux et choix social
Déduction automatique

personnel de l’équipe

Membres permanents
Membres non – permanents
Membres extérieur

publications de l’équipe

Articles dans des revues internationales

  • Jean-Guy Mailly

    Constrained incomplete argumentation frameworks: Expressiveness, complexity and enforcement

    AI Communications, 2024, 37 (3), pp.299–322. ⟨10.3233/AIC-220298⟩

    Accès: https://hal.science/hal-04596791

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

    A Logical Modeling of the Yōkai Board Game

    AI Communications, In press, pp.1-32. ⟨10.3233/AIC-230050⟩

    Accès: https://ut3-toulouseinp.hal.science/hal-04304902

  • Carlos Navarrete Lizama, Mariana Gomes da Motta Macedo, Rachael Colley, Jingling Zhang, Nicole Ferrada, Maria Eduarda Mello, Rodrigo Lira, Carmelo Bastos-Filho, Umberto Grandi, Jérôme Lang, César A. Hidalgo

    Understanding political divisiveness using online participation data from the 2022 French and Brazilian presidential elections

    Nature Human Behaviour, 2023, pp.1-84. ⟨10.1038/s41562-023-01755-x⟩

    Accès: https://hal.science/hal-04301837

  • Philippe Balbiani, Cigdem Gencer

    Undecidability of admissibility in the product of two Alt logics

    Logic Journal of the IGPL, 2023, ⟨10.1093/jigpal/jzad021⟩

    Accès: https://hal.science/hal-04307720

  • Rojo Randrianomentsoa, Hans van Ditmarsch, Roman Kuznets

    Impure Simplicial Complexes: Complete Axiomatization

    Logical Methods in Computer Science, 2023, 19 (4), ⟨10.46298/lmcs-19(4:3)2023⟩

    Accès: https://hal.science/hal-04248222

  • Philippe Balbiani, Quentin Gougeon

    Projective relative unification through duality

    Journal of Logic and Computation, 2023, ⟨10.1093/logcom/exad058⟩

    Accès: https://hal.science/hal-04277724

  • Quentin Gougeon, Philippe Balbiani

    Projective relative unification through duality

    Journal of Logic and Computation, 2023, pp.1–21. ⟨10.1093/logcom/exad058⟩

    Accès: https://hal.science/hal-04307724

  • Armando Castañeda, Hans van Ditmarsch, David Rosenblueth, Diego Velázquez

    Communication Pattern Logic: Epistemic and Topological Views

    Journal of Philosophical Logic, 2023, 52 (5), pp.1445-1473. ⟨10.1007/s10992-023-09713-8⟩

    Accès: https://hal.science/hal-04238181

  • Sylvie Doutre, Marie-Christine Lagasquie-Schiex

    RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks

    Journal of Applied Non-Classical Logics, 2023, Logic, arguments, inconsistencies: festschrift in honour of Philippe Besnard, 33 (3-4), pp.244-297. ⟨10.1080/11663081.2023.2244715⟩

    Accès: https://ut3-toulouseinp.hal.science/hal-04184838

  • Quentin Gougeon

    Some completeness results in derivational modal logic

    Journal of Logic and Computation, 2023, ⟨10.1093/logcom/exad047⟩

    Accès: https://hal.science/hal-04244926

    • Articles dans des revues nationales

  • Andreas Herzig, Faustine Maffre

    Planifier grâce au bavardage

    Interstices, 2017

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

  • Dominique Longin, Emiliano Lorini

    L’équipe LILaC et l’IA

    Bulletin de l’Association Française pour l’Intelligence Artificielle, 2017, Dossier “Equipes de recherche en IA”, 97

    Accès: https://hal.science/hal-03128354

    • Articles dans des revues nationales
    Rédaction de numéros spéciaux de revues

  • Fatiha Saïs, Emmanuel Adam, Grégory Bonnet, Dominique Longin

    PFIA 2023

    Bulletin de l’Association Française pour l’Intelligence Artificielle, 122, 2023, Association Française d’Intelligence Artificielle

    Accès: https://ut3-toulouseinp.hal.science/hal-04559065

  • Sylvie Doutre, Andreas Herzig, Anthony Hunter

    Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard

    Journal of Applied Non-Classical Logics, 33 (3-4: Logic, arguments, inconsistencies, festschrift in honour of Philippe Besnard), pp.207-211, 2023, ⟨10.1080/11663081.2023.2250183⟩

    Accès: https://hal.science/hal-04306999

  • Nouredine Hadjsaid, Gaël Lejeune, Emmanuel Adam, Dominique Longin

    IA & énergie

    Bulletin de l’Association Française pour l’Intelligence Artificielle, 121, 2023, Association Française d’Intelligence Artificielle

    Accès: https://ut3-toulouseinp.hal.science/hal-04559048

  • Nathalie Nevejans, Grégory Bonnet, Gaël Lejeune, Dominique Longin

    IA & normes

    Bulletin de l’Association Française pour l’Intelligence Artificielle, 120, 2023, Association Française d’Intelligence Artificielle

    Accès: https://ut3-toulouseinp.hal.science/hal-04558847

  • Vaishak Belle, Thomas Bolander, Andreas Herzig, Bernhard Nebel

    Epistemic planning: Perspectives on the special issue

    Artificial Intelligence, 316 (3/4 – Special Issue: Epistemic Planning), pp.103842, 2023, ⟨10.1016/J.ARTINT.2022.103842⟩

    Accès: https://hal.science/hal-04306997

  • Dominique Longin, Grégory Bonnet

    Équipes académiques en IA

    Bulletin de l’Association Française pour l’Intelligence Artificielle, 119, 2023, Association Française d’Intelligence Artificielle

    Accès: https://hal.science/hal-04558561

  • Emmanuel Adam, Dominique Longin

    PFIA 2022

    Bulletin de l’Association Française pour l’Intelligence Artificielle, 118, 2022, Association Française d’Intelligence Artificielle

    Accès: https://hal.science/hal-04559805

  • Gaël Lejeune, Emmanuel Adam, Dominique Longin

    Équipes industrielles en IA

    Bulletin de l’Association Française pour l’Intelligence Artificielle, 117, 2022, Association Française d’Intelligence Artificielle

    Accès: https://hal.science/hal-04560545

  • Nicolas Maudet, Grégory Bonnet, Gaël Lejeune, Dominique Longin

    IA & explicabilité

    Bulletin de l’Association Française pour l’Intelligence Artificielle, 116, 2022, Association Française d’Intelligence Artificielle

    Accès: https://hal.science/hal-04560561

  • Anne Boyer, Laurent Vercouter, Dominique Longin, Grégory Bonnet

    Formations en IA

    Bulletin de l’Association Française pour l’Intelligence Artificielle, 115, 2022, Association Française d’Intelligence Artificielle

    Accès: https://hal.science/hal-04560724

    • Conférences et workshops internationaux avec actes édités et comité de lecture

  • Stergos Afantenos, Henri Prade, Gilles Richard, Leonardo Cortez-Bernades

    Analogical Proportions and Creativity: A Preliminary Study

    15th International Conference on Computational Creativity (ICCC 2024), Jun 2024, Jönköping, Sweden. pp.1–10

    Accès: https://hal.science/hal-04587140

  • Florence Dupin de Saint-Cyr, Nicolas Yannick Pepin, Nassim Mokhtari, Philippe Morignot, Julien Vianey, Anne-Gwenn Bosser, Liana Ermakova

    DriveToGaether: a Turnkey Collaborative Robotic Event Platform

    16th International Conference on Agents and Artificial Intelligence (ICAART 2024), Feb 2024, Rome, Italy. pp.404–411, ⟨10.5220/0012463800003636⟩

    Accès: https://hal.science/hal-04402625v2

  • Philippe Balbiani, Han Gao, Cigdem Gencer, Nicola Olivetti

    A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus

    32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.1–21, ⟨10.4230/LIPIcs.CSL.2024.13⟩

    Accès: https://amu.hal.science/hal-04457356

  • Ryan Schuerkamp, Philippe Giabbanelli, Umberto Grandi, Sylvie Doutre

    How to Combine Models? Principles and Mechanisms to Aggregate Fuzzy Cognitive Maps

    Winter Simulation Conference (WSC 2023), Dec 2023, San Antonio, Texas, United States

    Accès: https://hal.science/hal-04343205

  • Timothy Parker, Umberto Grandi, Emiliano Lorini

    Anticipating Responsibility in Multiagent Planning

    26th European Conference on Artificial Intelligence (ECAI 2023), Oct 2023, Crakow, Poland. ⟨10.3233/faia230474⟩

    Accès: https://hal.science/hal-04301766

  • Stéphane Airiau, Hugo Gilbert, Umberto Grandi, Jérôme Lang, Anaëlle Wilczynski

    Fair Rent Division on a Budget Revisited

    26th European Conference on Artificial Intelligence (ECAI 2023), European Association for Artificial Intelligence (EurAI); Polish Artificial Intelligence Society (PSSI), Sep 2023, Kraków, Poland. ⟨10.3233/faia230253⟩

    Accès: https://hal.science/hal-04261690

  • Sébastien Konieczny, Elise Perrotin, Ramón Pino Pérez

    Belief Reconfiguration

    European Conference on Logics in Artificial Intelligence (JELIA 2023), Sep 2023, Dresden, Germany. pp.446-461, ⟨10.1007/978-3-031-43619-2_31⟩

    Accès: https://hal.science/hal-04494547

  • Tiago De Lima, Emiliano Lorini, François Schwarzentruber

    Base-Based Model Checking for Multi-agent only Believing

    18th European Conference on Logics in Artificial Intelligence ( JELIA 2023), Sep 2023, Dresden, Germany. pp.437-445, ⟨10.1007/978-3-031-43619-2_30⟩

    Accès: https://univ-artois.hal.science/hal-04268823

  • Carlos Aguilera-Ventura, Andreas Herzig, Xinghan Liu, Emiliano Lorini

    Counterfactual Reasoning via Grounded Distance

    20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Principles of Knowledge Representation and Reasoning, Incorporated (KR, Inc.), Sep 2023, Rhodes, Greece. pp.2-11, ⟨10.24963/KR.2023/1⟩

    Accès: https://hal.science/hal-04307012

  • Rachael Colley, Umberto Grandi, César A. Hidalgo, Mariana Gomes da Motta Macedo, Carlos Navarrete Lizama

    Measuring and Controlling Divisiveness in Rank Aggregation

    32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), Aug 2023, Macau, China. pp.2616-2623, ⟨10.24963/ijcai.2023/291⟩

    Accès: https://hal.science/hal-04301819

    • Conférences et workshops nationaux avec actes édités et comité de lecture

  • Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex

    Classes of Explanations for the Verification Problem in Abstract Argumentation

    Journées d’Intelligence Artificielle Fondamentale (JIAF 2023), Association française pour l’intelligence artificielle (AFIA), Jul 2023, Strasboug, France. pp.1-10

    Accès: https://ut3-toulouseinp.hal.science/hal-04192609

  • Nathalie Aussenac-Gilles, Jérémy Bouché-Pillon, Pascale Zaraté, Yannick Chevalier, Pierre-Yves Gicquel

    Éléments d’état de l’art sur l’extraction et la modélisation de règles formelles à partir de textes légaux

    34es Journées francophones d’Ingénierie des Connaissances (IC 2023) @ PFIA 2023, Collège SIC (Science de l’Ingénierie des Connaissances) de l’AFIA, Jul 2023, Strasbourg, France. pp.79-84

    Accès: https://hal.science/hal-04153047

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

    An Implemented System for Cognitive Planning

    Journées Francophones Planification, Décision et Apprentissage (JFPDA 2022), Plate-Forme Intelligence Artificielle, Jun 2022, Saint-Etienne, France. pp.1-4

    Accès: https://ut3-toulouseinp.hal.science/hal-03763068

  • 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.253-260

    Accès: https://inria.hal.science/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.science/hal-02889413

  • Philippe Besnard, Vincent Risch

    Consistency Measures, Inconsistency Measures, and Mix Measures (Preliminary Report)

    13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France. pp.37–43

    Accès: https://hal.science/hal-02302956

  • Philippe Balbiani

    Unification in modal logic

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

    Accès: https://hal.science/hal-02411246v2

  • 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://inria.hal.science/hal-01840825

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

    Other-Condemning Anger = Blaming Accountable Agents for Frustrated Intentions (PRIMA 2017)

    20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017), Oct 2017, Nice, France. pp.15-33, ⟨10.1007/978-3-319-69131-2_2⟩

    Accès: https://hal.science/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 (APIA 2017), Jul 2017, Caen, France. pp.1-4

    Accès: https://hal.science/hal-01561521

    • Livres (monographies)

  • Emmanuel Adam, Thomas Guyet, Benoit Le Blanc, Dominique Longin, Zied Bouraoui, Sandra Bringay, Romaric Gaudel, Charlotte Laclau, Christelle Launois, Maxime Morge, Catherine Roussey, François Schwarzentruber, Cassia Trojahn, Élise Vareilles, Anaelle Wilczynski

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

    Association Française pour l’Intelligence Artificielle, 2023

    Accès: https://ut3-toulouseinp.hal.science/hal-04310171

  • Thomas Guyet, Philippe Besnard

    Chronicles: Formalization of a Temporal Model

    Springer International Publishing, pp.121, 2023, SpringerBriefs in Computer Science (BRIEFSCOMPUTER), 978-3-031-33692-8. ⟨10.1007/978-3-031-33693-5⟩

    Accès: https://inria.hal.science/hal-04173959

  • Zied Bouraoui, Valérie Camps, Éric Gaussier, Maxime Guériau, Christelle Launois, Nicolas Prcovic, Céline Rouveirol, Fatiha Saïs, François Schwarzentruber, Anaelle Wilczynski, Yves Demazeau, Thomas Guyet, Dominique Longin, Davy Monticolo, Ahmed Samet

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

    Association Française d’Intelligence Artificielle, pp.1-239, 2022

    Accès: https://hal.science/hal-03777860v2

  • Andreas Herzig, Antonio Yuste-Ginel

    Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic

    Logic and Argumentation: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings, 13040, Springer International Publishing, pp.190-208, 2021, Lecture Notes in Computer Science book series (LNCS), 978-3-030-89390-3. ⟨10.1007/978-3-030-89391-0_11⟩

    Accès: https://hal.science/hal-03573580

  • Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes Peter Wallner

    Enforcement in Formal Argumentation

    Dov Gabbay; Massimiliano Giacomin; Guillermo Simari; Matthias Thimm. Handbook of Formal Argumentation, Volume 2, 2, College Publications, 2021, 978-1-84890-336-4

    Accès: https://hal.science/hal-03541725

  • Olivier Boissier, Zied Bouraoui, Stephan Brunessaux, Sylvie Doutre, Jean-Paul Jamont, Abir Karami, Maxime Lefrançois, Céline Rouveirol, François Schartzentruber, Yves Demazeau, Thomas Guyet, Dominique Longin, Frédéric Maris

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

    Association Française d’Intelligence Artificielle, 2021

    Accès: https://hal.science/hal-03353852

  • Munyque Mittelmann, Andreas Herzig, Laurent Perrussel

    Epistemic Reasoning About Rationality and Bids in Auctions

    Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings ;, 12678, Springer International Publishing, pp.116-130, 2021, Lecture Notes in Computer Science book series, 978-3-030-75774-8. ⟨10.1007/978-3-030-75775-5_9⟩

    Accès: https://hal.science/hal-03573581

  • 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.science/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 d’Intelligence Artificielle, 2020

    Accès: https://hal.science/hal-02964840

  • 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.science/hal-03015825

    • Recueils des communications

  • Jean-Guy Mailly, François Schwarzentruber, Anaelle Wilczynski

    18èmes Journées d’Intelligence Artificielle Fondamentale et 19es Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes

    Association Française pour l’Intelligence Artificielle, 2024

    Accès: https://hal.science/hal-04620491

  • Natasha Alechina, Andreas Herzig, Fei Liang

    Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings

    Lecture Notes in Computer Science, 14329, Springer Nature Switzerland, pp.XXVI, 1–323, 2023, Lecture Notes in Computer Science, 978-3-031-45557-5. ⟨10.1007/978-3-031-45558-2⟩

    Accès: https://hal.science/hal-04307006

  • Andreas Herzig, Jieting Luo, Pere Pardo

    Logic and Argumentation: 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

    Lecture Notes in Computer Science, 14156, Springer Nature Switzerland, pp.XX, 1–225, 2023, Lecture Notes in Computer Science, 978-3-031-40874-8. ⟨10.1007/978-3-031-40875-5⟩

    Accès: https://hal.science/hal-04307001

  • Alexandre Dey, Benjamin Costé, Éric Totel, Adrien Bécue, Elkin Aguas, Anthony Lambert, Gregory Blanc, Hervé Debar, Yannick Chevalier, Amine Medad, Baptiste Gregorutti, Edouard Genetay, Alexandre Peter Nguema, Grégoire Menguy, Sébastien Bardin, Richard Bonichon, Cauim de de Souza Lima, Rémy Charayron, Thierry Lefèvre, Nathalie Bartoli, Joseph Morlier, Zakaria Chihani, Bruno Carron, Stephan Brunessaux, Léonard Caquot, Tristan Charrier, Badre El Bezzaz Semlali, Oudomsack Pierre Pasquero, Alexis Bazin, Pierre-Elisée Flory, Katarzyna Kapusta, Oana Stan, Vincent Thouvenot, Karel Hynek, Romain Ferrari, Aymen Boudguiga, Renaud Sirdey, Alice Héliou, Thomas Cejka, Daria La Rocca, Martin Zuber, George Vardoulias, Ioannis Papaioannou, Andreas Vekinis, Georgia Papadopoulou, Marc Vincent, Amal El Fallah-Seghrouchni, Vincent Corruble, Narayan Bernardin, Rami Kassab, Frédéric Barbaresco, Karim Tit, Teddy Furon, Mathias Rousset, Louis-Marie Traonouez, Pierre-Yves Lagrave, Vincent Vidal, Marie-Caroline Corbineau, Tugdual Ceillier, Aleksei Iancheruk, Ahmed Allali, Julien Rodriguez, Tejas Bhor, Ricardo Garcia, Jean-Eudes Guilhot-Gaudeffroy, Robert Plana

    Actes de la conférence CAID 2021 (Conference on Artificial Intelligence for Defense)

    CAID 2021 (Conference on Artificial Intelligence for Defense), pp.1-152, 2021

    Accès: https://hal.science/hal-03535661

  • Zied Bouraoui, Sylvie Doutre

    Actes des 15es Journées d’Intelligence Artificielle Fondamentale

    Plate-Forme Intelligence Artificielle, Association Française pour l’Intelligence Artificielle, 2021

    Accès: https://hal.science/hal-03358942

  • Zied Bouraoui, Sylvie Doutre

    Actes des 14es Journées d’Intelligence Artificielle Fondamentale

    Plate-Forme Intelligence Artificielle, Association Française pour l’Intelligence Artificielle, 2020

    Accès: https://hal.science/hal-02951644

  • Sylvie Doutre, Tiago de Lima

    Actes des 13es Journées d’Intelligence Artificielle Fondamentale

    Plate-Forme Intelligence Artificielle, Association Française pour l’Intelligence Artificielle, 2019

    Accès: https://hal.science/hal-02976649

  • Umberto Grandi, Stefan Napel, Rolf Niedermeier, Kristen Brent Venable

    Application-Oriented Computational Social Choice

    Dagstuhl Seminar 19381 “ApplicationOriented Computational Social Choice”, Sep 2019, Wadern, Germany. 9 (9), Dagstuhl Publishing, 2019, ⟨10.4230/DagRep.9.9.45⟩

    Accès: https://hal.science/hal-03066844

    • Rédaction d'actes de conférences et de workshops
    Thèses et habilitations

  • Xinghan Liu

    A logical investigation of explainable AI

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

    Accès: https://theses.hal.science/tel-04431518

  • Jorge Luis Fernandez Davila

    Logic-based Cognitive Planning : from theory to implementation

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

    Accès: https://theses.hal.science/tel-04136582

  • Munyque Mittelmann

    Logics for Representation and Design of Auctions

    Multiagent Systems [cs.MA]. Université Toulouse 1 Capitole, 2022. English. ⟨NNT : ⟩

    Accès: https://hal.science/tel-04086849

  • Saúl Fernández González

    Logics for Social Networks : Asynchronous Announcements in Orthogonal Structures

    Library and information sciences. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30269⟩

    Accès: https://theses.hal.science/tel-03683355

  • Mickaël Lafages

    Algorithms for enriched abstract argumentation frameworks for large-scale cases

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

    Accès: https://theses.hal.science/tel-03664752

  • Dmitry Levshun

    Models, algorithms and methodology for design of microcontroller-based physical security systems protected from cyber-physical attacks

    Cryptography and Security [cs.CR]. Université Paul Sabatier – Toulouse III; ITMO University, 2021. English. ⟨NNT : 2021TOU30252⟩

    Accès: https://theses.hal.science/tel-03699663

  • Elise Perrotin

    Lightweight approaches to reasoning about knowledge and belief

    Library and information sciences. Université Paul Sabatier – Toulouse III, 2021. English. ⟨NNT : 2021TOU30265⟩

    Accès: https://theses.hal.science/tel-03683642

  • Umberto Grandi

    Interactive, Strategic, and Expressive Social Choice

    Computer Science [cs]. Université Toulouse 1 Capitole, 2021

    Accès: https://hal.science/tel-03965349

  • Julien Vianey

    Reasoning about concurrent actions and its applications to epistemic and temporal planning

    Networking and Internet Architecture [cs.NI]. Université Paul Sabatier – Toulouse III, 2020. English. ⟨NNT : 2020TOU30317⟩

    Accès: https://theses.hal.science/tel-03533234

  • 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. ⟨NNT : ⟩

    Accès: https://theses.hal.science/tel-03341556

    • Rapports

  • Jean-Guy Mailly

    pygarg: A Python Engine for Argumentation

    IRIT/RR–2024–02–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2024

    Accès: https://hal.science/hal-04526918v2

  • Yannick Chevalier

    Theory Synthesis based on Experience

    [Research Report] IRIT/RR–2022–08–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2022

    Accès: https://ut3-toulouseinp.hal.science/hal-03829757v2

  • Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex

    Classes of Explanations for the Verification Problem in Abstract Argumentation

    IRIT/RR–2022–09–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2022

    Accès: https://ut3-toulouseinp.hal.science/hal-04016550

  • Sylvie Doutre, Marie-Christine Lagasquie-Schiex

    RAFDivider

    [Research Report] IRIT/RR–2022–07–FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2022, pp.1-48

    Accès: https://ut3-toulouseinp.hal.science/hal-03719439

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

    AFDivider : Manual and Documentation

    [Research Report] IRIT/RR–2022–02–FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2022, pp.1-45

    Accès: https://ut3-toulouseinp.hal.science/hal-03701260

  • Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex

    Question-Based Explainability in Abstract Argumentation

    [Research Report] IRIT/RR–2022–01–FR, IRIT : Institut de Recherche en Informatique de Toulouse, France. 2022, pp.1-64

    Accès: https://ut3-toulouseinp.hal.science/hal-03647896

  • Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex

    Explainability of Extension-Based Semantics

    [Research Report] IRIT/RR–2022–05–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2022, pp.1-20

    Accès: https://ut3-toulouseinp.hal.science/hal-03657060

  • 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.science/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.science/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.science/hal-02865981

    • contrats de l’équipe

    AcronymeTitreResp. scDébut-Fin
    ALoRS anr Action, Logique, Raisonnement et Spiking networks

    		 Dominique LONGIN
    		2022 – 2025
    AT2TA anr Analogies: from Theory to Tools and Applications

    		 Stergos AFANTENOS
    		2023 – 2026
    epiRL anr Apprentissage par renforcement épistémique

    		 Emiliano LORINI
    		2023 – 2027
    Projet MRSEI : CONFORMATION Social Good and Formal Verification

    		 Laurent PERRUSSEL
    		2024 – 2026
    SCONE
    [Contrat terminé]    		 anr Social Choice and Social Networks

    		 Umberto GRANDI
    		2019 – 2023
    AGAPE
    [Contrat terminé]    		 anr An Action LanGuage for GenerAl Auction PlayErs

    		 Laurent PERRUSSEL
    		2018 – 2022
    CoPains
    [Contrat terminé]    		 anr Planification Cognitive dans la Communication Persuasive Multimodale

    		 Emiliano LORINI
    		2018 – 2024
    AcronymeTitreResp. scDébut-Fin
    TAILOR
    [Contrat terminé]    		 Foundations of Trustworthy AI – Integrating Reasoning, Learning and Optimization

    		 Andreas HERZIG
    		2020 – 2023
    AcronymeTitreResp. scDébut-Fin
    ICO : SEM4Trust Défi clé Institut de Cybersécurité Occitanie : Améliorer la confiance dans les réseaux sociaux par des analyses sémantiques

    		 Nathalie AUSSENAC-GILLES
    Pascale ZARATÉ
    Yannick CHEVALIER
    		2022 – 2026
    MIDOC : Ingénieur 2024 Défi Clé Mobilité Intelligente et Durable en Occitanie : Financement d’Ingénieurs 2024

    		 Valérie CAMPS
    Antonio SERPA
    Yannick CHEVALIER
    Rahim KACIMI
    Elsy KADDOUM
    		2024 – 2027
    Logique Mathématique
    [Contrat terminé]    		 CLE :Logique mathématique et informatique appliquées à la modélisation de la décision cellulaire

    		 Luis FARIÑAS DEL CERRO
    		2013 – 2015
    Mercredi 13 Décembre 2023, 10h00
    Argumentation, Logique et Explicabilité
    Théo DUCHATELLE – Equipe LILaC, Equipe ADRIA, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Jeudi 23 Novembre 2023, 14h00
    Démêler la division et la polarisation des citoyens lors des élections
    Carlos NAVARRETE LIZAMA – Equipe LILaC, IRIT UT1 Capitole, En visioconférence
    #these
    Lundi 9 Octobre 2023, 10h00
    A Logical Investigation of Explainable AI
    Xinghan LIU – Equipe LILaC, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Lundi 26 Juin 2023, 10h00
    Expressive and Rational Delegations in Voting
    Rachael COLLEY – Equipe LILaC, IRIT UT1 Capitole, Bâtiment Arsenal, Salle de thèses
    #these
    Vendredi 23 Septembre 2022, 10h00
    Logic-based Cognitive Planning: from Theory to Implementation
    Jorge Luis FERNANDEZ DAVILA – Equipe ADRIA, Equipe LILaC, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Jeudi 1 Septembre 2022, 10h00
    Logiques pour la Représentation et la Conception d’Enchères
    Munyque MITTELMANN – Equipe LILaC, IRIT UT1 Capitole, Bâtiment Arsenal, Salle de thèses
    #these
    Mercredi 15 Décembre 2021, 10h00
    Algorithmique des systèmes d’argumentation abstraits enrichis, en vue du passage à l’échelle
    Mickaël LAFAGES – Equipe ADRIA, Equipe LILaC, IRIT UT1 Capitole, En visioconférence
    #these
    Mercredi 15 Décembre 2021, 10h00
    Logics for social networks: asynchronous announcements in orthogonal structuress
    Saul FERNANDEZ GONZALEZ – Equipe LILaC, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #these
    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
    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 15 Février 2023, 10h00 – 11h30
    Pharo : a powerful language for complex projects
    Stéphane DUCASSE – DR Inria Lille-Europe, chef de l’équipe-projet RMoD (France) UT3 Paul Sabatier, IRIT, Salle des Thèses
    #seminaire
    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 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