Bandeau du Laboratoire d'Informatique & Systèmes (LIS)

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

Belaid BENHAMOU / Vincent RISCH

Membres

BENHAMOU Belaid Enseignant/Chercheur
M. BENHAMOU Belaid
Enseignant/Chercheur
belaid.benhamou@lis-lab.fr
04 91 05 60 10
Saint-Jérôme, POLYTECH GII, bureau P203
BLONDEAU-PATISSIER Lison Doctorant
Mme BLONDEAU-PATISSIER Lison
Doctorant
lison.blondeau-patissier@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 04.21
CALK CAMERON Post-Doctorant
M. CALK CAMERON
Post-Doctorant
cameron.calk@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, étage 4, bureau 31
CHICHERY GREGORY Doctorant
CLAIRAMBAULT Pierre Chercheur
M. CLAIRAMBAULT Pierre
Chercheur
pierre.clairambault@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 408
CREIGNOU Nadia Enseignant/Chercheur
Mme CREIGNOU Nadia
Enseignant/Chercheur
nadia.creignou@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 430
CRUBILLÉ Raphaëlle Chercheur
Mme CRUBILLÉ Raphaëlle
Chercheur
raphaelle.crubille@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 04.08
DE LACROIX DE LAVALETTE Cedric Doctorant
M. DE LACROIX DE LAVALETTE Cedric
Doctorant
cedric.de-lacroix-de-lavalette@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 421
GUERRIERI GIULIO Enseignant/Chercheur
M. GUERRIERI GIULIO
Enseignant/Chercheur
giulio.guerrieri@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL
HAN GAO Doctorant
Mme HAN GAO
Doctorant
gao.han@lis-lab.fr
Saint-Jérôme, COUCHES MINCES DOSI
JAKUBIEC Line Enseignant/Chercheur
JAKUBIEC Line
Enseignant/Chercheur
line.jakubiec@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 426
NOUIOUA Farid Enseignant/Chercheur
M. NOUIOUA Farid
Enseignant/Chercheur
farid.nouioua@lis-lab.fr
0413945838
Saint-Jérôme, COUCHES MINCES DOSI
OLIVE Frederic Enseignant/Chercheur
M. OLIVE Frederic
Enseignant/Chercheur
frederic.olive@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 430
OLIVETTI Nicola Enseignant/Chercheur
M. OLIVETTI Nicola
Enseignant/Chercheur
nicola.olivetti@lis-lab.fr
04 86 09 10 46 / 04 91 28 90 94
Saint-Jérôme, COUCHES MINCES DOSI
PAPINI Odile Enseignant/Chercheur
Mme PAPINI Odile
Enseignant/Chercheur
odile.papini@lis-lab.fr
04 91 82 85 30
Luminy, AMU TPR2 ET GRAND HALL, bureau 407
RISCH Vincent Enseignant/Chercheur
M. RISCH Vincent
Enseignant/Chercheur
vincent.risch@lis-lab.fr
04 91 28 83 70
Luminy, AMU TPR2 ET GRAND HALL, bureau 407
SABATIER Claude Enseignant/Chercheur
M. SABATIER Claude
Enseignant/Chercheur
claude.sabatier@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 427
SANTOCANALE Luigi Enseignant/Chercheur
M. SANTOCANALE Luigi
Enseignant/Chercheur
luigi.santocanale@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 438
TRINH VAN GIANG Post-Doctorant
M. TRINH VAN GIANG
Post-Doctorant
trinh.van-giang@lis-lab.fr
Saint-Jérôme, POLYTECH GII, bureau P118
WURBEL Éric Enseignant/Chercheur
M. WURBEL Éric
Enseignant/Chercheur
eric.wurbel@lis-lab.fr
Luminy, AMU TPR2 ET GRAND HALL, bureau 407
YAHI Safa Enseignant/Chercheur
M. YAHI Safa
Enseignant/Chercheur
safa.yahi@lis-lab.fr
04 42 93 90 43
Saint-Jérôme, COUCHES MINCES DOSI

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 de l’équipe

voir les publications