Groups
  Artificial Intelligence and Inference Systems

Joint Inria project teams


Research highlights
  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

Contracts & grants
  SHIRI
  GEONTO
  Web-Content
  DW4RDF.2

Software & patents
  JFresnel
  IsaViz
  TaxoMap Alignment
  LN2R-LT
  XTAB2SML
  RDFViews

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

Members
  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

Ph.D. dissertations & Faculty habilitations
  Optimal adaptive information management over the web.
  Recherche ciblée de documents sur le Web
  XSEARCH, un moteur de recherche pour XML combinant la structure et le contenu
  Understanding the hidden web

° Algorithm control and hyper-parameter tuning
° Algorithms for networked systems
° Automated Proof, SMT and Applications
° Automated Reasoning
° Combinatorics
° Compilation and code optimization
° Data-Centric Languages and Systems
° Deductive Verification of Programs
° Digital Fabrication
° Distributed algorithms
° Distributed Design
° Engineering of interactive systems
° Fab lab
° Formal Model-Based Testing
° Formalisation and Proof of Numerical Programs
° Formalisation of (Specification and Programming) Languages in Proof Assistants
° Generative design methods
° Graph Theory
° Green networks
° Heterogeneous Wireless Networks
° High-performance computing
° Human-Computer Interaction
° Integration of Data and Knowledge
° Interaction and visualization paradigms
° Large scale modelling