publications team

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

  • Andreas Herzig, Juha Kontinen

    Preface (Special issue FolKS 2020)

    Annals of Mathematics and Artificial Intelligence, 2022, 90 (2-3), pp.145-147. ⟨10.1007/s10472-021-09782-y⟩

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

  • Andrea Loreggia, Emiliano Lorini, Giovanni Sartor

    Modeling Ceteris Paribus Preferences with Deontic Logic

    Journal of Logic and Computation, 2022, 32 (2), pp.347-368. ⟨10.1093/logcom/exab088⟩

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

  • National journals articles
    Special issues of journal
    International conferences articles
    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://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.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://hal.inria.fr/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
  • 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

  • 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

  • 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

  • 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

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

  • Munyque Mittelmann, Laurent Perrussel

    Game Description Logic with Integers: A GDL Numerical Extension

    Foundations of Information and Knowledge Systems: 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings, 12012, Springer International Publishing, pp.191-210, 2020, Lecture Notes in Computer Science book series, 978-3-030-39950-4. ⟨10.1007/978-3-030-39951-1_12⟩

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

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

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

  • 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

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

  • David Fernández Duque

    Logical Dynamics

    Logic in Computer Science [cs.LO]. UT3 : Université Toulouse 3 Paul Sabatier, 2017

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

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

  • 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

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