Scalability Study of Peer-to-Peer Consequence Finding

Adjiman, Philippe; Chatalic, Philippe; Goasdoué, François; Rousset, Marie-Christine; Simon, Laurent

Scalability Study of Peer-to-Peer Consequence Finding

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

Download BibTeX Cite

Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 351-355.

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).

Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, and Laurent Simon. 2005. Scalability Study of Peer-to-Peer Consequence Finding. In Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05. IJCAI, 351–355. https://ijcai.org/proceedings/2005/135

@inproceedings{ijcai2005p135,
  title     = {Scalability Study of Peer-to-Peer Consequence Finding},
  author    = {Adjiman, Philippe and Chatalic, Philippe and Goasdoué, François and Rousset, Marie-Christine and Simon, Laurent},
  booktitle = {Proceedings of the Nineteenth International Joint Conference on
               Artificial Intelligence, {IJCAI-05}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  pages     = {351--355},
  year      = {2005},
  url       = {https://ijcai.org/proceedings/2005/135},
}

TY  - CPAPER
TI  - Scalability Study of Peer-to-Peer Consequence Finding
AU  - Adjiman, Philippe
AU  - Chatalic, Philippe
AU  - Goasdoué, François
AU  - Rousset, Marie-Christine
AU  - Simon, Laurent
T2  - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2005
SP  - 351
EP  - 355
UR  - https://ijcai.org/proceedings/2005/135
ER  -