GraphiK: Graphs for Inferences on Knowledge

Les travaux de GraphIK se situent dans le domaine de la représentation des connaissances et des raisonnements.
Nous avons une approche fondée sur la logique mais utilisant également des graphes / hypergraphes étiquetés.
Notre activité repose sur trois pieds : théorie (expressivité, propriétés structurelles, décidabilité et complexité des problèmes, algorithmes), développement logiciel (des outils qui implémentent nos résultats théoriques), et applications (qui nourrissent en retour les questions théoriques).
Pour plus de précisions, voir le site web de l'équipe : http://team.inria.fr/graphik

Membres

Permanents

Non permanents

Collaborateurs réguliers

  • Pierre Bisquert, Chargé de Recherche
  • Patrice Buche, Ingénieur de Recherche
  • Jérôme Fortin, Maître de Conférences
  • Nikolao Karanikolas, INRA
  • Rallou Thomopoulos, Directeur de Recherche INRA

Publications de l'équipe à partir de 2008

Mots-clés

Formalismes logiques et graphiques, Ontology-based data access, Intégration sémantique de données, Argumentation et préférences, Aide à la décision basée sur des connaissances

Dernière mise à jour le 07/03/2017