Mots-clés:
  - Représentation des connaissances
  - Intégration d'informations
  - Démonstration automatique
  - Diagnostic
  - Sat
  - Ingénierie des connaissances
  - Qbf
  - Compilation de bases de connaissances
  - Web sémantique
  - Ontologies
  - Inductive logic programming
  - Raisonnement automatique

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
  Non-conservative Extension of a Peer in a P2P Inference System
  Discovering Cross-language Links in Wikipedia through Semantic Relatedness
  Glucose 2.1 SAT Solver won the SAT 2012 Challenge
  CIKM 2013 : Mapping Adaptation Actions for the Automatic Reconciliation of Dynamic Ontologies

Contrats
  PICSEL 3
  UNLOC

Logiciels et brevets
  LN2R-LT
  TARGET
  TEXAN
  POI-HELPER

Collaborations


Membres
  GAGLIARDI Hélène
  ROUSSET Marie-Christine
  FELKIN Mary
  GENTILS Lucie
  HARTLAND Cédric
  DEVERT Alexandre
  CALVIER François-Elie
  FEDON Lou
  PEREZ Julien
  JIANG Fei
  ABDALLAH Nada
  ZARGAYOUNA Haïfa
  THIAM Mouhamadou
  BIBAI Jacques
  ARMANT Vincent
  ROLET Philippe
  ZEMIRLINE Nadjet
  GIRALDO Gloria
  ADJIMAN Philippe
  PAUGAM-MOISY Hélène
  BOURGNE Gauvain
  PILLIAS Clément

Thèses et habilitations
  Réécriture de requêtes en termes de vues dans CARIN et intégration d'information
  SCHOENAUER.01-01-1997
  Recherche ciblée de documents sur le Web
  Propagation et affinement d'hypothèses sous contraintes communicationnelles
  Contributions to Evolutionary Design of Embodied Agents

° 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