Menu Fermer

Équipe GraphiK: Graphs for Inferences on Knowledge

Marie-Laure MUGNIER
Responsable
LIRMM_JF Baget
Jean-François BAGET
Adjoint

Équipe GRAPHIK

Graphs for Inferences on Knowledge

Les travaux de GraphIK se situent dans le domaine de la représentation des connaissances et des raisonnements, en lien fort avec la gestion de données.
Nous avons une approche fondée sur la logique mais utilisant également des graphes / hypergraphes étiquetés.
Notre activité repose sur trois pieds : théorie (expressivité, propriétés structurelles, décidabilité et complexité des problèmes, algorithmes), développement logiciel (des outils qui implémentent nos résultats théoriques), et applications (qui nourrissent en retour les questions théoriques).

Permanents

Doctorants

Autres personnels