Distributed reasoning in a peer-to-peer setting, Proc. ECAI'04, pp.945-946, 2004. ,
Scalability study of peer-to-peer consequence finding, IJCAI'05, pp.351-356, 2005. ,
URL : https://hal.archives-ouvertes.fr/inria-00000267
SomeWhere in the Semantic Web, Proc. of Principles and Practice of Semantic Web Reasoning, pp.1-16, 2005. ,
DOI : 10.1007/11552222_1
URL : https://hal.archives-ouvertes.fr/inria-00000268
Distributed reasoning in a peer-to-peer setting: Application to the semantic web, Journal of Artificial Intelligence Research, p.25, 2006. ,
On the logic of theory change: Partial meet contraction and revision functions, Journal of Symbolic Logic, pp.510-530, 1985. ,
Partition-based logical reasoning, Proc. of KR'00, pp.389-400, 2000. ,
DOI : 10.1016/j.artint.2004.11.004
URL : http://doi.org/10.1016/j.artint.2004.11.004
Query answering in peer-to-peer data exchange systems', eprint arXiv, 2004. ,
Preferred subtheories: An extended logical framework for default reasoning, Proc. of IJCAI, pp.1043-1048, 1989. ,
Logical foundations of peer-to-peer data integration, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '04, pp.241-251, 2004. ,
DOI : 10.1145/1055558.1055593
Inconsistency tolerance in p2p data integration: an epistemic logic approach, Proc. of the 10th Int. Workshop on Database Programming Languages, 2005. ,
On the relation between argumentation and nonmonotonic coherence-based entailment, Proc. of IJCAI, pp.1443-1448, 1995. ,
Directed resolution: the davis-putnam procedure revisited, Proc. of KR'94, pp.134-145, 1994. ,
Frontiers Of Combining Systems 2, chapter Distributed First Order Logics, Studies in Logic and Computation, pp.121-139, 2000. ,
Piazza: data management infrastructure for semantic web applications, Proc. of WWW'03, pp.556-567, 2003. ,
Reasoning with inconsistent ontologies, IJCAI'05, pp.454-459, 2005. ,
Distributed Artificial Intelligence II, chapter DATMS: a framework for distributed assumption based reasoning, pp.293-317, 1989. ,
EDUTELLA, Proceedings of the eleventh international conference on World Wide Web , WWW '02, pp.604-615, 2002. ,
DOI : 10.1145/511446.511525
Asynchronous search with aggregations, Proc. of AAAI'00, pp.917-922, 2000. ,
The distributed constraint satisfaction problem: formalization and algorithms, IEEE Transactions on Knowledge and Data Engineering, vol.10, issue.5, pp.673-685, 1998. ,
DOI : 10.1109/69.729707