default search action
17th JIAF 2023: Strasbourg, France
- Zied Bouraoui, François Schwarzentruber, Anaëlle Wilczynski:
17èmes Journées d'Intelligence Artificielle Fondamentale, JIAF 2023, Strasbourg, France, July 6-7, 2023. 2023
Argumentation
- Victor David, Jérôme Delobelle, Jean-Guy Mailly:
Similarity Measures between Order-Sorted Logical Arguments. 8-19 - Louise Dupuis:
Une sémantique graduelle pour modéliser l'opinion à partir de graphes d'argumentation bipolaires. 20-27 - Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit:
A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation. 28-38 - Liuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li, Leendert van der Torre:
Exploration des sémantiques d'argumentation bipolaire : une analyse basée sur les principes. 39-41
Information et croyances
- Khaled Belahcène, Jérome Gaigne, Sylvain Lagrue:
Opérateurs totalement informatifs et ordres linéaires partitionnés en révision de croyances. 43-54 - Quentin Elsaesser, Patricia Everaere, Sébastien Konieczny:
S&F : Évaluation de la fiabilité des sources et des faits. 55-66 - Géraud Faye, Wassila Ouerdane, Sylvain Gatepaille, Guillaume Gadek, Souhir Gahbiche:
Encodeur hybride pour la détection automatique de désinformation. 67-68 - 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. 69-78
Logique
- Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez:
Morpho-logique d'un point de vue de la théorie des topos : application à l'IA symbolique. 80-90 - Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Krishna Manoorkar:
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. 91-92 - Nicolas François, Thomas Laure, Jean Lieber:
Une logique pour représenter des variations propositionnelles. 93-103 - Henri Prade, Gilles Richard:
Premiers pas vers une logique des paires ordonnées. 104-112
Explicabilité
- Manuel Amoussou, Khaled Belahcène, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane:
Des explications transitives questionnables au service de l'élicitation de préférences additives. 114-123 - Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex:
Classes of Explanations for the Verification Problem in Abstract Argumentation. 124-134 - Yann Munro, Camilo Sarmiento, Isabelle Bloch, Gauvain Bourgne, Marie-Jeanne Lesot:
Temporalité et causalité en argumentation abstraite. 135-145 - Hénoïk Willot, Sébastien Destercke, Khaled Belahcène:
Les implicants premiers, un outil polyvalent pour l'explication de classification robuste. 146-155
Choix social et éthique
- Stéphane Airiau, Hugo Gilbert, Umberto Grandi, Jérôme Lang, Anaëlle Wilczynski:
Revisiter l'équité pour le partage de loyer avec budgets. 157-158 - Emma Caizergues, François Durand, Fabien Mathieu:
L'abus de comparaisons est mauvais pour la santé. 159-168 - Guillaume Gervois, Gauvain Bourgne, Marie-Jeanne Lesot:
Différentiation des modalités du Bien : au-delà de l'optimalité de Pareto. 169-176 - Mihail Stojanovski, Nadjet Bourdache, Grégory Bonnet, Abdel-Illah Mouaddib:
Processus de décision markoviens éthiques. 177-187
Planification
- Jérôme Arjonilla, Tristan Cazenave, Abdallah Saffidine:
Mixture of Public and Private Distributions in Imperfect Information Games. 189-199 - Martin C. Cooper, Arnaud Lequen, Frédéric Maris:
Analysis of planning instances without search. 200-210 - Salomé Lepers, Vincent Thomas, Olivier Buffet:
Comment rendre des comportements plus prédictibles. 211-220 - Junkang Li, Bruno Zanuttini, Véronique Ventos:
Opponent-model search in games with incomplete information. 221-232
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.