Accueil
>
Equipes
>
Activités de recherche
> Représentation des connaissances
Présentation
Equipes
Equipes de recherche
Equipes de soutien à la recherche
Equipes-projets Inria communes
Activités de recherche
Collaborations
Production scientifique
Recrutements
Formation
Informations pratiques
Représentation des connaissances
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
Robust Module-based Data Management
Efficient Query Answering against Dynamic RDF Databases
Contrats
QUALINCA
Logiciels et brevets
SomeWhere
Collaborations
Membres
GOASDOUE François
ROUSSET Marie-Christine
ABDALLAH Nada
ADJIMAN Philippe
BOURGNE Gauvain
ASLAOUI-ERRAFII Zahira
LEBLAY Julien
TRIVELA Despoina
Thèses et habilitations
Réécriture de requêtes en termes de vues dans CARIN et intégration d'information
Knowledge Representation meets Databases for the sake of ontology-based data management
Activités de recherche
°
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
> toutes les activités