Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel SomeWhere
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

Equipe-projet Inria
  OAK
Logiciels et brevets
SAUPODOC
Semantic Annotation Using Population of Ontology and Definition of Classes

SAGE-COMBINAT
Améliorer les fonctionnalités combinatoires de Sage

PINT
Static analyzer for dynamics of Automata Networks