Information: this page is not translated in english

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

Members

Permanents

No permanents

Regular Co-workers

  • Pierre Bisquert, Research Fellow
  • Patrice Buche, Research Engineer
  • Jérôme Fortin, Assistant Professor
  • Rallou Thomopoulos, Research Director INRA

Publications de l'équipe à partir de 2008

Tags

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

Last update on 31/10/2017