-
1
-
-
33744482837
-
Distributed reasoning in a peer-to-peer setting: Application to the semantic web
-
P. Adjiman, P. Chatalic, F. Goasdoúe, 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:269-314, 2006.
-
(2006)
Journal of Artificial Intelligence Research
, vol.25
, pp. 269-314
-
-
Adjiman, P.1
Chatalic, P.2
Goasdoúe, F.3
Rousset, M.-C.4
Simon, L.5
-
2
-
-
0036108826
-
A reasoning model based on the production of acceptable arguments
-
L. Amgoud and C. Cayrol. A Reasoning Model Based on the Production of Acceptable Arguments. AMAI Journal, 34:197-216, 2002.
-
(2002)
AMAI Journal
, vol.34
, pp. 197-216
-
-
Amgoud, L.1
Cayrol, C.2
-
3
-
-
11144322230
-
Partition-based logical reasoning for first-order and propositional theories
-
E. Amir and S. McIlraith. Partition-Based Logical Reasoning for First-Order and Propositional Theories. Artificial Intelligence, 162(1-2):49-88, 2005.
-
(2005)
Artificial Intelligence
, vol.162
, Issue.1-2
, pp. 49-88
-
-
Amir, E.1
McIlraith, S.2
-
4
-
-
0026169896
-
Combining multiple knowledge bases
-
C. Baral, S. Kraus, and J. Minker. Combining Multiple Knowledge Bases. IEEE Transactions on Knowledge and Data Engineering, 3(2):208-220, 1991.
-
(1991)
IEEE Transactions on Knowledge and Data Engineering
, vol.3
, Issue.2
, pp. 208-220
-
-
Baral, C.1
Kraus, S.2
Minker, J.3
-
5
-
-
0006737262
-
Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study Part 2: The prioritized case
-
E. Orłowska, editor, Physica-Verlag
-
S. Benferhat, D. Dubois, and H. Prade. Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: a Comparative Study Part 2: the Prioritized Case. In E. Orłowska, editor, Logic at Work: Essays Dedicated to the Memory of Helen Rasiowa, volume 24, pages 437-511. Physica-Verlag, 1999.
-
(1999)
Logic at Work: Essays Dedicated to the Memory of Helen Rasiowa
, vol.24
, pp. 437-511
-
-
Benferhat, S.1
Dubois, D.2
Prade, H.3
-
6
-
-
35048815200
-
Query answering in peer-to-peer data exchange systems
-
Heraklion, Greece
-
Leopoldo E. Bertossi and Loreto Bravo. Query Answering in Peer-to-Peer Data Exchange Systems. In Proceedings of the EDBT workshops, Heraklion, Greece, pages 476-485, 2004.
-
(2004)
Proceedings of the EDBT Workshops
, pp. 476-485
-
-
Bertossi, L.E.1
Bravo, L.2
-
7
-
-
38149115301
-
The semantics of consistency and trust in peer data exchange systems
-
Leopoldo E. Bertossi and Loreto Bravo. The Semantics of Consistency and Trust in Peer Data Exchange Systems. In Proceedings of LPAR 2007, pages 107- 122, 2007.
-
(2007)
Proceedings of LPAR 2007
, pp. 107-122
-
-
Bertossi, L.E.1
Bravo, L.2
-
9
-
-
0006299995
-
Distributed first order logics
-
Research Studies Press Ltd., Baldock
-
Ghidini C. and Serafini L. Distributed First Order Logics. In Frontiers of Combining Systems 2, pages 121- 139. Research Studies Press Ltd. Baldock, 2000.
-
(2000)
Frontiers of Combining Systems
, vol.2
, pp. 121-139
-
-
Ghidini, C.1
Serafini, L.2
-
10
-
-
43049138060
-
Inconsistency tolerance in P2P data integration: An epistemic logic approach
-
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati. Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. Information Systems, 33(4-5):360-384, 2008.
-
(2008)
Information Systems
, vol.33
, Issue.4-5
, pp. 360-384
-
-
Calvanese, D.1
Giacomo, G.D.2
Lembo, D.3
Lenzerini, M.4
Rosati, R.5
-
11
-
-
3142674909
-
Logical foundations of peer-to-peer data integration
-
New York, NY, USA, ACM
-
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Riccardo Rosati. Logical Foundations of Peer-to-peer Data Integration. In PODS'04: Proceedings of the twenty-third ACM SIGMOD-SIGACT- SIGART symposium on Principles of database systems, pages 241-251, New York, NY, USA, 2004. ACM.
-
(2004)
PODS'04: Proceedings of the Twenty-third ACM SIGMOD-SIGACT- SIGART Symposium on Principles of Database Systems
, pp. 241-251
-
-
Calvanese, D.1
Giacomo, G.D.2
Lenzerini, M.3
Rosati, R.4
-
12
-
-
84885983358
-
Reasoning with Inconsistencies in propositional peer-to- peer inference systems
-
P. Chatalic, G.-H. Nguyen, and M.-C. Rousset. Reasoning with Inconsistencies in Propositional Peer-to- Peer Inference Systems. In ECAI 2006, pages 352- 357, 2006.
-
(2006)
ECAI 2006
, pp. 352-357
-
-
Chatalic, P.1
Nguyen, G.-H.2
Rousset, M.-C.3
-
13
-
-
0029368659
-
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
-
P. M. Dung. On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games. Artificial Intelli- gence, 77(2):321-358, 1995.
-
(1995)
Artificial Intelli- Gence
, vol.77
, Issue.2
, pp. 321-358
-
-
Dung, P.M.1
-
14
-
-
35048835400
-
A distributed algorithm for robust data sharing and updates in P2P database networks
-
Heraklion, Greece
-
Enrico Franconi, Gabriel Kuper, Andrei Lopatenko, and Ilya Zaihrayeu. A Distributed Algorithm for Robust Data Sharing and Updates in P2P Database Networks. In Proceedings of the EDBT P2P&DB work- shop, Heraklion, Greece, pages 446-455, 2004.
-
(2004)
Proceedings of the EDBT P2P&DB Work- Shop
, pp. 446-455
-
-
Franconi, E.1
Kuper, G.2
Lopatenko, A.3
Zaihrayeu, I.4
-
15
-
-
0006606491
-
Courteous logic programs: Prioritized conflict handling for rules
-
B. N. Grosof. Courteous Logic Programs: Prioritized Conflict Handling for Rules. Technical Report RC 20836, IBM, 1997.
-
(1997)
Technical Report RC 20836, IBM
-
-
Grosof, B.N.1
-
17
-
-
0002130827
-
Syntax-based approaches to belief revision
-
P. G̈ardenfors, editor, Cambridge University Press
-
B. Nebel. Syntax-based Approaches to Belief Revision. In P. G̈ardenfors, editor, Belief Revision, volume 29, pages 52-88. Cambridge University Press, 1992.
-
(1992)
Belief Revision
, vol.29
, pp. 52-88
-
-
Nebel, B.1
-
18
-
-
85006210403
-
Review on computational trust and reputation models
-
Jordi Sabater and Carles Sierra. Review on Computational Trust and Reputation Models. Artificial Intelli- gence Review, 24(1):33-60, 2005.
-
(2005)
Artificial Intelli- Gence Review
, vol.24
, Issue.1
, pp. 33-60
-
-
Sabater, J.1
Sierra, C.2
|