Equipes
  Intelligence Artificielle et Systèmes d'Inférence

Equipes-projets Inria communes


Resultats majeurs
  Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web
  SomeRDFS in the Semantic Web
  View Selection in Semantic Web Databases
  Growing Triples on Trees: an XML-RDF Hybrid Model for Annotated Documents

Contrats
  SHIRI
  GEONTO
  Web-Content
  DIM DW4RDF.2

Logiciels et brevets
  JFresnel
  IsaViz
  TaxoMap Alignment
  LN2R-LT
  XTAB2SML
  RDFViews

Collaborations
  France Télécom R&D Rennes - Projet SWID

Membres
  GAGLIARDI Hélène
  ROUSSET Marie-Christine
  CALVIER François-Elie
  ZARGAYOUNA Haïfa
  THIAM Mouhamadou
  ZEMIRLINE Nadjet
  KEFI Hassen
  MRABET Yassine
  LEBLAY Julien
  SELLAMI Zied

Thèses et habilitations
  Une approche adaptative pour la Recherche d’Information sur le Web
  Recherche ciblée de documents sur le Web
  XSEARCH, un moteur de recherche pour XML combinant la structure et le contenu
  Comprendre le web caché

° Algorithmes pour les grands volumes de données distribuées
° Algorithmique des systèmes en réseau
° Algorithmique distribuée
° Architectures parallèles
° biologie de synthese
° Biologie des systèmes
° Biologie structurale
° biologie synthetique
° Calcul à haute performance
° Calcul quantique
° Calibration d'algorithmes (sélection, ajustement d'hyper-paramètres)
° Codage réseau
° Collaboration médiatisée
° Combinatoire
° Compilation et optimisation des programmes
° Décision optimale en contexte incertain
° Définition de nouveaux critères
° Démonstration automatique, SMT et applications
° Distributed Design
° Fab lab
° Fabrication Numérique
° Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
° Formalisation et preuves de programmes numériques
° Gestion de données du Web
° Ingénierie des systèmes interactifs