Institut multidisciplinaire d'intelligence artificielle

DESCRIPTION

Le cœur de ce projet est l'étude des graphes algorithmiques. Les problèmes étudiés sont ceux qui peuvent être définis dans un formalisme logique comme la logique du premier ordre. L'objectif est de combiner des outils symboliques (étude du formalisme logique), combinatoires (étude des graphes et des structures de données) ainsi que des méthodes d'apprentissage de l'intelligence artificielle. Le mélange de ces domaines est appelé IA neuro-symbolique.
 

LISTE SÉLECTIVE DE PUBLICATIONS 

• Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes (vérification de modèle de la logique des chemins disjoints sur les classes de graphes topologiques mineurs libres)
• Progrès dans les méta-théorèmes algorithmiques (papier invité)