Équipe ADRIA

Responsables : Florence DUPIN DE SAINT CYR - BANNAY
Frédéric MARIS

Anciennement dénommée « Intelligence Artificielle et Robotique », puis « RPDMP » (pour « Raisonnements Plausibles, Décision et Méthodes de preuve »), l’équipe Argumentation, Décision, Raisonnement, Incertitude et Apprentissage (ADRIA) existe depuis 1976.

Elle contribue au développement de nouveaux modèles en Intelligence Artificielle pour le raisonnement, la décision, l’argumentation et l’apprentissage.

La représentation et le traitement des informations incomplètes, incertaines, imprécises ou incohérentes, ainsi que la représentation des préférences sont au premier plan des recherches de l’équipe ADRIA (voir le site web de l’équipe pour plus d’information).

Les cadres formels étudiés par l’équipe couvrent les domaines du raisonnement, de la décision, de l’argumentation et de l’apprentissage.

Les problèmes abordés utilisent des outils formels récents comme : la théorie des possibilités, et des probabilités imprécises, pour le traitement de l’incertitude épistémique ; des modèles de représentation de préférences logiques ou graphiques (VCSP, CP-nets, GAI-nets, …) ; des logiques non-monotones, pondérées, floues, destinées à pallier les insuffisances de la logique et de l’inférence classique pour formaliser le raisonnement humain.

  • Raisonnement :Les travaux actuels portent sur les liens entre logique possibiliste (généralisée), logiques modales, logiques multivaluées et programmation logique. La révision et la fusion d’informations incertaines et partiellement contradictoires provenant de sources multiples ainsi que le raisonnement à base de proportions analogiques sont aussi un de nos sujets d’étude actuels.
  • Décision :L’équipe étudie les fondements axiomatiques de règles de décision qualitative sous incertitude, ainsi que des outils logiques et informatiques pour la décision multicritère et/ou collective et la planification. L’aspect combinatoire des problèmes à résoudre conduit à la recherche de classes traitables.
  • Argumentation :L’équipe développe des modèles formels d’argumentation et des applications pour le raisonnement, l’explication de décisions, ou la modélisation de dialogues (de négociation notamment).
  • Apprentissage :L’équipe s’intéresse à l’apprentissage artificiel (analogie, apprentissage de préférences, analyse formelle de concepts), à son adaptation dans le cadre incertain mais aussi à son interprétation en tant qu’imitation de l’apprentissage humain (apprentissage à la Piaget).

Les travaux méthodologiques sont le plus souvent menés en relation avec des applications, comme l’ordonnancement, le pilotage de chaînes logistiques, le diagnostic, l’analyse de risques, l’optimisation et la configuration. Quelques exemples d’applications :

  • Critères de sécurité pour le stockage souterrain de CO2
  • Système Nutri-Educ de conseil et / ou d’assistance en diététique
  • Réconciliation de données pour l’analyse de flux de terres rares
  • Gestion de chaînes logistiques : problèmes de planification, de coopération et de gestion des risques

Pour en savoir plus :

Compétences

Argumentation
Décision
Raisonnement
Incertitude
Apprentissage
Planification

personnel de l’équipe

Membres permanents
Membres non – permanents

publications de l’équipe

Articles dans des revues internationales
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
Conférences et workshops nationaux avec actes édités et comité de lecture
  • 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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-03298722

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

  • Didier Dubois, Luc Jaulin, Henri Prade

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

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

    Accès: https://hal-ensta-bretagne.archives-ouvertes.fr/hal-02437410

  • Laurent Miclet, Nelly Barbot, Henri Prade

    Une distance dans un ensemble fini ordonné et le cas du treillis de concepts

    Journées d’Intelligence Artificielle Fondamentale (JIAF), Jul 2019, Toulouse, France

    Accès: https://hal.inria.fr/hal-02159565

  • Amir Sakka, Gabriela Bosetti, Julián Grigera, Guy Camilleri, Alejandro Fernandes, Pascale Zaraté, Sandro Bimonte, Lucile Sautot

    UX challenges in GDSS: An Experience Report

    19. International Conference on Group Decision and Negotiation (GDN 2019), Jun 2019, Loughborough, United Kingdom. pp.67-79, ⟨10.1007/978-3-030-21711-2_6⟩

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

  • Régis Sabbadin, Nahla Ben Amor, Hélène Fargier, Meriem Trabelsi

    Possibilistic games with incomplete information

    27èmes Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2018), LGI2A : Laboratoire de Génie Informatique et d’Automatique de l’Artois; AFIA : Association française pour l’intelligence artificielle, Nov 2018, Arras, France. Représentation possibilistes

    Accès: https://hal.inrae.fr/hal-02733669

  • Philippe Marrast

    Blockchain : Éléments d’explication et de vulgarisation, Pourquoi s’intéresser à la blockchain aujourd’hui ?

    Blockchain et Santé : Perspectives d’applications et enjeux juridiques (Séminaire IFERISS), IFERISS, Oct 2018, Toulouse, France

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

  • Amir Sakka, Sandro Bimonte, Lucile Sautot, Guy Camilleri, Pascale Zaraté, Aurelien Besnard

    Une méthodologie collaborative de conception d’entrepôt de données

    Journées Francophones sur les Entrepôts de Données et l’Analyse en ligne (EDA), Oct 2018, Tanger, Maroc. pp.41-56

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

  • Livres (monographies)
  • 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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-03176948

  • 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://hal-univ-tlse3.archives-ouvertes.fr/hal-03320511

  • Irina Perfilieva, Didier Dubois, Kerre Etienne, Witold Pedrycz, Abbasov Ali

    Special issue on Fuzzy Sets in dealing with imprecision and uncertainty: Past and Future

    TWMS Journal of Pure and Applied Mathematics, 12 (1), TWMS : Turkic World Mathematical Society, pp.1-175, 2021, Special Issue

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

  • Pascale Zaraté

    Multi-criteria Group Decision Support System: Multi Cultural Experiments

    INSID 2020: Innovation for Systems Information and Decision – Second International Meeting, INSID 2020, Recife, Brazil, December 2–4, 2020, Proceedings, 405, pp.47-61, 2020, Lecture Notes in Business Information Processing book series (LNBIP), 978-3-030-64398-0. ⟨10.1007/978-3-030-64399-7_4⟩

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

  • Ana Esteso, M. M. E. Alemany, Ángel Ortiz, Pascale Zaraté

    Optimization Models to Improve First Quality Agricultural Production Through a Collaboration Program in Different Scenarios

    IFIP : International Federation for Information Processing. Working Conference on Virtual Enterprises – PRO-VE 2020 – Boosting Collaborative Networks 4.0, 598, Springer, pp.546-559, 2020, IFIP Advances in Information and Communication Technology book series (IFIPAICT), 978-3-030-62411-8. ⟨10.1007/978-3-030-62412-5_45⟩

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

  • 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

    Association Française pour l’Intelligence Artificielle (AFIA). Plate-Forme Intelligence Artificielle 2020, Jun 2020, Angers, France. 2020

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

  • Didier Dubois, Luc Jaulin, Henri Prade

    Thick sets, multiple-valued mappings, and possibility theory

    Vladik Kreinovich. Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas, 892, Springer, pp.101-109, 2020, Studies in Computational Intelligence, 978-3-030-45618-4. ⟨10.1007/978-3-030-45619-1_8⟩

    Accès: https://hal-ensta-bretagne.archives-ouvertes.fr/hal-02924428

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

  • Béatrice Fuchs, Jean Lieber, Laurent Miclet, Alain Mille, Amedeo Napoli, Henri Prade, Gilles Richard

    Case-Based Reasoning, Analogy, and Interpolation

    Pierre Marquis; Odile Papini; Henri Prade. A Guided Tour of Artificial Intelligence Research, Volume I: Knowledge Representation, Reasoning and Learning, Springer International Publishing, pp.307-339, 2020, A Guided Tour of Artificial Intelligence Research, 978-3-030-06163-0. ⟨10.1007/978-3-030-06164-7_10⟩

    Accès: https://hal.inria.fr/hal-03119305

  • Thèses et habilitations
  • Fenemedre Qaeze

    Planification sous incertitude d’un complexe minier

    Intelligence artificielle [cs.AI]. Université Toulouse le Mirail – Toulouse II, 2020. Français. ⟨NNT : 2020TOU20010⟩

    Accès: https://tel.archives-ouvertes.fr/tel-03080185

  • 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

  • Pierre-François Gimenez

    Apprentissage de préférences en espace combinatoire et application à la recommandation en configuration interactive

    Intelligence artificielle [cs.AI]. Université Paul Sabatier – Toulouse III, 2018. Français. ⟨NNT : 2018TOU30182⟩

    Accès: https://tel.archives-ouvertes.fr/tel-02303275

  • Jean-Baptiste Rakotoarivelo

    Aide à la décision multi-critère pour la gestion des risques dans le domaine financier

    Intelligence artificielle [cs.AI]. Université Paul Sabatier – Toulouse III, 2018. Français. ⟨NNT : 2018TOU30067⟩

    Accès: https://tel.archives-ouvertes.fr/tel-02274814

  • Thèses et habilitations
    Rapports
  • 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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-03265608

  • 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

  • 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

  • Claudette Cayrol, Marie-Christine Lagasquie-Schiex

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

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

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

  • Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex

    Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports

    [Research Report] IRIT-2018-01, IRIT – Institut de recherche en informatique de Toulouse. 2018

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

  • contrats de l’équipe

    AcronymeTitreResp. scDébut – fin
    VGI4Bio autre Méthodes d’analyse des indicateurs de biodiversité dans le contexte agricole centrés données et utilisateurs VGI Pascale ZARATé
    2017 – 2021
    CAASC anr Adaptation dans un nuage d’une chaîne logistique agile Hélène FARGIER
    2018 – 2023
    PER4MANCE 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 – 2022
    PING-ACK anr Pré-traitement d’informations pour la résolution de tâches complexes / Compilation avancée de connaissances Hélène FARGIER
    2018 – 2023
    AMANDE
    [Contrat terminé]
    Advanced Multilateral Argumentation for Deliberation Leila AMGOUD
    2013 – 2017
    ASTER
    [Contrat terminé]
    Analyse Systémique des TErres Rares – flux et stocks Didier DUBOIS
    2012 – 2015
    BR4CP
    [Contrat terminé]
    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
    LELIE
    [Contrat terminé]
    autre Logiciel intelligent d’aide au diagnostic de risques dans les procédures industrielles Leila AMGOUD

    2011 – 2013
    TUPLES
    [Contrat terminé]
    autre TUPLES : Polynomialité pour la compréhension et l’extension des limites des solveurs performants Martin COOPER
    2010 – 2014
    AcronymeTitreResp. scDébut – fin
    RUCAPS
    [Contrat terminé]
    auropa Enhancing and implementing Knowledge based ICT solutions within high Risk and Uncertain Conditions for Agriculture Production Systems Pascale ZARATé
    2016 – 2020
    NAAMSI
    [Contrat terminé]
    Non-Additive Axiomatic Models of Strategic Interaction Didier DUBOIS
    2012 – 2014
    ACE
    [Contrat terminé]
    autre Automatic Software Engineering for online cultural experiences Leila AMGOUD
    2011 – 2013
    3VAL
    [Contrat terminé]
    Three valued logics and uncertainty management Didier DUBOIS
    2011 – 2012
    AcronymeTitreResp. scDébut – fin
    DEEP4CAST
    [Contrat terminé]
    Vers une hybridation des modèles physiques et des techniques d’apprentissage. Application au modèles numériques de prévision du temps Mathieu SERRURIER
    2018 – 2021
    Lundi 5 Juillet 2021, 14h00
    Traitement de la Similarité en Argumentation
    Victor DAVID – Equipe ADRIA, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand et en visioconférence
    #these
    Mardi 15 Décembre 2020, 10h00
    Reasoning about concurrent actions and its applications to epistemic and temporal planning
    Julien VIANEY – Equipe LILaC, Equipe ADRIA, IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand et en visioconférence
    #these
    Lundi 7 Décembre 2020, 9h00
    Games with Incomplete Information: a Framework Based on Possibility Theory
    Mariem TRABELSI – Equipe ADRIA, IRIT UT3 Paul Sabatier, IRIT, Salle 001 et en visioconférence
    #these
    Jeudi 17 Septembre 2020, 16h00
    Designing Data Warehouse: A Group collaborative approach – Soutenance de doctorat avec Label européen
    Amir SAKKA – Equipe ADRIA, IRIT UT1 Capitole, En visioconférence
    #these
    Mardi 4 Juin 2019, 10h00
    Décision de groupe, Aide à la facilitation : Ajustement de procédures de vote selon le contexte de décision
    Adama COULIBALY – Equipe ADRIA, IRIT Bâtiment Arsenal, Salle de thèses
    #these
    Lundi 8 Avril 2019, 10h00
    Traduction logique et résolution de problèmes – Application à la planification
    Maël VALAIS – Equipe LILaC, Equipe ADRIA – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #these
    Jeudi 6 Décembre 2018, 10h00
    Multicriteria Web-based Decision Support System For Resource Allocation In Brazilian Public Universities
    Carolina Lino MARTINS – Equipe ADRIA – IRIT Universidade Federal de Pernambuco, Recife (Brésil)
    #these
    Mercredi 10 Octobre 2018, 10h30
    Apprentissage de préférences en espace combinatoire et application à la recommandation en configuration interactive
    Pierre-François GIMENEZ – Equipe ADRIA – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #these
    Lundi 16 Juillet 2018, 10h00
    Décision Multicritère : Un système de recommandation pour le choix de l’opérateur d’agrégation
    Soumana FOMBA – Equipe ADRIA – IRIT UT1 Capitole, Salle des Thèses
    #these
    Jeudi 26 Avril 2018, 14h00
    Analyse Multicritère d’Aide à la Décision, AHP, Promethee, Secteur Bancaire
    Jean-Baptiste RAKOTOARIVELO – Equipe ADRIA – IRIT Salle des Thèses, Université de Toasmasina
    #these
    Mardi 10 Avril 2018 – Jeudi 12 Avril 2018
    AMANDE – Argument Strength 2018
    UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #congres En savoir plus
    Mercredi 15 Novembre 2017 – Vendredi 17 Novembre 2017
    MANYVAL 2017 : 7th international workshop on Many-Valued Logic
    UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #congres En savoir plus
    Lundi 17 Juillet 2017 – Vendredi 28 Juillet 2017
    29th European Summer School in Logic, Language, and Information
    UT1 Capitole, Campus de l’Arsenal
    #congres En savoir plus
    Mercredi 5 Juillet 2017 – Vendredi 7 Juillet 2017
    Journées Franco-Chilienne sur l’Optimisation (JFCO)
    Manufacture des Tabacs
    #congres En savoir plus
    Mardi 27 Juin 2017 – Mardi 4 Juillet 2017
    Toulouse E-Democracy Summer School (TeSS)
    UT3 Paul Sabatier
    #congres En savoir plus
    Lundi 24 Avril 2017 – Mercredi 26 Avril 2017
    [LabEx CIMI] Workshop du trimestre thématique Aide à la Décision
    Amphithéâtre MBIII
    #congres En savoir plus
    Mercredi 21 Septembre 2016 – Vendredi 23 Septembre 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 En savoir plus
    Lundi 5 Septembre 2016 – Vendredi 9 Septembre 2016
    CP 2016 : The 22nd International Conference on Principles and Practice of Constraint Programming
    Toulouse Business School, 20, bd Lascrosses
    #congres En savoir plus
    Mercredi 27 Mai 2015 – Vendredi 29 Mai 2015
    Workshop on Imprecise Probability
    UT3 Paul Sabatier, IRIT
    #congres En savoir plus
    Mardi 22 Juin 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
    Mardi 22 Juin 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
    Vendredi 11 Décembre 2020, 15h45 – 16h30
    Tractable Explaining
    Martin COOPER – Equipe ADRIA, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses et en visioconférence
    #seminaire
    Vendredi 23 Octobre 2020, 15h45 – 17h00
    Prédiction d’évènement rare
    Emmanuelle CLAEYS – Equipe ADRIA, IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #seminaire
    Lundi 2 Mars 2020, 12h30 – 12h45
    Conservative set valued fields: a mathematical model for nonsmooth automatic differentiation
    Edouard PAUWELS – Equipe ADRIA, IRIT UT3 Paul Sabatier, Bâtiment 1R3, Pièce MIP
    #seminaire
    Lundi 24 Février 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
    Jeudi 6 Février 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
    Jeudi 7 Février 2019, 12h30 – 13h30
    Supporting Bidding in Electronic Auctions
    Aysegül ENGIN – Equipe ADRIA – IRIT (France) Manufacture de Tabacs, Salle TBA
    #seminaire
    Vendredi 23 Juin 2017, 14h30 – 16h00
    A Recursive Shortcut for CEGAR: Application to the Modal Logic K Satisfiability Problem
    Jean-Marie LAGNIEZ – CRIL, Université d’Artois, Lens UT3 Paul Sabatier, IRIT, Salle des Thèses
    #seminaire
    Mardi 21 Mars 2017, 8h30 – 17h00
    Journée Recherche / Industrie du semestre thématique Aide à la Décision
    UT2J, Maison de la Recherche , Salle D29
    #seminaire
    Jeudi 7 Janvier 2021, 14h00
    Planification et décision sous incertitude
    Romain GUILLAUME – Equipe ADRIA, IRIT UT2 Jean Jaurès, Maison de la Recherche, Salle D29
    #hdr
    Vendredi 18 Décembre 2020, 15h00
    Contributions à l’optimisation et applications à l’apprentissage automatique
    Edouard PAUWELS – Equipe ADRIA, IRIT UT3 Paul Sabatier, Bât 1R3, Amphithéâtre Schwartz
    #hdr
    Mardi 8 Décembre 2015, 10h00
    Machine learning and possibility theory: application to model selection and approximation
    Mathieu SERRURIER – Equipe ADRIA – IRIT UT3 Paul Sabatier, IRIT, Auditorium J. Herbrand
    #hdr
    Vendredi 13 Novembre 2015, 10h15
    Belief Change, Consistency and Argumentation
    Florence DUPIN DE SAINT CYR – BANNAY – Equipe ADRIA – IRIT UT3 Paul Sabatier, IRIT, Salle des Thèses
    #hdr
    Mercredi 29 Novembre 2017
    Workshop on AI Planning in Games
    UT3 Paul Sabatier, IRIT, Salle des Thèses
    #journee