publications team

International journals articles

  • 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, pp.1-54. ⟨10.1080/11663081.2023.2244715⟩

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

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

    Generic logical encoding for argumentation

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

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

  • 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

  • Philippe Balbiani, Çiğdem Gencer

    Computability of admissibility in the product of two Alt logics

    Logic Journal of the IGPL, In press

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

  • 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

  • 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

    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

  • 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

    • 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

  • Nathalie Aussenac-Gilles, Jérémy Bouché-Pillon, Pascale Zaraté, Yannick Chevallier, Pierre-Ves 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

  • 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

  • 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

    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

  • 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

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