publications team

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

    Explaining Semantics and Extension Membership in Abstract Argumentation

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

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

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

    Generic logical encoding for argumentation

    Journal of Logic and Computation, Oxford University Press (OUP), 2022, ⟨10.1093/logcom/exac039⟩

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

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

    Asynchronous Announcements

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

    Accès: https://hal.archives-ouvertes.fr/hal-03762135

  • Andreas Herzig, Juha Kontinen

    Preface (Special issue FolKS 2020)

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

    Accès: https://hal.archives-ouvertes.fr/hal-03573573

  • Munyque Mittelmann, Sylvain Bouveret, Laurent Perrussel

    Representing and reasoning about auctions

    Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2022, 36, pp.article 20. ⟨10.1007/s10458-022-09547-9⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03605655

  • Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi

    Unification types in Euclidean modal logics

    Logic Journal of the IGPL, Oxford University Press (OUP), 2022, pp.jzab036. ⟨10.1093/jigpal/jzab036⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03762124

  • Philippe Balbiani, Çiğdem Gencer, Maryam Rostamigiv, Tinko Tinchev

    Remarks about the unification types of some locally tabular normal modal logics

    Logic Journal of the IGPL, Oxford University Press (OUP), 2022, ⟨10.1093/jigpal/jzab033⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03762700

  • Cristina Cornelio, Judy Goldsmith, Umberto Grandi, Nicholas Mattei, Francesca Rossi, K. Brent Venable

    Reasoning with PCP-Nets

    Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2021, 72, pp.1103-1161. ⟨10.1613/jair.1.13009⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03515222

  • Philippe Balbiani, Joseph Boudou, David Fernández-Duque

    Bisimulations for intuitionistic temporal logics

    Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications, College Publications, 2021, 8 (8), pp.2265-2285

    Accès: https://hal.archives-ouvertes.fr/hal-03248077

  • Philippe Balbiani, Cigdem Gencer, Maryam Rostamigiv, Tinko Tinchev

    About the unification type of K + Box Box false

    Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2021, 90, pp.481-497

    Accès: https://hal.archives-ouvertes.fr/hal-03762105

  • National journals articles
    Special issues of journal
    International conferences articles
  • Philippe Balbiani, Quentin Gougeon

    Projective unification through duality

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

    Accès: https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-03762589

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

    A Simple Framework for Cognitive Planning

    Workshop Cognitive Aspects of Knowledge Representation @ IJCAI-ECAI 2022, Jul 2022, Vienna, Austria. à paraître

    Accès: https://hal.archives-ouvertes.fr/hal-03760340

  • Leila Amgoud, Jonathan Ben-Naim

    Axiomatic Foundations of Explainability

    31st International Joint Conference on Artificial Intelligence (IJCAI 2022), Jul 2022, Vienne, Austria

    Accès: https://hal.laas.fr/hal-03702681

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

    Ontologies and Rules for Access Control: a Feature Oriented Survey

    1st Workshop on Collaboration in knowledge discovery and decision making: Applications to sustainable agriculture (DECISIONING 2022), Jun 2022, La Plata, Argentina. pp.1-12

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

  • Francesco Belardinelli, Wojciech Jamroga, Vadim Malvone, Munyque Mittelmann, Aniello Murano, Laurent Perrussel

    Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions

    21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), May 2022, Auckland (virtual), New Zealand

    Accès: https://hal.archives-ouvertes.fr/hal-03666430

  • Emiliano Lorini, Nicolas Sabouret, Brian Ravenet, Jorge Luis Fernandez Davila, Céline Clavel

    Cognitive Planning in Motivational Interviewing

    14th International Conference on Agents and Artificial Intelligence (ICAART 2022), INSTICC: Institute for Systems and Technologies of Information, Control and Communication, Feb 2022, Online, Portugal. pp.1-11

    Accès: https://hal.archives-ouvertes.fr/hal-03714884

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

    An Implemented System for Cognitive Planning

    International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online, France

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

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

    Strategic Reasoning in Automated Mechanism Design

    18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2021, Hanoii, Vietnam. pp.487-496, ⟨10.24963/kr.2021/46⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03594785

  • Xinghan Liu, Emiliano Lorini

    A Logic for Binary Classifiers and Their Explanation

    4th International Conferenceon Logic and Argumentation (CLAR 2021), Oct 2021, Hangzhou, China. pp.302-321, ⟨10.1007/978-3-030-89391-0_17⟩

    Accès: https://hal.archives-ouvertes.fr/hal-03453910

  • 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

    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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-02411246v2

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

    From Individual Goals to Collective Decisions

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

    Accès: https://hal.archives-ouvertes.fr/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

    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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01561521

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

    Actes CNIA 2022 : Conférence Nationale d’Intelligence Artificielle

    Association Française pour l’Intelligence Artificielle (AFIA). Plate-Forme Intelligence Artificielle (PFIA 2022), Jun 2022, Saint-Etienne, France. pp.1-239, 2022

    Accès: https://hal.archives-ouvertes.fr/hal-03777860v2

  • 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, Aimen 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)

    3rd Conference on Artificial Intelligence for Defense (CAID 2021), Nov 2021, Rennes, France. pp.1-152, 2021

    Accès: https://hal.archives-ouvertes.fr/hal-03535661

  • 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.archives-ouvertes.fr/hal-03573580

  • Dominique Longin

    Bulletin de l’AFIA N° 114 (editor)

    Bulletin de l’Association Française pour l’Intelligence Artificielle, AFIA : Association Française pour l’Intelligence Artificielle, 2021

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

  • 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.archives-ouvertes.fr/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 pour l’Intelligence Artificielle (AFIA). Plate-Forme Intelligence Artificielle 2021, Jun 2021, Bordeaux, France. 2021

    Accès: https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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

    Isabelle Bloch; Zied Bouraoui; Nicolas Sabouret; Yves Demazeau; Dominique Longin; Stephan Brunessaux; Sylvie Doutre; Amal El Fallah-Seghrouchni; Sébastien Ferré; Frédéric Maris; Alexandre Niveau. Conférence Nationale d’Intelligence Artificielle (CNIA 2020), Jun 2020, Angers, France. Association Française pour l’Intelligence Artificielle (AFIA), 2020

    Accès: https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-03015825

  • Thesis and HDR
  • 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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/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

    Accès: https://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/tel-02479121

  • David Fernández Duque

    Logical Dynamics

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

    Accès: https://hal-univ-tlse3.archives-ouvertes.fr/tel-03283096

  • Reports
  • 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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-02875610

  • Philippe Besnard, Claudette Cayrol, Marie-Christine Lagasquie-Schiex

    Logical Frameworks and Abstract Argumentation: A Survey of existing works

    [Research Report] IRIT/RR–2019–01–FR, IRIT – Institut de recherche en informatique de Toulouse. 2019

    Accès: https://hal.archives-ouvertes.fr/hal-02875934