Marie-Laure MUGNIER
Responsable
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