Home
>
Research results
> Software & patents
About LRI
Groups
Collaborations
Research results
Highlights
Contracts & grants
Software & patents
Ph.D. dissertations & faculty habilitations
LRI Publications
Internal Publications
Open positions
Teaching
Useful informations
SomeWhere
SomeWhere - Peer-to-Peer Consequence Finding
Person in charge :
GOASDOUE François
Peer-to-peer inference system for consequence finding in distributed propositional theories.
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
Software & patents
BSP++
The C++ Bulk Synchronous Parallelism Library
TAXOMAP ALIGNMENT
A prototype to automate semantic mappings between taxonomies
FR1155729
Procédé pour l’extinction de routeurs dans un réseau de communications et routeur mettant en œuvre ce procédé
> more software & patents
