HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Scalability Study of Peer-to-Peer Consequence Finding

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).
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download

Contributor : François Goasdoué Connect in order to contact the contributor
Submitted on : Wednesday, September 21, 2005 - 4:09:09 PM
Last modification on : Thursday, July 8, 2021 - 3:46:11 AM
Long-term archiving on: : Thursday, April 1, 2010 - 10:30:00 PM


  • 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⟩



Record views


Files downloads