publications de l’équipe

Articles dans des revues internationales

  • Christian Bessiere, Clément Carbonnel, Martin Cooper, Emmanuel Hebrard

    Complexity of minimum-size arc-inconsistency explanations

    Constraints, 2023, 28 (1–22), pp.427-449. ⟨10.1007/s10601-023-09360-5⟩

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

  • Florence Dupin de Saint-Cyr, Henri Prade

    Belief revision and incongruity: is it a joke?

    Journal of Applied Non-Classical Logics, 2023, Special issue in honor of Philippe Besnard, 33 (3-4), pp.467-494. ⟨10.1080/11663081.2023.2244379⟩

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

  • 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

  • Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin Cooper, Joao Marques-Silva

    On computing probabilistic abductive explanations

    International Journal of Approximate Reasoning, 2023, 159, pp.108939. ⟨10.1016/j.ijar.2023.108939⟩

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

  • Clement Blanc, Jean-Christophe Buisson, Jeanne Kruck, Viviane Kostrubiec

    Using a haptic dynamic clamp to reduce arousal: preference, arousal, and coordination stability are related

    Experimental Brain Research, 2023, 241 (8), pp.2033-2044. ⟨10.1007/s00221-023-06631-8⟩

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

  • Leandro Antonelli, Guy Camilleri, Diego Torres, Pascale Zaraté

    User acceptance test for software development in the agricultural domain using natural language processing

    Journal of Decision Systems, 2023, pp.1-24. ⟨10.1080/12460125.2023.2229579⟩

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

  • Edouard Pauwels

    Conservative parametric optimality and the ridge method for tame min-max problems

    Set-Valued and Variational Analysis, 2023, 31 (19), ⟨10.1007/s11228-023-00682-3⟩

    Accès: https://hal.science/hal-03186676v4

  • 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

  • Leila Amgoud

    Explaining black-box classifiers: Properties and functions

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

    Accès: https://laas.hal.science/hal-03967209

  • Didier Dubois, Henri Prade

    New trends and open problems in fuzzy logic and approximate reasoning

    Theoria: An International Journal for Theory, History and Foundations of Science / Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia, 2023, 11 (27), pp.109–121

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

    • Articles dans des revues nationales

  • Pascale Zaraté

    L’intelligence artificielle d’hier à aujourd’hui

    Droit Social, 2021, 2 – février 2021 (Dossier : L’IA dans l’entreprise : usages et régulations), pp.106-109

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

    • Articles dans des revues nationales
    Rédaction de numéros spéciaux de revues
    Conférences et workshops internationaux avec actes édités et comité de lecture

  • Xuanxiang Huang, Joao Marques-Silva

    From Decision Trees to Explained Decision Sets

    26th European Conference on Artificial Intelligence (ECAI 2023), European Association for Artificial Intelligence (EurAI); Polish Artificial Intelligence Society (PSSI), Sep 2023, Kraków, Poland. pp.1100 –1108, ⟨10.3233/FAIA230384⟩

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

  • Martin Cooper, Leila Amgoud

    Abductive Explanations of Classifiers under Constraints: Complexity and Properties

    26th European Conference on Artificial Intelligence (ECAI 2023), European Association for Artificial Intelligence (EurAI); Polish Artificial Intelligence Society (PSSI), Sep 2023, Krakow, Poland. pp.469 – 476, ⟨10.3233/FAIA230305⟩

    Accès: https://laas.hal.science/hal-04210428v2

  • Léo Saulières, Martin C Cooper, Florence Dupin de Saint-Cyr

    Predicate-based explanation of a Reinforcement Learning agent via action importance evaluation

    4th workshop on Advances in Interpretable Machine Learning and Artificial Intelligence (AIMLAI 2023) @ ECML/PKDD conference, Sep 2023, Turin, Italy. à paraître

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

  • Leila Amgoud, Vivien Beuselinck

    An Equivalence Class of Gradual Semantics

    7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023), Sep 2023, Arras, France. à paraître

    Accès: https://laas.hal.science/hal-04210432v2

  • Florence Dupin de Saint-Cyr, Francis Faux

    Integrating evolutionary prejudices in belief function theory

    17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023), CRIL, Sep 2023, Arras, France. à paraître

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

  • Clément Carbonnel, Martin Cooper, Joao Marques-Silva

    Tractable Explaining of Multivariate Decision Trees

    KR 2023 – 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.127-135, ⟨10.24963/kr.2023/13⟩

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

  • Dragan Doder, Leila Amgoud, Srdjan Vesic

    Parameterized Gradual Semantics Dealing with Varied Degrees of Compensation

    32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), Aug 2023, Macao, China. pp.3176–3183, ⟨10.24963/ijcai.2023/354⟩

    Accès: https://laas.hal.science/hal-04096981

  • Leila Amgoud, Philippe Muller, Henri Trenquier

    Leveraging Argumentation for Generating Robust Sample-based Explanations

    32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), Aug 2023, Macao, China. pp.3104–3111, ⟨10.24963/ijcai.2023/346⟩

    Accès: https://laas.hal.science/hal-04096982

  • Pierre Pomeret-Coquot, Hélène Fargier, Érik Martin-Dorel

    Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant

    14th International Conference on Interactive Theorem Proving (ITP 2023), Jul 2023, Bialystok, Poland. ⟨10.4230/LIPICS.ITP.2023.25⟩

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

  • 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

    • Conférences et workshops nationaux avec actes édités et comité de lecture

  • 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

  • Jean Lieber, Jean-Guy Mailly, Pierre Marquis, Henri Prade, François Rollin

    Quelques réflexions autour de la notion de bêtise artificielle

    16èmes Journées d’Intelligence Artificielle Fondamentale (Plate-Forme Intelligence Artificielle) (JIAF 2022), Zied Bouraoui; Anaëlle Wilczynski, Jun 2022, Saint-Etienne, France. pp.1-11

    Accès: https://inria.hal.science/hal-03765418

  • Martin Cooper, Arnaud Lequen, Frédéric Maris

    Isomorphismes entre instances et sous-instances STRIPS

    Journées Francophones de Programmation par Contraintes, Association Française pour l’Intelligence Artificielle (AFIA), Jun 2022, Saint-Etienne, France. pp.35-42

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

  • 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

  • Hélène Fargier, Paul Jourdan, Régis Sabbadin

    Jeux bayésiens hypergraphiques

    Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2021) @ Plate-Forme Intelligence Artificielle (PFIA 2021), Jul 2021, Bordeaux, France. pp.38-45

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

  • Hélène Fargier, Érik Martin-Dorel, Pierre Pomeret-Coquot

    Jeux incomplets algébriques

    Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2021) @ Plate-Forme Intelligence Artificielle (PFIA 2021), Jul 2021, Bordeaux, France. pp.46-53

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

  • Jean Lieber, Emmanuel Nauer, Henri Prade

    Quand l’adaptation des cas par révision des croyances et l’extrapolation analogique se rencontrent

    15èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2021), Jun 2021, Bordeaux (virtuel), France. pp.34-44

    Accès: https://inria.hal.science/hal-03483142

  • Trong-Hieu Tran, Cédric Pralet, Hélène Fargier

    Hybridation entre recherche incomplète et apprentissage de conflits pour un problème de routage avec sélection de clients

    22ème congrès annuel de la société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF 2021), Société Française de Recherche Opérationnelle et d’Aide à la Décision (ROADEF); Laboratoire IRIMAS de l’Université de Haute-Alsace, Apr 2021, Mulhouse (en distanciel), France. pp.1-2

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

  • 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

  • Didier Dubois, Luc Jaulin, Henri Prade

    Ensembles épais, fonctions multivoques, et théorie des possibilités

    28èmes Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2019), Nov 2019, Alès, France

    Accès: https://ensta-bretagne.hal.science/hal-02437410

    • Livres (monographies)

  • Jérémie Huteau, Adrian Basarab, Florence Dupin de Saint-Cyr

    MSE * * : Multi-modal semantic embeddings for datasets with several positive matchings

    Sanju Tiwari; Fernando Ortiz Rodriguez; Sarra Ben Abbes; Patience Usoro Usip; Rim Hantach. Semantic AI in Knowledge Graphs, Taylor & Francis Group, pp.91-110, 2023, 978-1003313267. ⟨10.1201/9781003313267-4⟩

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

  • Nelly Barbot, Laurent Miclet, Henri Prade, Gilles Richard

    Analogical Proportions and Binary Trees

    Béziau Jean-Yves; Desclès Jean-Pierre; Moktefi Amirouche; Pascu Anca Christine. Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019), Springer International Publishing, pp.435-458, 2023, Studies in Universal Logic book series (SUL), 978-3-030-94451-3. ⟨10.1007/978-3-030-94452-0_22⟩

    Accès: https://inria.hal.science/hal-04147804

  • Anthony Bronner-Etelin, Pascale Zaraté

    ERP and Time Management

    Encyclopedia of Data Science and Machine Learning, IGI Global, pp.2781-2798, 2022, Encyclopedia of Data Science and Machine Learning, ⟨10.4018/978-1-7998-9220-5.ch166⟩

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

  • Didier Dubois, Henri Prade

    Representing belief: beyond probability and logic

    The Handbook of Rationality, Part II: Theorical rationality (Section 4: Probabilistic Reasoning), https://mitpress.mit.edu/about, 2021, 978-0262045070

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

  • Isabelle Linden, Jean Gomes Turet, Fatima Dargam, Shaofeng Liu, Rita Ribeiro, Pascale Zaraté, Ana Paula Cabral Seixascosta

    30 Years of the EWG-DSS Through the Lens of the Collab-Net Project

    Jason Papathanasiou; Pascale Zaraté; Jorge Freire de Sousa. EURO Working Group on DSS: A Tour of the DSS Developments Over the Last 30 Years, Springer International Publishing, pp.51-78, 2021, Integrated Series in Information Systems, 978-3-030-70376-9. ⟨10.1007/978-3-030-70377-6_4⟩

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

  • Jason Papathanasiou, Pascale Zaraté, Jorge Freire de Sousa

    EURO Working Group on DSS: A Tour of the DSS Developments Over the Last 30 Years

    Jason Papathanasiou; Pascale Zaraté; Jorge Freire de Sousa. Springer International Publishing, VIII, 413p., 2021, Integrated Series in Information Systems (ISIS), 978-3-030-70377-6. ⟨10.1007/978-3-030-70377-6⟩

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

  • Matías Urbieta, Sergio Firmenich, Pascale Zaraté, Alejandro Fernandez

    Web-Augmentation, Design Thinking, and Collaboration Engineering to Foster Innovation in DSS for Agriculture: A Case Study

    Agriculture Value Chain – Challenges and Trends in Academia and Industry, 280, , pp.1-18, 2021, Studies in Systems, Decision and Control book series (SSDC), 978-3-030-51046-6. ⟨10.1007/978-3-030-51047-3_1⟩

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

  • Leandro Antonelli, Guy Camilleri, C. Challiol, A. Fernandez, M. Hozikian, R. Giandini, J. Grigera, A. Lliteras, J. Martin, D. Torres, Pascale Zaraté

    An Extension to Scenarios to Deal with Business Cases for the Decision-Making Processes in the Agribusiness Domain

    Agriculture Value Chain – Challenges and Trends in Academia and Industry, 280, Springer, pp.35-50, 2021, Studies in Systems, Decision and Control book series (SSDC), 978-3-030-51046-6. ⟨10.1007/978-3-030-51047-3_3⟩

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

  • Frédéric Alexandre, Christian Bessiere, Jean-François Bonnefon, Tristan Cazenave, Raja Chatila, Antoine Cornuejols, Frédéric Cuppens, Sébastien Destercke, Béatrice Daille, Jérôme Euzenat, Jean-Gabriel Ganascia, Malik Ghallab, Matthieu Geist, Sébastien Konieczny, Frédéric Koriche, Jérôme Lang, Pierre Marquis, Nicolas Maudet, Engelbert Mephu-Nguifo, Jacques Nicolas, Catherine Pelachaud, Vianney Perchet, Marie-Christine Rousset, Patrick Saint Dizier, Frédéric Saubion, Christine Solnon, Karim Tabia, Christel Vrain, Christian Wolf, Philippe Dague

    Artificial Intelligence. What is it, exactly?

    Sébastien Konieczny; Henri Prade. College Publication, 2021, 9781848903388

    Accès: https://univ-artois.hal.science/hal-04270168

  • Claudette Cayrol, Andrea Cohen, Marie-Christine Lagasquie-Schiex

    Higher-Order Interactions (Bipolar or not) in Abstract Argumentation: A State of the Art

    Dov Gabbay; Massimiliano Giacomin; Guillermo R. Simari; Matthias Thimm. Handbook of Formal Argumentation, 2, College Publications, 2021, 978-1-84890-336-4

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

    • Thèses et habilitations

  • Rolin Gabriel Rasoanaivo

    Système d’aide à la décision multicritère pour l’allocation de logements étudiants

    Informatique [cs]. Université de Toulouse, 2023. Français. ⟨NNT : ⟩

    Accès: https://hal.science/tel-04119898

  • Syrine Saidi

    Representation and exploitation of conditional preferences within a possibilistic framework : comparison withother approaches and extensions

    Artificial Intelligence [cs.AI]. Université Paul Sabatier – Toulouse III; Université de Tunis. Institut supérieur de gestion (Tunisie), 2022. English. ⟨NNT : 2022TOU30293⟩

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

  • Syrine Saidi

    Representing and exploiting conditional preferences within a possibilistic framework : Comparison with other approaches and extensions

    Computer Science [cs]. Université Paul Sabatier – Toulouse 3, 2022. English. ⟨NNT : ⟩

    Accès: https://hal.science/tel-04162110

  • Damien Lovato

    Développement de critères d’optimisation pour la planification de tâches dans une chaîne d’assemblage aéronautique

    Ingénierie assistée par ordinateur. Université Toulouse le Mirail – Toulouse II, 2022. Français. ⟨NNT : 2022TOU20078⟩

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

  • 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

  • Achraf Bennis

    Neural networks for survival analysis and predictive maintenance

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

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

  • 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

  • Sid Ahmed Elandaloussi

    Designing an architecture web service oriented for Collaborative Decision Making process facilitation support

    Intelligence artificielle [cs.AI]. Université d’Oran, 2021. Français. ⟨NNT : ⟩

    Accès: https://hal.science/tel-03727482

  • Victor David

    Dealing with Similarity in Argumentation

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

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

  • Jean-Baptiste Rakotoarivelo

    Aide à la Décision Multi-Critère pour la gestion des risques dans le domaine financier

    Intelligence artificielle [cs.AI]. Université Toulouse 3 (Paul Sabatier ); Université de Toamasina Madagascar, 2021. Français. ⟨NNT : ⟩

    Accès: https://hal.science/tel-03727426

    • Rapports

  • Marie-Christine Lagasquie-Schiex, Jean-Guy Mailly, Antonio Yuste-Ginel

    Incomplete Bipolar Argumentation Frameworks

    IRIT/RR–2023–01–FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2023, pp.1-24

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

  • 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

  • Marie-Christine Lagasquie-Schiex

    Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Necessary Supports

    [Research Report] IRIT/RR- -2021- -08- -FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2021

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

  • Marie-Christine Lagasquie-Schiex

    Handling Support Cycles in the Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Evidential Supports: An Improvement

    [Research Report] IRIT/RR–2021–04–FR, IRIT – Institut de Recherche en Informatique de Toulouse. 2021

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

  • Hélène Fargier, Jérôme Mengin

    A Knowledge Compilation Map for Conditional Preference Statements-based Languages

    [Research Report] IRIT/RR–2021–02–FR, Institut de Recherche en Informatique de Toulouse (CNRS : UMR5505; INPT de Toulouse; Universités de Toulouse I, II et III). 2021

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

  • Marie-Christine Lagasquie-Schiex

    Logical Encoding of Argumentation Frameworks with Higher-order Attacks and Evidential Supports: Taking into account the Collective Interactions

    [Research Report] IRIT/RR- -2021–05–FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2021

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