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