team publications

International journals articles
  • 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

  • Hans van Ditmarsch

    To be announced

    Information and Computation, 2023, 292, pp.105026. ⟨10.1016/j.ic.2023.105026⟩

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

  • National journals articles
  • 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

  • National journals articles
    Special issues of journal
    International conferences articles
  • 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. à paraître

    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

  • Umberto Grandi, Emiliano Lorini, Timothy Parker

    Moral Planning Agents with LTL Values

    32nd International Joint Conference on Artificial Intelligence (IJCAI 2023 ), International Joint Conferences on Artifical Intelligence (IJCAI), Aug 2023, Macau, China. pp.418-426, ⟨10.24963/ijcai.2023/47⟩

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

  • National conferences articles
  • 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

  • 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.1-8

    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 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

  • Conferences articles without published proceedings
    Books
  • 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

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

  • Thesis and HDR
  • 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

  • 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

  • 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

  • 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

  • Arianna Novaro

    Collective decision-making with goals

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

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

  • Reports
  • 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

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