{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T04:18:27Z","timestamp":1745986707391,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642299650"},{"type":"electronic","value":"9783642299667"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-29966-7_28","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T02:45:21Z","timestamp":1357094721000},"page":"429-444","source":"Crossref","is-referenced-by-count":0,"title":["Distributed Consequence Finding: Partition-Based and Cooperative Approaches"],"prefix":"10.1007","author":[{"given":"Katsumi","family":"Inoue","sequence":"first","affiliation":[]},{"given":"Gauvain","family":"Bourgne","sequence":"additional","affiliation":[]},{"given":"Takayuki","family":"Okamoto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"Adjiman, P., Chatalic, P., Goasdou\u00e9, F., Rousset, M.-C., Simon, L.: Scalability study of peer-to-peer consequence finding. In: Proc. IJCAI 2005, pp. 351\u2013356 (2005)"},{"key":"28_CR2","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1613\/jair.1785","volume":"25","author":"P. Adjiman","year":"2006","unstructured":"Adjiman, P., Chatalic, P., Goasdou\u00e9, F., Rousset, M.-C., Simon, L.: Distributed reasoning in a peer-to-peer setting: Application to the semantic web. J. Artif. Intell. Res.\u00a025, 269\u2013314 (2006)","journal-title":"J. Artif. Intell. Res."},{"key":"28_CR3","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2004.11.004","volume":"162","author":"A. Amir","year":"2005","unstructured":"Amir, A., McIlraith, S.: Partition-based logical reasoning for first-order and propositional theories. Artif. Intell.\u00a0162, 49\u201388 (2005)","journal-title":"Artif. Intell."},{"key":"28_CR4","unstructured":"Bourgne, G., Maudet, N., Inoue, K.: Abduction of distributed theories through local interactions. In: Proc. ECAI 2010 (2010)"},{"issue":"1-2","key":"28_CR5","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1023\/A:1020259411066","volume":"37","author":"A. Ciampolini","year":"2003","unstructured":"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.\u00a037(1-2), 65\u201391 (2003)","journal-title":"Ann. Math. Artif. Intell."},{"key":"28_CR6","doi-asserted-by":"publisher","first-page":"250","DOI":"10.2307\/2963593","volume":"22","author":"W. Craig","year":"1957","unstructured":"Craig, W.: Linear reasoning: A new form of the Herbrand-Gentzen theorem. J. Symbolic Logic\u00a022, 250\u2013268 (1957)","journal-title":"J. Symbolic Logic"},{"key":"28_CR7","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1016\/0004-3702(89)90037-4","volume":"38","author":"R. Dechter","year":"1989","unstructured":"Dechter, R., Pearl, J.: Tree clustering for constraint networks. Artif. Intell.\u00a038, 353\u2013366 (1989)","journal-title":"Artif. Intell."},{"key":"28_CR8","unstructured":"del Val, A.: A new method for consequence finding and compilation in restricted languages. In: Proc. AAAI 1999, pp. 259\u2013264 (1999)"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Fisher, M.: Characterizing simple negotiation as distributed agent-based theorem-proving\u2014a preliminary report. In: Proc. 4th Int\u2019l Conf. on Multi-Agent Systems, pp. 127\u2013134 (2000)","DOI":"10.1109\/ICMAS.2000.858444"},{"issue":"1-2","key":"28_CR10","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10472-007-9069-y","volume":"50","author":"G. Greco","year":"2007","unstructured":"Greco, G.: Solving abduction by computing joint explanations. Ann. Math. Artif. Intell.\u00a050(1-2), 143\u2013194 (2007)","journal-title":"Ann. Math. Artif. Intell."},{"key":"28_CR11","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.artint.2004.08.004","volume":"161","author":"K. Hirayama","year":"2005","unstructured":"Hirayama, K., Yokoo, M.: The distributed breakout algorithms. Artif. Intell.\u00a0161, 89\u2013115 (2005)","journal-title":"Artif. Intell."},{"key":"28_CR12","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0004-3702(92)90030-2","volume":"56","author":"K. Inoue","year":"1992","unstructured":"Inoue, K.: Linear resolution for consequence finding. Artif. Intell.\u00a056, 301\u2013353 (1992)","journal-title":"Artif. Intell."},{"key":"28_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1023\/B:MACH.0000023149.72125.e2","volume":"55","author":"K. Inoue","year":"2004","unstructured":"Inoue, K.: Induction as consequence finding. Machine Learning\u00a055, 109\u2013135 (2004)","journal-title":"Machine Learning"},{"issue":"1-3","key":"28_CR14","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1023\/B:AMAI.0000034529.83643.ce","volume":"42","author":"K. Inoue","year":"2004","unstructured":"Inoue, K., Iwanuma, K.: Speculative computation through consequence-finding in multi-agent environments. Ann. Math. Artif. Intell.\u00a042(1-3), 255\u2013291 (2004)","journal-title":"Ann. Math. Artif. Intell."},{"key":"28_CR15","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s10844-006-5450-2","volume":"26","author":"K. Inoue","year":"2006","unstructured":"Inoue, K., Iwanuma, K., Nabeshima, H.: Consequence finding and computing answers with defaults. J. Intell. Inform. Systems\u00a026, 41\u201358 (2006)","journal-title":"J. Intell. Inform. Systems"},{"key":"28_CR16","unstructured":"Inoue, K., Sato, T., Ishihata, M., Kameya, Y., Nabeshima, H.: Evaluating abductive hypotheses using an EM algorithm on BDDs. In: Proc. IJCAI 2009, pp. 810\u2013815 (2009)"},{"key":"28_CR17","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/3-540-45757-7_21","volume-title":"Logics in Artificial Intelligence","author":"K. Iwanuma","year":"2002","unstructured":"Iwanuma, K., Inoue, K.: Minimal Answer Computation and SOL. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 245\u2013257. Springer, Heidelberg (2002)"},{"key":"28_CR18","unstructured":"Lee, C.T.: A completeness theorem and computer program for finding theorems derivable from given axioms, Ph.D. thesis, Department of Electrical Engineering and Computer Science, University of California, Berkeley, CA (1967)"},{"issue":"3","key":"28_CR19","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s10458-008-9028-y","volume":"16","author":"J. Ma","year":"2008","unstructured":"Ma, J., Russo, A., Broda, K., Clark, K.: DARE: A system for distributed abductive reasoning. Autonomous Agents and Multi-Agent Systems\u00a016(3), 271\u2013297 (2008)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"Marquis, P.: Consequence finding algorithms. In: Handbook for Defeasible Reasoning and Uncertain Management Systems, vol.\u00a05, pp. 41\u2013145. Kluwer (2000)","DOI":"10.1007\/978-94-017-1737-3_3"},{"key":"28_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-45206-5_22","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"H. Nabeshima","year":"2003","unstructured":"Nabeshima, H., Iwanuma, K., Inoue, K.: SOLAR: A Consequence Finding System for Advanced Reasoning. In: Cialdea Mayer, M., Pirri, F. (eds.) TABLEAUX 2003. LNCS, vol.\u00a02796, pp. 257\u2013263. Springer, Heidelberg (2003)"},{"issue":"2-3","key":"28_CR22","doi-asserted-by":"crossref","first-page":"183","DOI":"10.3233\/AIC-2010-0465","volume":"23","author":"H. Nabeshima","year":"2010","unstructured":"Nabeshima, H., Iwanuma, K., Inoue, K., Ray, O.: SOLAR: An automated deduction system for consequence finding. AI Communications\u00a023(2-3), 183\u2013203 (2010)","journal-title":"AI Communications"},{"key":"28_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-62927-0","volume-title":"Foundations of Inductive Logic Programming","author":"S.-H. Nienhuys-Cheng","year":"1997","unstructured":"Nienhuys-Cheng, S.-H., de Wolf, R.: Foundations of Inductive Logic Programming. LNCS, vol.\u00a01228. Springer, Heidelberg (1997)"},{"issue":"3","key":"28_CR24","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1145\/321592.321604","volume":"17","author":"J.R. Slagle","year":"1970","unstructured":"Slagle, J.R.: Interpolation theorems for resolution in lower predicate calculus. J. ACM\u00a017(3), 535\u2013542 (1970)","journal-title":"J. ACM"},{"issue":"5","key":"28_CR25","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1109\/69.729707","volume":"10","author":"M. Yokoo","year":"1998","unstructured":"Yokoo, M., Durfee, E.H., Ishida, T., Kuwabara, K.: The distributed constraint satisfaction problem: Formalization and algorithms. IEEE Trans. Know. & Data Eng.\u00a010(5), 673\u2013685 (1998)","journal-title":"IEEE Trans. Know. & Data Eng."}],"container-title":["Communications in Computer and Information Science","Agents and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29966-7_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:33:19Z","timestamp":1745940799000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-29966-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642299650","9783642299667"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29966-7_28","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}