Scalability study of peer-to-peer consequence finding (2005)
by
P. Adjiman
,
P. Chatalic
,
F. Goasdoué
,
M. -c. Rousset
,
L. Simon
| Venue: | In Proceedings of IJCAI’05 (19th International Joint Conference on Artificial Intelligence |
| Citations: | 9 - 1 self |
BibTeX
@INPROCEEDINGS{Adjiman05scalabilitystudy,
author = {P. Adjiman and P. Chatalic and F. Goasdoué and M. -c. Rousset and L. Simon},
title = {Scalability study of peer-to-peer consequence finding},
booktitle = {In Proceedings of IJCAI’05 (19th International Joint Conference on Artificial Intelligence},
year = {2005},
pages = {351--356}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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). 1
