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

Mots clés

Logique, Raisonnements, Complexité, Représentation des Connaissance, Intelligence Artificielle, Sémantique, Théorie de la Preuve, Satisfiabilité des Formules

 

Responsable
Vincent RISCH

 
Membres

BENHAMOU Belaid  Enseignant-Chercheur / Chercheur
CREIGNOU Nadia  Enseignant-Chercheur / Chercheur
DALMONTE Tiziano  Doctorant
GRELLOIS Charles  Enseignant-Chercheur / Chercheur
KHALED Tarek  Post-Docs / ATER / Ingenieurs
NOUIOUA Farid  Enseignant-Chercheur / Chercheur
OLIVE Frederic  Enseignant-Chercheur / Chercheur
OLIVETTI Nicola  Enseignant-Chercheur / Chercheur
PAPINI Odile  Enseignant-Chercheur / Chercheur
RISCH Vincent  Enseignant-Chercheur / Chercheur
SABATIER Claude  Enseignant-Chercheur / Chercheur
SANTOCANALE Luigi  Enseignant-Chercheur / Chercheur
WURBEL Eric  Enseignant-Chercheur / Chercheur
YAHI Safa  Enseignant-Chercheur / Chercheur

 

Objectif scientifique

L’équipe LIRICA (Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre) s’inscrit dans les deux lignes de force du pôle Calcul du LIS : Logique et Méthodes Formelles d’une part, Intelligence Artificielle d’autre part. Nos recherches portent sur la formalisation de différents types de Raisonnement et d’Interactions, la théorie de la Complexité, les systèmes et outils Algébriques, ces trois axes s’enrichissant d’interactions multiples.

Axe 1. Représentation des connaissances et raisonnement en intelligence artificielle : utilisation de formalismes logiques pour le raisonnement et le traitement algorithmique des connaissances.

Axe 2. 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…), tâches algorithmiques (décision, comptage, énumération), et formalismes logiques.

Axe 3. Logiques non-classiques et modales, sémantique et théorie de la preuve : calculs déductifs, procédures de décision et leur automatisation, sémantiques alternatives et leurs propriétés algébriques.

 

Site Web

Nos séminaires : http://pageperso.lif.univ-mrs.fr/~luigi.santocanale/LIRICA/seminaire.xml

 

Projets en cours

  • ANR blanc AGGREG (2014-2019)
  • ANR PRCI TICAMORE (2017-2020)
  • projet mixte franco-algerien PHC Tassili (2017-2020)

 

Projets passés

  • ANR blanc ASPIQ (2012-2017)

 

Publications récentes de l’équipe



documents