Menu Close

GraphiK Team: Graphs for Inferences on Knowledge

Marie-Laure MUGNIER
Head
LIRMM_JF Baget
Jean-François BAGET
Deputy

GRAPHIK Team

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: http://team.inria.fr/graphik

Staff

Associates & Students

Regular Co-workers