Journées d’Intelligence Artificielle Fondamentale (Evènement affilié à PFIA 2023) 06-07 Juillet 2023, Strasbourg, France
Articles acceptés
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
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
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
Jérôme Arjonilla, Tristan Cazenave and Abdallah Saffidine. Mixture of Public and Private Distributions in Imperfect Information Games
Khaled Belahcène, Jérome Gaigne and Sylvain Lagrue. Opérateurs totalement informatifs et ordres linéaires partitionnés en révision de croyances
Emma Caizergues, François Durand and Fabien Mathieu. L'abus de comparaisons est mauvais pour la santé
Martin Cooper, Arnaud Lequen and Frédéric Maris. Analysis of planning instances without search
Victor David, Jérôme Delobelle and Jean-Guy Mailly. Similarity Measures between Order-Sorted Logical Arguments
Sylvie Doutre, Théo Duchatelle and Marie-Christine Lagasquie-Schiex. Classes of Explanations for the Verification Problem in Abstract Argumentation
Louise Dupuis. Une sémantique graduelle pour modéliser l'opinion à partir de graphes d'argumentation bipolaires
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
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
Guillaume Gervois, Gauvain Bourgne and Marie-Jeanne Lesot. Différentiation des modalités du Bien : au-delà de l’optimalité de Pareto
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
Nicolas François, Thomas Laure and Jean Lieber. Une logique pour représenter des variations propositionnelles
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
Yann Munro, Camilo Sarmiento, Isabelle Bloch, Gauvain Bourgne and Marie-Jeanne Lesot. Temporalité et causalité en argumentation abstraite
Henri Prade and Gilles Richard. Premiers pas vers une logique des paires ordonnées
Blin Raoul. Sourcer, dater et mémoriser les informations d’origine verbale - proposition de modèle symbolique et opérationnel de l’interface langage/mémoire
Mihail Stojanovski, Nadjet Bourdache, Grégory Bonnet and Abdel-Illah Mouaddib. Processus de décision markoviens éthiques
Hénoïk Willot, Sébastien Destercke and Khaled Belahcène. Les implicants premiers, un outil versatile pour l'explication de classification robuste
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