{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:37:21Z","timestamp":1725601041918},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642227226"},{"type":"electronic","value":"9783642227233"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22723-3_2","type":"book-chapter","created":{"date-parts":[[2011,8,19]],"date-time":"2011-08-19T01:04:06Z","timestamp":1313715846000},"page":"19-38","source":"Crossref","is-referenced-by-count":1,"title":["Towards Efficient Multi-agent Abduction Protocols"],"prefix":"10.1007","author":[{"given":"Gauvain","family":"Bourgne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Maudet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","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 (JAIR)\u00a025, 269\u2013314 (2006)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"key":"2_CR2","unstructured":"Alberti, M., Gavanelli, M., Lamma, E.: Runtime addition of integrity constraints in an abductive proof procedure. In: Hermenegildo, M.V., Schaub, T. (eds.) ICLP (Technical Communications), LIPIcs, vol.\u00a07, pp. 4\u201313. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2010)"},{"issue":"1-2","key":"2_CR3","first-page":"49","volume":"162","author":"E. Amir","year":"2005","unstructured":"Amir, E., McIlraith, S.A.: Partition-based logical reasoning for first-order and propositional theories. AI\u00a0162(1-2), 49\u201388 (2005)","journal-title":"AI"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bourgne, G., Hette, G., Maudet, N., Pinson, S.: Hypotheses refinement under topological communication constraints. In: AAMAS, IFAAMAS, p. 239 (2007)","DOI":"10.1145\/1329125.1329415"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Bourgne, G., Inoue, K., Maudet, N.: Abduction of distributed theories through local interactions. In: Proc. of the 19th European Conference on Artificial Intelligence, ECAI 2010 (August 2010)","DOI":"10.1007\/978-3-642-22723-3_2"},{"issue":"1\u20132","key":"2_CR6","first-page":"65","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. Annals of Math. and AI\u00a037(1\u20132), 65\u201391 (2003)","journal-title":"Annals of Math. and AI"},{"issue":"2-3","key":"2_CR7","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(2-3), 301\u2013353 (1992)","journal-title":"Artif. Intell."},{"key":"2_CR8","unstructured":"Inoue, K., Sato, T., Ishihata, M., Kameya, Y., Nabeshima, H.: Evaluating abductive hypotheses using an em algorithm on bdds. In: Proc. of IJCAI 2009, pp. 810\u2013815 (2009)"},{"key":"2_CR9","first-page":"234","volume-title":"Handbook of Logic in Artificial Intel. and Logic Progr.","author":"A.C. Kakas","year":"1998","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. In: Handbook of Logic in Artificial Intel. and Logic Progr., vol.\u00a05, pp. 234\u2013324. Oxford Univ. Press, Oxford (1998)"},{"key":"2_CR10","first-page":"650","volume-title":"Proc. of VLDB 1990","author":"A.C. Kakas","year":"1990","unstructured":"Kakas, A.C., Mancarella, P.: Database updates through abduction. In: Proc. of VLDB 1990, pp. 650\u2013661. Morgan Kaufmann Pub., San Francisco (1990)"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00881947","volume":"13","author":"R. Letz","year":"1994","unstructured":"Letz, R., Mayr, K., Goller, C.: Controlled integration of the cut rule into connection tableau calculi. JAR\u00a013, 297\u2013338 (1994)","journal-title":"JAR"},{"key":"2_CR12","first-page":"271","volume":"16-3","author":"J. Ma","year":"2008","unstructured":"Ma, J., Russo, A., Broda, K., Clark, K.: DARE: a system for distributed abductive reasoning. JAAMAS\u00a016-3, 271\u2013297 (2008)","journal-title":"JAAMAS"},{"issue":"3&4","key":"2_CR13","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and progol. New Generation Comput.\u00a013(3&4), 245\u2013286 (1995)","journal-title":"New Generation Comput."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Nabeshima, H., Iwanuma, K., Inoue, K.: Solar: A consequence finding system for advanced reasoning. Autom. Reas. with Analytic Tableaux and Rel. Meth., 257\u2013263 (2003)","DOI":"10.1007\/978-3-540-45206-5_22"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44564-1_8","volume-title":"Agent-Oriented Software Engineering","author":"J.J. Odell","year":"2001","unstructured":"Odell, J.J., Van Dyke Parunak, H., Bauer, B.: Representing agent interaction protocols in UML. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 121\u2013140. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Languages, Methodologies, and Development Tools for Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22723-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T02:20:30Z","timestamp":1638325230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22723-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642227226","9783642227233"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22723-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}