Analyse de données complexes par raisonnement qualitatif

Apprendre et raisonner à partir d’explications en langues naturelles

Using argumentation for fact checking

SAT-based Approaches for Formal Verification with B method

Modélisation conceptuelle des expressions idiomatiques

Le rôle du vote dans les systèmes argumentatifs en ligne

Prise en compte des courbes d'apprentissage dans l’équilibrage des chaînes d’assemblage en aéronautique

Développement d’un système de détection d’évolution critique chez des patients hospitalisés

Exploiter données et connaissances, des prédictions à leurs explications

Interventions socio-psychologiques artificiellement intelligentes

Conception de modèles génératifs à base de diffusion pour la découverte de nouvelles structures cristallographiques

Utiliser l'intelligence artificielle pour l'optimisation du fonctionnement des électrodes de batterie

Apprentissage sur des objets 3D non-uniformes : une méthode basée sur les graphes

De l'IA à la logique propositionnelle : conversion en SAT et analyse des modèles

Modèles génératifs de type Transformer pour l'automatisation des tests

Vers une compréhension mathématique des modèles de langage

Classification de textes multi-étiquettes extrême avec des données de réseaux hétérogènes

Classification mufti-sources hétérogènes pour l'optimisation énergétique des bâtiments

Investigation de sémantiques riches tolérantes aux conflits et de mesures d'incohérence pour des bases de données imparfaites

Vers une approche d’apprentissage incrémental et explicable sur des graphes hétérogènes et évolutifs

Sécurité de l'informatique mobile en périphérie et des réseaux IoT de nouvelle génération

Détection d'Anomalies et Modélisation de Prescriptions et de Recommandations pour l’Optimisation du Fonctionnement des Datacenters

Argumentation publique et conseils de vote

Intertextualité et Causalités : vers une analyse sémantique des discours

Vers une IA intuitive et acceptable basée sur l'argumentation