publications team

International journals articles

  • Antonio Yuste-Ginel, Andreas Herzig

    Qualitative uncertainty and dynamics of argumentation through dynamic logic

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

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

  • Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro

    A Framework for Modelling Molecular Interaction Maps

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

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

  • Xiaolong Liu, Philippe Besnard, Sylvie Doutre

    Paraconsistent inference relations induced from inconsistency measures

    International Journal of Approximate Reasoning, 2023, special issue: SI: Extended papers from the Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), 152, pp.183-197. ⟨10.1016/j.ijar.2022.10.006⟩

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

  • Umberto Grandi, Jérôme Lang, Ali Ozkes, Stéphane Airiau

    Voting behavior in one-shot and iterative multiple referenda

    Social Choice and Welfare, 2022, ⟨10.1007/s00355-022-01436-0⟩

    Accès: https://shs.hal.science/halshs-03896342

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

    Explaining Semantics and Extension Membership in Abstract Argumentation

    Intelligent Systems with Applications, 2022, 16, pp.200118. ⟨10.1016/j.iswa.2022.200118⟩

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

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

    Towards Algorithms for Argumentation Frameworks with Higher-order Attacks

    International Journal on Artificial Intelligence Tools, 2022, Special Issue on Selected Papers from the 32nd Annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI-2020), 31 (07), pp.2260007. ⟨10.1142/S0218213022600077⟩

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

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

    Generic logical encoding for argumentation

    Journal of Logic and Computation, 2022, 33 (3), pp.623-704. ⟨10.1093/logcom/exac039⟩

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

  • Xinghan Liu, Emiliano Lorini

    A Unified Logical Framework for Explanations in Classifier Systems

    Journal of Logic and Computation, 2022, ⟨10.1093/logcom/exac035⟩

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

  • Emiliano Lorini

    A Computationally Grounded Logic of Awareness

    Journal of Logic and Computation, 2022, ⟨10.1093/logcom/exac035⟩

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

  • Philippe Balbiani, Hans van Ditmarsch, Saúl Fernández González

    Asynchronous Announcements

    ACM Transactions on Computational Logic, 2022, 23 (2, article 10), pp.1-38. ⟨10.1145/3481806⟩

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

    • 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

  • David Fernández-Duque, Quentin Gougeon

    Fixed Point Logics on Hemimetric Spaces

    38th Annual Symposium on Logic in Computer Science (LICS 2023), ACM; IEEE, Jun 2023, Boston, United States. à paraître

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

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

    Visual Explanations for Defence in Abstract Argumentation

    International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2023, London, United Kingdom. pp.2346-2348, ⟨10.5555/3545946.3598929⟩

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

  • Rachael Colley, Umberto Grandi

    The Spread of Opinions via Boolean Networks

    19th European Conference on Multi-Agent Systems (EUMAS 2022), Nov 2022, Dusseldorf, Germany. pp.96-115, ⟨10.1007/978-3-031-20614-6_6⟩

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

  • Xinghan Liu, Emiliano Lorini

    A Logic of “Black Box” Classifier Systems

    28th Workshop on Logic, Language, Information and Computation (WOLLIC 2022), Sep 2022, Lasi, Romania. pp.158-174, ⟨10.1007/978-3-031-15298-6_10⟩

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

  • Sylvie Doutre, Marie-Christine Lagasquie-Schiex

    Computing the Labellings of Higher-Order Abstract Argumentation Frameworks

    4th International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022), Sep 2022, Cardiff, United Kingdom. pp.45-58

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

  • Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel

    Synthesis of Mechanisms with Strategy Logic (Short Paper)

    23rd Italian Conference on Theoretical Computer Science (ICTCS 2022), Sep 2022, Rome, Italy. pp.1-6

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

  • Philippe Balbiani, Quentin Gougeon

    Projective unification through duality

    Advances in Modal Logic (AiML 2022), Aug 2022, Rennes, France

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

  • Philippe Balbiani, Martín Diéguez, Çiğdem Gencer

    Advanced languages of terms for ontologies

    35th International Workshop on Description Logics (DL 2022) @ FLOC 2022: Fedrerated Logic Conference, Aug 2022, Haifa, Israel

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

  • Emiliano Lorini, Elise Perrotin-Boithias, François Schwarzentruber

    Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models

    19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Jul 2022, Haïfa, Israel. pp.236-246, ⟨10.24963/kr.2022/24⟩

    Accès: https://cnrs.hal.science/hal-04047571

  • Emiliano Lorini

    Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models

    19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Jul 2022, Haifa, Israel. pp.236-246, ⟨10.24963/kr.2022/24⟩

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

    • National conferences articles

  • 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

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

  • 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

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

    From Individual Goals to Collective Decisions (Extended Abstract)

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

    Accès: https://hal.science/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://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
    Thesis and HDR

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

    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

  • 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://theses.hal.science/tel-02893759

    • 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