SomeWhere - Calcul de conséquences en pair-à-pair
Date de dernière version : 01 janvier 2010

Responsable : GOASDOUE François


Système d'inférence pair-à-pair pour le calcul de conséquences dans des théories propositionnelles distribuées.



Logiciel



Activités de recherche
  Représentation des connaissances
  Démonstration automatique
  Pair à Pair

Membres
  CHATALIC Philippe
  GOASDOUE François
  ROUSSET Marie-Christine
  SIMON Laurent

Equipe
  Données et Connaissances Massives et Hétérogènes

CODALAB
open source framework for running competitions

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE