Groups
  Artificial Intelligence and Inference Systems

Joint Inria project teams


Research highlights
  Query Containment in Description Logics Reconsidered
  On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies

Contracts & grants
  Microbiogenomics

Software & patents
  TaxoMap Alignment

Collaborations


Members
  ROUSSET Marie-Christine
  RANCE Bastien
  CALVIER François-Elie
  ZARGAYOUNA Haïfa
  GIRALDO Gloria
  KEFI Hassen
  MRABET Yassine
  ASLAOUI-ERRAFII Zahira
  SELLAMI Zied

Ph.D. dissertations & Faculty habilitations

° 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