ADRIA Team

Head : Romain GUILLAUME
Frédéric MARIS

 

The ADRIA team contributes to the development of new approaches to knowledge representation, reasoning and decision in Artificial intelligence.

Problematics

Formal frameworks are proposed and studied by ADRIA for reasoning, decision, argumentation and learning.

The addressed problems rely on basic formal tools like: possibility and imprecise probability theories for the treatment of epistemic uncertainty; logical or graphical models for the representation of preferences (VCSP, CP-Nets, GAI-Nets, …); non-monotonic, weighted, or fuzzy logics intended to bypass the inadequacy of classical logical inference at capturing specific features of human reasoning.

  • Reasoning Current work deals with: The links between (generalized) possibilistic logic, modal logics, multivalued logics and logic programming. The revision and the fusion of uncertain and partially conflicting pieces of information coming from multiple sources. Commonsense reasoning based on analogical proportions.
  • Decision We focus on axiomatic foundations of decision rules in the qualitative setting, as well as logical and computational tools for multicriteria and/or collective decision and planning problems. Their highly combinatorial nature requires the search for tractable subclasses.
  • Argumentation We develop formal models of argumentation and their applications to reasoning, explaining decisions, or modeling dialogues (for negotiation purposes especially).
  • Learning ADRIA is interested in various aspects of artificial learning (analogy, preference learning, formal concept analysis), and their adaptation to uncertainty frameworks but also to its connection to human learning (à la Piaget). This methodological work is generally carried out in connection to applications, like scheduling, diagnosis, risk analysis, optimization and product configuration.

Some applications

  • Risk analysis and safety criteria for the underground storage of CO2
  • Nutri-Educ system for human assistance in dietetics
  • Data reconciliation in material flow analysis of rare earths
  • Production planning and risk management for supply chains

To learn more: Download the flyer (pdf)

skills

Argumentation
Decision
Reasoning
Uncertainty
Machine learning
Planning

team Members

Permanent members
Non-permanent members
External members

team publications

International journals articles
  • Pascale Zaraté, Rôlin Gabriel Rasoanaivo

    A rank aggregating method based on several multi-criteria methodologies “Minimum of Ranks” (MIRA): a case study for student’s room allocation

    IJDSS: International Journal on Decision Support System, 2024, 5 (1), pp.75–101. ⟨10.1504/IJDSS.2024.10062705⟩

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

  • Rôlin Gabriel Rasoanaivo, Pascale Zaraté

    SAGeLogE: a decision support system for students’ accommodation management

    Journal of Computer and Communications, 2024, 12 (3), pp.107-145. ⟨10.4236/jcc.2024.123008⟩

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

  • Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet

    Confidence assessment in safety argument structure – Quantitative vs. qualitative approaches

    International Journal of Approximate Reasoning, 2024, 165, pp.109100. ⟨10.1016/j.ijar.2023.109100⟩

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

  • Jérôme Bolte, Edouard Pauwels, Antonio José Silveti-Falls

    Differentiating Nonsmooth Solutions to Parametric Monotone Inclusion Problems

    SIAM Journal on Optimization, 2024, 34 (1), 27 p. ⟨10.1137/22M1541630⟩

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

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

    Some thoughts about artificial stupidity and artificial dumbness

    AI Communications, 2023, 2023 (pre-press), pp.1–15. ⟨10.3233/AIC-220322⟩

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

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

    A Logical Modeling of the Yōkai Board Game

    AI Communications, In press, pp.1-32. ⟨10.3233/AIC-230050⟩

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

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

    Complexity of minimum-size arc-inconsistency explanations

    Constraints, 2023, 28, 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

  • 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

  • National journals articles
  • 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

  • National journals articles
    Special issues of journal
    International conferences articles
  • Florence Dupin de Saint-Cyr, Nicolas Yannick Pepin, Nassim Mokhtari, Philippe Morignot, Julien Vianey, Anne-Gwenn Bosser, Liana Ermakova

    DriveToGaether: a Turnkey Collaborative Robotic Event Platform

    16th International Conference on Agents and Artificial Intelligence (ICAART 2024), Feb 2024, Rome, Italy. pp.404–411, ⟨10.5220/0012463800003636⟩

    Accès: https://hal.science/hal-04402625v2

  • Mathieu Serrurier, Franck Mamalet, Thomas Fel, Louis Béthune, Thibaut Boissin

    On the explainable properties of 1-Lipschitz Neural Networks: An Optimal Transport Perspective

    Conference on Neural Information Processing Systems (NeurIPS), Neural Information Processing Systems Foundation, Dec 2023, New Orleans (Louisiana), United States

    Accès: https://hal.science/hal-03693355v3

  • 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

  • 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

  • Léo Saulières, Martin 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

  • Salem Benferhat, Didier Dubois, Henri Prade

    Provenance Calculus and Possibilistic Logic: A Parallel and a Discussion

    17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2023), CRIL, Université d’Artois – CNRS, Sep 2023, Arras, France. pp.427-441, ⟨10.1007/978-3-031-45608-4_32⟩

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

  • 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. pp.400–414

    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

  • 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

  • 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

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

  • 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 d’Intelligence Artificielle, 2021

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

  • 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, Christian Wolf, Catherine Pelachaud, Nicolas Maudet, Matthieu Geist, Sébastien Konieczny, Frédéric Koriche, Jérôme Lang, Pierre Marquis, Christel Vrain, Marie-Christine Rousset, Engelbert Mephu-Nguifo, Jacques Nicolas, Vianney Perchet, Philippe Dague, Patrick Saint Dizier, Frédéric Saubion, Christine Solnon, Karim Tabia

    Artificial Intelligence. What is it, exactly?

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

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

  • Thesis and HDR
  • Vivien Beuselinck

    Contribution to formal foundations of argumentation and case-based reasoning

    Library and information sciences. Université Paul Sabatier – Toulouse III, 2023. English. ⟨NNT : 2023TOU30246⟩

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

  • Xuanxiang Huang

    Recent advances in formal explainability

    Library and information sciences. Université Paul Sabatier – Toulouse III, 2023. English. ⟨NNT : 2023TOU30258⟩

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

  • Rôlin Gabriel Rasoanaivo

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

    Informatique [cs]. Université Toulouse 1 Capitole, 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

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

    An extended Knowledge Compilation Map for Conditional Preference Statements-based and Generalized Additive Utilities-based Languages

    RR–2023–03–FR, Institut de recherche en informatique de Toulouse (IRIT). 2023

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

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

    How to Manage Supports in Incomplete Argumentation

    IRIT/RR–2023–04–FR, IRIT : Institut de Recherche en Informatique de Toulouse. 2023

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

  • 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

  • team Contracts

    AcronymeTitreResp. scDébut – fin
    HOUSES Harmonized Operation of Uncertainties in Spatialized Environmental Systems Hélène FARGIER
    2024 – 2026
    CAASC
    [Contract completed]
    autre Adaptation dans un nuage d’une chaîne logistique agile Hélène FARGIER
    2018 – 2023
    PER4MANCE
    [Contract completed]
    anr Planification Et Répartition Flexible du travail entre les Opérateurs des chaînes d’asseMblage AéroNautiques : une approChe systémique pour gérer les risques Ergonomiques et économiques Hélène FARGIER
    2018 – 2023
    PING-ACK
    [Contract completed]
    autre Pré-traitement d’informations pour la résolution de tâches complexes / Compilation avancée de connaissances Hélène FARGIER
    2018 – 2023
    ASTER
    [Contract completed]
    Analyse Systémique des TErres Rares – flux et stocks Didier DUBOIS
    2012 – 2015
    BR4CP
    [Contract completed]
    autre Modèles et algorithmes pour le conseil et la gestion des préférences en configuration de produit Hélène FARGIER
    2012 – 2015
    TUPLES
    [Contract completed]
    autre TUPLES : Polynomialité pour la compréhension et l’extension des limites des solveurs performants Martin COOPER
    2010 – 2014
    AcronymeTitreResp. scDébut – fin
    VGI4Bio
    [Contract completed]
    autre Méthodes d’analyse des indicateurs de biodiversité dans le contexte agricole centrés données et utilisateurs VGI Pascale ZARATÉ
    2017 – 2022
    RUCAPS
    [Contract completed]
    auropa Enhancing and implementing Knowledge based ICT solutions within high Risk and Uncertain Conditions for Agriculture Production Systems Pascale ZARATÉ
    2016 – 2023
    ARCSYS
    [Contract completed]
    Accés et recollection dans les systèmes d’information complexes
    2013 – 2016
    NAAMSI
    [Contract completed]
    Non-Additive Axiomatic Models of Strategic Interaction Didier DUBOIS
    2012 – 2014
    AcronymeTitreResp. scDébut – fin
    Thursday 2 May 2024, 14h00
    Logiciel de recommandation pour la gestion du temps et des activités d’une organisation par un ERP
    Anthony BRONNER-ETELIN – Team ADRIA, IRIT UT Capitole, Bât Arsenal, Salle de thèses
    #these
    Thursday 2 May 2024, 14h00
    Logiciel de recommandation pour la gestion du temps et des activités d’une organisation par un ERP
    Anthony BRONNER-ETELIN – Team ADRIA, IRIT UT Capitole, Bât Arsenal, Salle de thèses
    #these
    Wednesday 7 February 2024, 9h30
    Deep learning under Lipschitz constraints
    Louis BETHUNE – Team ADRIA, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Monday 18 December 2023, 10h00
    Décision individuelle et stratégique sous incertitude : une approche algébrique et formelle
    Pierre POMERET-COQUOT – Team ADRIA, Team ACADIE, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Wednesday 13 December 2023, 14h00
    Méthodes d’optimisation hybrides pour des problème de routages avec profits
    Trong Hieu TRAN – Team ADRIA, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Wednesday 13 December 2023, 10h00
    Argumentation, Logic and Explainability
    Théo DUCHATELLE – Team LILaC, Team ADRIA, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Wednesday 29 November 2023, 9h00
    A Decision Support System Based on Supply Chain Control Tower for Supply Chain Risk Management
    Chenhui YE – Team ADRIA, IRIT UT1 Capitole, Manufacture des Tabacs, Room MQ212
    #these
    Friday 17 November 2023, 10h00
    Integrating high-level knowledge in a neural network learning system for image classification
    Mouna Sabrine MAYOUF – Team ADRIA, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #these
    Friday 12 May 2023, 14h30
    Système d’aide à la décision multicritère pour l’allocation de logements étudiants
    Rôlin RASOANAIVO – Team ADRIA, IRIT UT1 Capitole, Bâtiment Arsenal, Salle de thèses
    #these
    Thursday 24 November 2022, 14h00
    Representation and Exploitation of Conditional preferences within a possibilistic framework: Comparison with other approaches and extensions
    Syrine SAIDI – Team ADRIA, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #these
    Friday 23 September 2022, 10h00
    Logic-based Cognitive Planning: from Theory to Implementation
    Jorge Luis FERNANDEZ DAVILA – Team ADRIA, Team LILaC, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #these
    Tuesday 10 April 2018 – Thursday 12 April 2018
    AMANDE – Argument Strength 2018
    UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #congres Know more
    Wednesday 15 November 2017 – Friday 17 November 2017
    MANYVAL 2017 : 7th international workshop on Many-Valued Logic
    UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #congres Know more
    Monday 17 July 2017 – Friday 28 July 2017
    29th European Summer School in Logic, Language, and Information
    UT1 Capitole, Campus de l’Arsenal
    #congres Know more
    Wednesday 5 July 2017 – Friday 7 July 2017
    Journées Franco-Chilienne sur l’Optimisation (JFCO)
    Manufacture des Tabacs
    #congres Know more
    Tuesday 27 June 2017 – Tuesday 4 July 2017
    Toulouse E-Democracy Summer School (TeSS)
    UT3 Paul Sabatier
    #congres Know more
    Monday 24 April 2017 – Wednesday 26 April 2017
    [LabEx CIMI] Workshop du trimestre thématique Aide à la Décision
    Amphithéâtre MBIII
    #congres Know more
    Wednesday 21 September 2016 – Friday 23 September 2016
    Journées sur les aspects Multi-Agents, Flexible, Temporel, Epistémique et Contingent de la planification
    UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #congres Know more
    Monday 5 September 2016 – Friday 9 September 2016
    CP 2016 : The 22nd International Conference on Principles and Practice of Constraint Programming
    Toulouse Business School, 20, bd Lascrosses
    #congres Know more
    Wednesday 27 May 2015 – Friday 29 May 2015
    Workshop on Imprecise Probability
    UT3 Paul Sabatier, IRIT
    #congres Know more
    Wednesday 4 October 2023, 14h00 – 15h00
    A Glimpse of Formal Explainable AI and Refutation of Some XAI Myths
    Joao MARQUES SILVA – Team ADRIA, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #seminaire
    Wednesday 9 November 2022, 12h45 – 13h30
    Scenarios, shared understanding, and collaborative, multi-criteria decisions to improve software requirements
    Alejandro FERNANDEZ – University of La Plata (Argentine) UT1 Capitole, Manufacture des Tabacs, Salle des thèses
    #seminaire
    Tuesday 22 June 2021, 15h30 – 17h00
    Statistical model checking with rare events
    Benoît BARBOT – Laboratoire LACL, Université Paris-Est Créteil (France) UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand et en visioconférence
    #seminaire
    Tuesday 22 June 2021, 14h00 – 15h30
    Hybrid-Automata Specification Language: from model checking to parametric model checking
    Paolo BALLARINI – Laboratoire MICS, CentraleSupélec, Université Paris-Saclay (France) UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #seminaire
    Friday 11 December 2020, 15h45 – 16h30
    Tractable Explaining
    Martin COOPER – Team ADRIA, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses et en visioconférence
    #seminaire
    Friday 23 October 2020, 15h45 – 17h00
    Prédiction d’évènement rare
    Emmanuelle CLAEYS – Team ADRIA, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #seminaire
    Monday 2 March 2020, 12h30 – 12h45
    Conservative set valued fields: a mathematical model for nonsmooth automatic differentiation
    Edouard PAUWELS – Team ADRIA, IRIT UT3 Paul Sabatier, Bâtiment 1R3, Pièce MIP
    #seminaire
    Monday 24 February 2020, 12h30 – 13h30
    Supervised dimension reduction for spatial data
    Christoph MÜHLMANN – Vienna University of Technology (Autriche) UT3 Paul Sabatier, Bâtiment 1R1, Pièce 106
    #seminaire
    Thursday 6 February 2020, 12h30 – 13h30
    Robust clustering aggregation based on optimal transportation
    Eustasio DEL BARRIO – IMUVA, University of Valladolid (Espagne) UT3 Paul Sabatier, Bâtiment 1R3, Pièce MIP
    #seminaire
    Thursday 7 February 2019, 12h30 – 13h30
    Supporting Bidding in Electronic Auctions
    Aysegül ENGIN – Team ADRIA – IRIT (France) Manufacture de Tabacs, Salle TBA
    #seminaire
    Tuesday 14 December 2021, 14h00
    Automated Planning with Solvers: Concurrent and Epistemic Aspects
    Frédéric MARIS – Team ADRIA, IRIT UT3 Paul Sabatier, IRIT, Salle du Conseil
    #hdr
    Thursday 7 January 2021, 14h00
    Planification et décision sous incertitude
    Romain GUILLAUME – Team ADRIA, IRIT UT2 Jean Jaurès, Maison de la Recherche, Salle D29
    #hdr
    Friday 18 December 2020, 15h00
    Contributions à l’optimisation et applications à l’apprentissage automatique
    Edouard PAUWELS – Team ADRIA, IRIT UT3 Paul Sabatier, Bât 1R3, Amphithéâtre Schwartz
    #hdr
    Tuesday 8 December 2015, 10h00
    Machine learning and possibility theory: application to model selection and approximation
    Mathieu SERRURIER – Team ADRIA – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #hdr
    Friday 13 November 2015, 10h15
    Belief Change, Consistency and Argumentation
    Florence DUPIN DE SAINT CYR – BANNAY – Team ADRIA – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #hdr
    Thursday 20 October 2022 – Friday 21 October 2022
    Rencontres francophones sur la logique floue et ses applications (LFA 2022)
    UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #journee
    Monday 13 December 2021
    Journée du Groupe de travail “Apprentissage et Raisonnement” du GDR IA
    UT3 Paul Sabatier, IRIT, salle des thèses ou salle 001 (lieu à confirmer)
    #journee
    Wednesday 29 November 2017
    Workshop on AI Planning in Games
    UT3 Paul Sabatier, IRIT, Salle des Thèses
    #journee