Français Anglais
Accueil Annuaire Plan du site
Home > Groups > Research activities > Automated deduction
Research activities: Automated deduction

  Artificial Intelligence and Inference Systems

Joint Inria project teams

Research highlights
  Distributed Reasoning in a Peer-to-Peer Setting: Application to the Semantic Web
  Non-conservative Extension of a Peer in a P2P Inference System
  A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic

Contracts & grants

Software & patents


  ROUSSET Marie-Christine
  SIMON Laurent
  MOY Yannick
  NGUYEN Gia Hien
  STOULS Nicolas
  LESCUYER Stéphane

Ph.D. dissertations & Faculty habilitations
  Preuves mécanisées de propriétés de programmes
  Elements for Decidability of Unification modulo Distributivity
  Automatic Modular Sataic Safety Checking for C Programs
  Automated Proof: Techniques, Tools, and Certification

Research activities