Scalability study of peer-to-peer consequence finding

Authors:
P. Adjiman;P. Chatalic;F. Goasdou´e;M.-C. Rousset;L. Simon
Affiliations:
PCRI, CNRS, Orsay Cedex, France and Universit´e Paris-Sud, LRI, INRIA, Futurs, Orsay Cedex, France;PCRI, CNRS, Orsay Cedex, France and Universit´e Paris-Sud, LRI, INRIA, Futurs, Orsay Cedex, France;PCRI, CNRS, Orsay Cedex, France and Universit´e Paris-Sud, LRI, INRIA, Futurs, Orsay Cedex, France;PCRI, CNRS, Orsay Cedex, France and Universit´e Paris-Sud, LRI, INRIA, Futurs, Orsay Cedex, France;PCRI, CNRS, Orsay Cedex, France and Universit´e Paris-Sud, LRI, INRIA, Futurs, Orsay Cedex, France
Venue:
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Year:
2005

Citing 10
Cited 10

DATMS: a framework for distributed assumption based reasoning

Distributed Artificial Intelligence (Vol. 2)
Linear resolution for consequence finding

Artificial Intelligence
A new method for consequence finding and compilation in restricted languages

AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
2+p-SAT: relation of typical-case complexity to the nature of the phase transition

Random Structures & Algorithms - Special issue on statistical physics methods in discrete probability, combinatorics, and theoretical computer science
Chord: A scalable peer-to-peer lookup service for internet applications

Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications
EDUTELLA: a P2P networking infrastructure based on RDF

Proceedings of the 11th international conference on World Wide Web
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving
Piazza: data management infrastructure for semantic web applications

WWW '03 Proceedings of the 12th international conference on World Wide Web
A Semantic Web Primer

A Semantic Web Primer
Efficient query reformulation in peer data management systems

SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data

Propositional Satisfiability and Constraint Programming: A comparative survey

ACM Computing Surveys (CSUR)
Inconsistency tolerance in P2P data integration: An epistemic logic approach

Information Systems
Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems

Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Distributed reasoning in a peer-to-peer setting: application to the semantic web

Journal of Artificial Intelligence Research
Non-conservative extension of a peer in a P2P inference system

AI Communications
SomeRDFS in the semantic web

Journal on data semantics VIII
SomeWhere in the semantic web

SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
SomeWhere: a scalable peer-to-peer infrastructure for querying distributed ontologies

ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
SomeWhere in the semantic web

PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Design and implementation of P2P reasoning system based on description logic

International Journal of Ad Hoc and Ubiquitous Computing

Quantified Score

Hi-index	0.00

Visualization

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