Author:
Inoue Katsumi,Bourgne Gauvain,Okamoto Takayuki
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Adjiman, P., Chatalic, P., Goasdoué, F., Rousset, M.-C., Simon, L.: Scalability study of peer-to-peer consequence finding. In: Proc. IJCAI 2005, pp. 351–356 (2005)
2. Adjiman, P., Chatalic, P., Goasdoué, F., Rousset, M.-C., Simon, L.: Distributed reasoning in a peer-to-peer setting: Application to the semantic web. J. Artif. Intell. Res. 25, 269–314 (2006)
3. Amir, A., McIlraith, S.: Partition-based logical reasoning for first-order and propositional theories. Artif. Intell. 162, 49–88 (2005)
4. Bourgne, G., Maudet, N., Inoue, K.: Abduction of distributed theories through local interactions. In: Proc. ECAI 2010 (2010)
5. Ciampolini, A., Lamma, E., Mello, P., Toni, F., Torroni, P.: Cooperation and competition in ALIAS: A logic framework for agents that negotiate. Ann. Math. Artif. Intell. 37(1-2), 65–91 (2003)