SomeWhere - Peer-to-Peer Consequence Finding
Date of the last release: 01 January 2010

Person in charge : GOASDOUE François


Peer-to-peer inference system for consequence finding in distributed propositional theories.



Software



Research activities
  Knowledge representation
  Automated deduction
  Peer to peer

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

Group
  Large-scale Heterogeneous DAta and Knowledge

CODALAB
Codalab

DNADNA
Deep Neural Architectures for DNA

CARTOLABE
CARTOLABE