Marie-Laure MUGNIER
Head
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!