DATMS: a framework for distributed assumption based reasoning
Distributed Artificial Intelligence (Vol. 2)
EDUTELLA: a P2P networking infrastructure based on RDF
Proceedings of the 11th international conference on World Wide Web
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
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
Distributed reasoning in a peer-to-peer setting: application to the semantic web
Journal of Artificial Intelligence Research
Scalability study of peer-to-peer consequence finding
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Reasoning with inconsistent ontologies
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
On the relation between argumentation and non-monotonic coherence based entailment
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Inconsistency tolerance in P2P data integration: an epistemic logic approach
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
On reconciling data exchange, data integration, and peer data management
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
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
Local and Distributed Defeasible Reasoning in Multi-Context Systems
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Distributed Defeasible Contextual Reasoning in Ambient Computing
AmI '08 Proceedings of the European Conference on Ambient Intelligence
Contextual Argumentation in Ambient Intelligence
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Distributed reasoning with conflicts in a multi-context framework
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
Non-conservative extension of a peer in a P2P inference system
AI Communications
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
Design and implementation of P2P reasoning system based on description logic
International Journal of Ad Hoc and Ubiquitous Computing
| Hi-index | 0.00 |
In a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order to solve a collective reasoning task. Since peer theories model possibly different viewpoints, even if each local theory is consistent, the global theory may be inconsistent. We exhibit a distributed algorithm detecting inconsistencies in a fully decentralized setting. We provide a fully distributed reasoning algorithm, which computes only well-founded consequences of a formula, i.e., with a consistent set of support.