Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
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
logic-based techniques in data integration
Logic-based artificial intelligence
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
The Distributed Constraint Satisfaction Problem: Formalization and Algorithms
IEEE Transactions on Knowledge and Data Engineering
Asynchronous Search with Aggregations
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Piazza: data management infrastructure for semantic web applications
WWW '03 Proceedings of the 12th international conference on World Wide Web
The hyperion project: from data integration to data coordination
ACM SIGMOD Record
Relational data sharing in peer-based data management systems
ACM SIGMOD Record
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
Answering queries using views: A KRDB perspective for the semantic Web
ACM Transactions on Internet Technology (TOIT)
Logical foundations of peer-to-peer data integration
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Querying Distributed Data through Distributed Ontologies: A Simple but Scalable Approach
IEEE Intelligent Systems
Composing mappings among data sources
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Queries and updates in the coDB peer to peer database system
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Scalability study of peer-to-peer consequence finding
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
GridVine: An Infrastructure for Peer Information Management
IEEE Internet Computing
Inconsistency tolerance in P2P data integration: An epistemic logic approach
Information Systems
A probabilistic trust model for semantic peer to peer systems
DaMaP '08 Proceedings of the 2008 international workshop on Data management in peer-to-peer systems
Distributed Defeasible Contextual Reasoning in Ambient Computing
AmI '08 Proceedings of the European Conference on Ambient Intelligence
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
A probabilistic trust model for semantic peer-to-peer systems
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Combining a Logical and a Numerical Method for Data Reconciliation
Journal on Data Semantics XII
DL-LITER in the light of propositional logic for decentralized data management
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Non-conservative extension of a peer in a P2P inference system
AI Communications
Prime implicates and prime implicants: from propositional to modal logic
Journal of Artificial Intelligence Research
Journal on data semantics VIII
Abduction of distributed theories through local interactions
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A novel approach to default reasoning for MAS
RSCTC'10 Proceedings of the 7th international conference on Rough sets and current trends in computing
Decomposition of distributed nonmonotonic multi-context systems
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Large knowledge collider: a service-oriented platform for large-scale semantic reasoning
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
Maintaining distributed logic programs incrementally
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Discovery of probabilistic mappings between taxonomies: principles and experiments
Journal on data semantics XV
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
Towards efficient multi-agent abduction protocols
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
Mechanisms for distributed data fusion and reasoning in wireless sensor networks
EUNICE'11 Proceedings of the 17th international conference on Energy-aware communications
Alignment-based trust for resource finding in semantic P2P networks
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
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
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Maintaining distributed logic programs incrementally
Computer Languages, Systems and Structures
Minimization for generalized Boolean formulas
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
Finding new consequences of an observation in a system of agents
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Efficient algorithms for agent-based semantic resource discovery
AP2PC'08 Proceedings of the 7th international conference on Agents and Peer-to-Peer Computing
Distributed tree decomposition with privacy
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Exchanging OWL 2 QL knowledge bases
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
In a peer-to-peer inference system, each peer can reason locally but can also solicit some of its acquaintances, which are peers sharing part of its vocabulary. In this paper, we consider peer-to-peer inference systems in which the local theory of each peer is a set of propositional clauses defined upon a local vocabulary. An important characteristic of peer-to-peer inference systems is that the global theory (the union of all peer theories) is not known (as opposed to partition-based reasoning systems). The main contribution of this paper is to provide the first consequence finding algorithm in a peer-to-peer setting: DECA. It is anytime and computes consequences gradually from the solicited peer to peers that are more and more distant. We exhibit a sufficient condition on the acquaintance graph of the peer-to-peer inference system for guaranteeing the completeness of this algorithm. Another important contribution is to apply this general distributed reasoning setting to the setting of the Semantic Web through the SOMEWHERE semantic peer-to-peer data management system. The last contribution of this paper is to provide an experimental analysis of the scalability of the peer-to-peer infrastructure that we propose, on large networks of 1000 peers.