Menu Close

GraphiK Team: Graphs for Inferences on Knowledge

Marie-Laure MUGNIER
Jean-François BAGET


Graphs for Inferences on Knowledge

The main research domain of GraphIK is Knowledge Representation and Reasoning (KRR) in strong relationship with data management. We follow a logic-based approach but we also use graphs and hypergraphs as basic objects.

We study KRR formalisms from three perspectives: theory (expressiveness, decidability and complexity, structural properties, algorithm design), software (developing tools to implement theoretical results) and applications (which also feed back into theoretical work).

For more detail, see the team website:

Michel Leclere, Maître de conférences, UM
Marie-Laure Mugnier, Professeur des universités, UM
David Carral Martinez, Chargé de recherche, INRIA
Madalina Croitoru, Professeur des universités, UM
Federico Ulliana, Maître de conférences, UM
Alain Gutierrez, Ingénieur d’étude, CNRS
Annie Aliaga, Assistant ingénieur, INRIA
Jean-François Baget, Chargé de recherche, INRIA

Associates & Students
Martin Jedwabny, UM
Elie Najm, INRIA
Olivier Rodriguez, UM
Guillaume Perution Kihli, INRIA
Mohamed Aziz Sfar Gandoura, EDF

Regular Co-workers
Michel Chein, Invité longue durée Eméritat, UM
Florent Tornil, CDD Ingénieur-Technicien, INRIA
Maxime Buron, CDD Chercheur, INRIA