LIRICA

Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre

Mots clés

Responsable

Vincent RISCH

Membres permanents

Claude Sabatier Frederic Olive Line Jakubiec Luigi Santocanale
Nadia Creignou Belaid Benhamou Charles Grellois Farid Nouioua
Nicola Olivetti Odile Papini Vincent Risch Eric Wurbel
Safa Yahi

Membres non permanents

Tiziano Dalmonte Marianna Girlando Tarek Khaled

Intérêts scientifiques

Nos recherches se déploient selon des thématiques impliquant la logique et ses relations avec l’informatique théeorique et l’intelligence artificielle. Ces thématiques s’ordonnent autour de trois axes principaux, et s’enrichissent d’interactions multiples :
Raisonnement et représentation des connaissances en intelligence artificielle :
les recherches menées autour de cet axe s’appuient sur l’utilisation de formalismes logiques pour le raisonnement et le traitement algorithmique de connaissances en intelligence artificielle. Les thématiques concernées sont :
– changement et fusion des croyances
– raisonnement non-motone
– traitement des langues naturelles
– programmation logique
Complexité, théorie et applications :
complexité structurelle, caractérisations de classes de complexité par des formalismes logiques, complexité de différentes classes de problèmes (SAT, model checking. . . ), différentes tâches algorithmiques (décision, comptage, énumération), ainsi que différents formalismes logiques (et leurs fragments). Les thématiques concernées sont :
– complexité des problèmes et des algorithmes
– complexité structurelle
– complexité descriptive

Voir aussi dans «Calcul»

ACRO CANA COALA
Tutelles