Reasoning with inconsistencies in propositional peer-to-peer inference systems

Frontiers in Artificial Intelligence and Applications

Volumn 141, Issue , 2006, Pages 352-356

  Chatalic, Ph ^a   Nguyen, G H ^b   Rousset, M Ch ^b  

^a UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

^b UNIV GRENOBLE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CENTRALIZED CONTROL; CONSISTENT SETS; DECENTRALISED; DISTRIBUTED REASONINGS; HIERARCHICAL ORGANIZATIONS; INFERENCE SYSTEMS; PEER TO PEER; REASONING ALGORITHMS; REASONING TASKS; THEORY MODEL;

PEER TO PEER NETWORKS;

EID: 84885983358     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: None     Document Type: Article

References (24)

1. GNUTELLA. http://www.gnutella.com.
2. NAPSTER. http://www.napster.com.
3. P. Adjiman, P. Chatalic, F. Goasdoué, M.-C. Rousset, and L. Simon, 'Distributed reasoning in a peer-to-peer setting', in Proc. ECAI'04, pp. 945-946. IOS Press, (August 2004).
4. P. Adjiman, P. Chatalic, F. Goasdoué, M.-C. Rousset, and L. Simon, 'Scalability study of peer-to-peer consequence finding', in IJCAI'05, pp. 351-356. IJCAI, (August 2005).
5. P. Adjiman, P. Chatalic, F. Goasdoué, M.-C. Rousset, and L. Simon, 'Somewhere in the semantic web', in Proc. of Principles and Practice of Semantic Web Reasoning, eds., Francois Fages and Sylvain Soliman, volume 3703 of LNCS, pp. 1-16. Springer, (Sept. 2005).
6. P. Adjiman, P. Chatalic, F. Goasdoué, M.-C. Rousset, and L. Simon, 'Distributed reasoning in a peer-to-peer setting: Application to the semantic web', Journal of Artificial Intelligence Research, 25, (January 2006).
7. Carlos Alchourron, Peter Gardenfors, and David Makinson, 'On the logic of theory change: Partial meet contraction and revision functions.', Journal of Symbolic Logic, 50, 510-530, (1985).
8. E. Amir and S. McIlraith, 'Partition-based logical reasoning', in Proc. of KR'00, pp. 389-400, Breckenridge, Colorado, USA, (April 11-15 2000). Morgan Kaufmann Publishers.
9. Leopoldo Bertossi and Loreto Bravo, 'Query answering in peer-to-peer data exchange systems', eprint arXiv:cs/0401015, (January 2004).
10. Leopoldo E. Bertossi, Anthony Hunter, and Torsten Schaub, eds. Inconsistency Tolerance, volume 3300 of LNCS. Springer, 2005.
11. Gerhard Brewka, 'Preferred subtheories: An extended logical framework for default reasoning.', in Proc. of IJCAI, pp. 1043-1048, (1989).
12. D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati, 'Logical foundations of peer-to-peer data integration', in Proc. of PODS'04, ed., Alin Deutsch, pp. 241-251, Paris, France, (june 14-16 2004). ACM.
13. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati, 'Inconsistency tolerance in p2p data integration: an epistemic logic approach', in Proc. of the 10th Int. Workshop on Database Programming Languages (DBPL 2005), (2005).
14. Claudette Cayrol, 'On the relation between argumentation and nonmonotonic coherence-based entailment.', in Proc. of IJCAI, pp. 1443-1448, (1995).
15. R. Dechter and I. Rish, 'Directed resolution: the davis-putnam procedure revisited', in Proc. of KR'94, pp. 134-145, Bonn, Germany, (May 24-27 1994). Morgan Kaufmann.
16. Handbook of defeasible reasoning and uncertainty management, eds., D. Dubois and H. Prade, Kluwer Academic Publishers, 1998.
17. Chiara Ghidini and Luciano Serafini, Frontiers Of Combining Systems 2, chapter Distributed First Order Logics, 121-139, number 7 in Studies in Logic and Computation, Research Studies Press Ltd., 2000.
18. Alon Y. Halevy, Zachary Ives, Igor Tatarinov, and Peter Mork, 'Piazza: data management infrastructure for semantic web applications', in Proc. of WWW'03, pp. 556-567. ACM Press, (2003).
19. Zhisheng Huang, Frank van Harmelen, and Annette ten Teije, 'Reasoning with inconsistent ontologies.', in IJCAI'05, pp. 454-459, (2005).
20. Anthony Hunter, Paraconsistent logics, 11-36, Kluwer Academic Publishers, Norwell, MA, USA, 1998.
21. C.L. Mason and R.R. Johnson, Distributed Artificial Intelligence II, chapter DATMS: a framework for distributed assumption based reasoning, 293-317, Pitman, 1989.
22. W. Nejdl, B. Wolf, C. Qu, S. Decker, M. Sintek, and al., 'Edutella: a p2p networking infrastructure based on rdf', in Proc. of WWW'02, pp. 604-615. ACM, (May 2002).
23. Marius-Calin Silaghi, Djamila Sam-Haroud, and Boi Faltings, 'Asynchronous search with aggregations', in Proc. of AAAI'00, pp. 917-922. AAAI Press/The MIT Press, (2000).
24. Makoto Yokoo, Edmund H. Durfee, Toru Ishida, and Kazuhiro Kuwabara, 'The distributed constraint satisfaction problem: Formalization and algorithms', IEEE Transactions on Knowledge and Data Engineering, 10(5), 673-685, (1998).