Scalability Study of Peer-to-Peer Consequence FindingReportar como inadecuado

Scalability Study of Peer-to-Peer Consequence Finding - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 LRI - Laboratoire de Recherche en Informatique 2 LSR - IMAG - Laboratoire Logiciels Systèmes Réseaux

Abstract : In peer-to-peer inference systems, each peer can reason locally but also solicit some of its acquaintances, sharing part of its vocabulary. This paper studies both theoretically and experimentally the problem of computing proper prime implicates for propositional peer-to-peer systems, the global theory union of all peer theories of which is not known as opposed to partition-based reasoning.

Autor: Philippe Adjiman - Philippe Chatalic - François Goasdoué - Marie-Christine Rousset - Laurent Simon -



Documentos relacionados