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

Plugin-Template not found: Check if this plugin-template-id or -name is really existing! Plugin-Template not found: Check if this plugin-template-id or -name is really existing! Plugin-Template not found: Check if this plugin-template-id or -name is really existing!