Scalability Study of Peer-to-Peer Consequence Finding - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

Scalability Study of Peer-to-Peer Consequence Finding


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).
Fichier principal
Vignette du fichier
ACGRS-IJCAI-05.pdf (164.17 Ko) Télécharger le fichier

Dates and versions

inria-00000267 , version 1 (21-09-2005)


  • HAL Id : inria-00000267 , version 1


Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon. Scalability Study of Peer-to-Peer Consequence Finding. International Joint Conference on Artificial Intelligence, Aug 2005, Edinburgh, UK. ⟨inria-00000267⟩
171 View
63 Download


Gmail Facebook Twitter LinkedIn More