Multidisciplinary Institute in Artificial intelligence

DESCRIPTION

The core of this project is the study of algorithmic graphs. The problems studied are those that can be defined in a logical formalism as first order logic. The objective is to combine symbolic tools (study of logical formalism), combinatorial (study of graphs and data structures) as well as artificial intelligence learning methods. The mixture of these domains is called neuro-symbolic AI.
 

SELECTED LIST OF PUBLICATION 

• Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
• Advances in Algorithmic Meta Theorems (Invited Paper)