Scalability study of peer-to-peer consequence finding

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 351-356

  Adjiman, P ^a   Chatalic, P ^a   Goasdoue F ^a   Rousset, M C ^a   Simon, L ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONSEQUENCE FINDINGS; INFERENCE SYSTEMS; PEER TO PEER; PEER-TO-PEER SYSTEM;

ARTIFICIAL INTELLIGENCE;

PEER TO PEER NETWORKS;

EID: 84880729409     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. P. Adjiman, P. Chatalic, F. Goasdoué, M.-C. Rousset, and L. Simon. Distributed reasoning in a peer-to-peer setting. Technical report, http://www.lri.fr/∼goasdoue/bib/ACGRS-TR-1385.pdf, 2004.
2. P. Adjiman, P. Chatalic, F. Goasdoué, M.-C. Rousset, and L. Simon. Distributed reasoning in a peer-to-peer setting, short paper. In ECAI, 2004.
3. E. Amir and S. McIlraith. Partition-based logical reasoning. In KR, 2000.
4. G. Antoniou and F. van Harmelen. A Semantic Web Primer. The MIT Press, 2004.
5. A. Borgida and L. Serafini. Distributed description logics: Assimilating information from peer sources. Journal of Data Semantics, 1, 2003.
6. C. L. Chang and R. C. Lee. Symbolic Logic and Mechanical Theorem Proving. Computer Science Classics, Academic Press, 1973.
7. R. Dechter and I. Rish. Directed resolution: the davis-putnam procedure revisited. In KR, 1994.
8. A. del Val. A new method for consequence finding and compilation in restricted languages. In AAAI, 1999.
9. C. Ghidini and L. Serafini. Distributed First Order Logics. Research studies Press, 1998.
10. A. Halevy, Z. Ives, D. Suciu, and I. Tatarinov. Schema mediation in peer data management systems. In ICDE, 2003.
11. A. Halevy, Z. Ives, I. Tatarinov, and Peter Mork. Piazza: data management infrastructure for semantic web applications. In WWW, 2003.
12. K. Inoue. Linear resolution for consequence finding. Artificial Intelligence, (56), 1992.
13. P. Marquis. Handbook on Defeasible Reasoning and Uncertainty Management Systems, Algorithms for Defeasible and Uncertain Reasoning, volume 5, chapter Consequence Finding Algorithms, pages 41-145. Kluwer Academic Publisher, 2000.
14. C.L. Mason and R.R. Johnson. Distributed Artificial Intelligence II, chapter DATMS: a framework for distributed assumption based reasoning. Pitman, 1989.
15. R. Monasson, R. Zecchina, S. Kirkpatrick, B. Selman, and L. Troyansky. 2+p-sat: Relation of typical-case complexity to the nature of the phase transition. Random Structure and Algorithms, 15(414), 1999.
16. W. Nedjl, B. Wolf, C. Qu, S. Decker, M. Sintek, A. Naeve,M. Nilsson,M. Palmer, and T. Risch. Edutella: a p2p networking infrastructure based on rdf. In WWW, 2002.
17. M. E. J. Newman. Models of the small world. J. Stat. Phys., 101:819-841, 2000.
18. G. Provan. A model-based diagnosis framework for distributed embedded systems. In KR, 2002.
19. P. Siegel. Représentation et utilisation de la connaissance en calcul propositionnel. PhD thesis, Université d'Aix-Marseille II, 1987.
20. I. Stoica, R. Morris, D. Karger, M.F. Kaasshoek, and H. Balakrishnan. Chord: a scalable peer-to-peer lookup service for internet applications. In Conference on applications, technologies, architecture and protocols for computer communications, 2001.
21. I. Tatarinov and A. Halevy. Efficient query reformulation in peer data management systems. In SIGMOD 04, 2004.
22. D. J. Watts and S. H. Strogatz. Models of the small world. Nature, 393:440-442, June 1998.