JIAF-JFPDA

Programme

-- JEUDI 6 JUILLET --

Session 1 (10h30-12h) : Argumentation

• Victor David, Jérôme Delobelle and Jean-Guy Mailly. Similarity Measures between Order-Sorted Logical Arguments
• Louise Dupuis. Une sémantique graduelle pour modéliser l'opinion à partir de graphes d'argumentation bipolaires
• Jean Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly and Julien Rossit. A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation
• Liuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li and Leendert van der Torre. Exploration des sémantiques d'argumentation bipolaire: une analyse basée sur les principes

Session 2 (14h40-16h10) : Information et croyances

• Khaled Belahcène, Jérome Gaigne and Sylvain Lagrue. Opérateurs totalement informatifs et ordres linéaires partitionnés en révision de croyances
• Quentin Elsaesser, Patricia Everaere and Sébastien Konieczny. S&F: Évaluation de la fiabilité des sources et des faits
• Géraud Faye, Wassila Ouerdane, Sylvain Gatepaille, Guillaume Gadek and Souhir Gahbiche. Encodeur hybride pour la détection automatique de désinformation/ Hybrid encoder for automatic misinformation detection
• Raoul Blin. Sourcer, dater et mémoriser les informations d’origine verbale - proposition de modèle symbolique et opérationnel de l’interface langage/mémoire

Session 3 (16h30-18h00) : Logique

• Marc Aiguier, Isabelle Bloch, Salim Nibouche and Ramón Pino Pérez. Morpho-logique d’un point de vue de la théorie des topos : application à l’IA symbolique
• Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Balajirao Manoorkar and Marta Bilkova. Décrire et quantifier la contradiction entre des éléments de preuve via la logique de Belnap-Dunn et la théorie de Dempster-Shafer
• Nicolas François, Thomas Laure and Jean Lieber. Une logique pour représenter des variations propositionnelles
• Henri Prade and Gilles Richard. Premiers pas vers une logique des paires ordonnées

-- VENDREDI 7 JUILLET --

Session 4 (10h30-12h00) : Explicabilité

• Manuel Amoussou, Vincent Mousseau, Wassila Ouerdane, Khaled Belahcene and Nicolas Maudet. Des explications transitives questionnables au service de l'élicitation de préférences additives
• Sylvie Doutre, Théo Duchatelle and Marie-Christine Lagasquie-Schiex. Classes of Explanations for the Verification Problem in Abstract Argumentation
• Yann Munro, Camilo Sarmiento, Isabelle Bloch, Gauvain Bourgne and Marie-Jeanne Lesot. Temporalité et causalité en argumentation abstraite
• Hénoïk Willot, Sébastien Destercke and Khaled Belahcène. Les implicants premiers, un outil versatile pour l'explication de classification robuste

12h00-12h30 : Assemblée générale JIAF-JFPDA

Session 5 (14h40-16h10) : Choix social et éthique

• Stéphane Airiau, Hugo Gilbert, Umberto Grandi, Jérôme Lang and Anaëlle Wilczynski. Revisiter l'équité pour le partage de loyer avec budgets
• Emma Caizergues, François Durand and Fabien Mathieu. L'abus de comparaisons est mauvais pour la santé
• Guillaume Gervois, Gauvain Bourgne and Marie-Jeanne Lesot. Différentiation des modalités du Bien : au-delà de l’optimalité de Pareto
• Mihail Stojanovski, Nadjet Bourdache, Grégory Bonnet and Abdel-Illah Mouaddib. Processus de décision markoviens éthiques

Session 6 (16h30-18h00) : Planification

• Jérôme Arjonilla, Tristan Cazenave and Abdallah Saffidine. Mixture of Public and Private Distributions in Imperfect Information Games
• Martin Cooper, Arnaud Lequen and Frédéric Maris. Analysis of planning instances without search
• Salomé Lepers, Vincent Thomas and Olivier Buffet. Comment rendre des comportements plus prédictibles
• Junkang Li, Bruno Zanuttini and Véronique Ventos. Opponent-model search in games with incomplete information