Mission : - La conception et l'implémentation d'algorithmes d'approximation pour le calcul d'explications formelles (abductives, contrastives, probabilistes), reposant sur l'analyse de Fourier des fonctions booléennes, l'optimisation combinatoire (sous-modularité, matroïdes) et la programmation par contraintes - L'étude des propriétés structurelles (sous-modularité, supermodularité, courbure) des fonctions d'erreur considérées, en vue d'établir ou d'affiner les garanties d'approximation associées aux algorithmes développés. Activités : - La conception et l'implémentation d'algorithmes d'approximation pour le calcul d'explications formelles (abductives, contrastives, probabilistes), reposant sur l'analyse de Fourier des fonctions booléennes, l'optimisation combinatoire (sous-modularité, matroïdes) et la programmation par contraintes - L'étude des propriétés structurelles (sous-modularité, supermodularité, courbure) des fonctions d'erreur considérées, en vue d'établir ou d'affiner les garanties d'approximation associées aux algorithmes développés.