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 permanents

BENHAMOU BelaidMaitre de Conférences
Courriel : belaid.benhamou@lis-lab.fr
Telephone : 0491056010
CREIGNOU NadiaProfesseur des Universités
Courriel : nadia.creignou@lis-lab.fr
Telephone : 0486090462
Page personnelle : https://pageperso.lis-lab.fr/nadia.creignou/
GRELLOIS CharlesMaitre de Conférences
Courriel : charles.grellois@lis-lab.fr
JAKUBIEC JAMET LineMaitre de Conférences
Courriel : line.jakubiec@lis-lab.fr
Telephone : 0486090474
Page personnelle : https://pageperso.lis-lab.fr/line.jakubiec/
NOUIOUA FaridMaitre de Conférences
Courriel : farid.nouioua@lis-lab.fr
Telephone : 491288168
OLIVE FrédéricMaitre de Conférences
Courriel : frederic.olive@lis-lab.fr
Telephone : 0486090496
Page personnelle : https://pageperso.lis-lab.fr/frederic.olive/
OLIVETTI NicolaProfesseur des Universités
Courriel : nicola.olivetti@lis-lab.fr
Telephone : 0491289094
PAPINI OdileProfesseur des Universités
Courriel : odile.papini@lis-lab.fr
Telephone : 0491828530
RISCH VincentMaitre de Conférences
Courriel : vincent.risch@lis-lab.fr
Telephone : 0491288370
SABATIER ClaudeMaitre de Conférences
Courriel : claude.sabatier@lis-lab.fr
Telephone : 0486090676
SANTOCANALE LuigiProfesseur des Universités
Courriel : luigi.santocanale@lis-lab.fr
Telephone : 0486090677
Page personnelle : https://pageperso.lis-lab.fr/luigi.santocanale/
WÜRBEL ÉricMaitre de Conférences
Courriel : eric.wurbel@lis-lab.fr
YAHI SafaMaitre de Conférences
Courriel : safa.yahi@lis-lab.fr
Telephone : 0442939043

 

Doctorants

BENMEZAL LarbiDoctorant
Courriel : larbi.benmezal@lis-lab.fr
BOUCHENE SabrinaDoctorant
Courriel : sabrina.bouchene@lis-lab.fr
DALMONTE TizianoDoctorant
Courriel : tiziano.dalmonte@lis-lab.fr
GIRLANDO MariannaDoctorant
Courriel : marianna.girlando@lis-lab.fr
KHALED TarekDoctorant
Courriel : tarek.khaled@lis-lab.fr

 

Autres membres

 

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


1 documents

Article dans une revue1 document

  • Pierre Clairambault, Charles Grellois, Andrzej Murawski. Linearity in higher-order recursion schemes. Proceedings of the ACM on Programming Languages, ACM, 2017, 2 (POPL), pp.1 - 29. 〈10.1145/3158127〉. 〈hal-01886931〉

Documents récupérés de l'archive ouverte HAL logo