{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:57:01Z","timestamp":1742403421059},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,3,5]],"date-time":"2008-03-05T00:00:00Z","timestamp":1204675200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1007\/s10458-008-9028-y","type":"journal-article","created":{"date-parts":[[2008,3,4]],"date-time":"2008-03-04T04:13:41Z","timestamp":1204604021000},"page":"271-297","source":"Crossref","is-referenced-by-count":11,"title":["DARE: a system for distributed abductive reasoning"],"prefix":"10.1007","volume":"16","author":[{"given":"Jiefei","family":"Ma","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandra","family":"Russo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krysia","family":"Broda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Keith","family":"Clark","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,3,5]]},"reference":[{"key":"9028_CR1","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., & Torroni, P. (2003). Specification and verification of interaction protocols: a computational logic approach based on abduction. Technical report, Dipartimento di Ingegneria di Ferrara."},{"key":"9028_CR2","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\/20","author":"K.R. Apt","year":"1994","unstructured":"Apt K.R., Bol R.N. (1994). Logic programming and negation: a survey. Journal of Logic Programming 19\/20, 9\u201371","journal-title":"Journal of Logic Programming"},{"key":"9028_CR3","doi-asserted-by":"crossref","first-page":"624+","DOI":"10.1007\/3-540-45653-8_43","volume":"2250","author":"O. Arieli","year":"2001","unstructured":"Arieli O., Van Nuffelen B., Denecker M., Bruynooghe M. (2001). Coherent composition of distributed knowledge-bases through abduction. Lecture Notes in Computer Science 2250: 624+","journal-title":"Lecture Notes in Computer Science"},{"key":"9028_CR4","doi-asserted-by":"crossref","first-page":"61+","DOI":"10.1007\/3-540-46238-4_6","volume":"1792","author":"A. Ciampolini","year":"2000","unstructured":"Ciampolini A., Lamma E., Mello P., Stefanelli C., Torroni P. (2000). An implementation for abductive logic agents. Lecture Notes in Computer Science 1792: 61+","journal-title":"Lecture Notes in Computer Science"},{"key":"9028_CR5","unstructured":"Ciampolini, A., Lamma, E., Mello, P., & Torroni, P. (1999). Rambling abductive agents in alias. In Proc. ICLP Workshop on Multi-Agent Sytems in Logic Programming (MAS\u201999)."},{"key":"9028_CR6","unstructured":"Ciampolini, A., Mello, P., & Storari, S. (2002). Distributed medical diagnosis with abductive logic agents. In Proceedings of BIXMAS 2002 workshop, 2002."},{"issue":"1\u20132","key":"9028_CR7","doi-asserted-by":"crossref","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. (2003). Cooperation and competition in alias: a logic framework for agents that negotiate. Annuals of Mathematics and Artificial Intelligence 37(1\u20132): 65\u201391","journal-title":"Annuals of Mathematics and Artificial Intelligence"},{"issue":"4","key":"9028_CR8","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/S0096-0551(01)00020-0","volume":"27","author":"A. Ciampolini","year":"2001","unstructured":"Ciampolini A., Lamma E., Mello P., Torroni P. (2001). LAILA: a language for coordinating abductive reasoning among logic agents. Computer Language 27(4): 137\u2013161","journal-title":"Computer Language"},{"key":"9028_CR9","unstructured":"Clark, K. L., Robinson, P. J., & Zappacosta-Amboldi, S. (1998). Multi-threaded communicating agents in Qu-Prolog. In F. Toni & P. Torroni (Eds.), Computational logic in multi-agent systems. LNAI 3900, Springer."},{"key":"9028_CR10","doi-asserted-by":"crossref","unstructured":"Clark, K. L. (1978). Negation as failure. In Logic and data bases (pp. 293\u2013322).","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"9028_CR11","doi-asserted-by":"crossref","unstructured":"Finin, T., Fritzson, R., McKay, D., & McEntire, R. (1994). KQML as an agent communication language. In Proceedings 3rd International Conference on Information and Knowledge Management.","DOI":"10.1145\/191246.191322"},{"issue":"3","key":"9028_CR12","first-page":"156","volume":"5","author":"A. Franke","year":"1999","unstructured":"Franke A., Hess S., Jung C., Kohlhase M., Sorge V. (1999). Agent-oriented integration of distributed mathematical services. Universal Computer Science 5(3): 156\u2013187","journal-title":"Universal Computer Science"},{"key":"9028_CR13","unstructured":"Gelfond, M., & Lifschitz, V. (1988). The stable model sematics for logic programming. In Proceedings of International Conference of Logic Programming(pp. 1070\u20131080)."},{"key":"9028_CR14","unstructured":"Hunter, C., Robinson, P., & Strouper, P. (2005). Agent-based distributed software verification. In Proceedings of the Twenty-eighth Australasian conference on Computer Science, volume 24 of ACM International Conference Proceeding Series (pp. 159\u2013164)."},{"issue":"6","key":"9028_CR15","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1992","unstructured":"Kakas A.C., Kowalski R.A., Toni F. (1992). Abductive logic programming. Journal of Logic and Computation 2(6): 719\u2013770","journal-title":"Journal of Logic and Computation"},{"key":"9028_CR16","unstructured":"Kakas, A. C., & Mancarella, P. (1990). Database updates through abduction. In VLDB \u201990: Proceedings of the 16th International Conference on Very Large Data Bases (pp. 650\u2013661). San Francisco, CA, USA. Morgan Kaufmann Publishers Inc."},{"key":"9028_CR17","unstructured":"Kuokka, D., & Harada, L. (1995). On using KQML for Matchmaking. In 1st International Joint Conf. on Multi-agent Systems (pp. 239\u2013245) MIT Press."},{"key":"9028_CR18","unstructured":"Ma, J. (2007). Distributed abductive reasoning system and abduction in the small. Technical report, Department of Computing, Imperial College London."},{"key":"9028_CR19","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1006\/ijhc.1996.0054","volume":"45","author":"T. Menzies","year":"1996","unstructured":"Menzies T. (1996). Applications of abduction: knowledge level modeling. International Journal of Human Computer Studies 45, 305\u2013355","journal-title":"International Journal of Human Computer Studies"},{"key":"9028_CR20","unstructured":"Robinson, P. J. (2007). Pedro Reference Manual. Technical report, http:\/\/www.itee.uq.edu.au\/~pjr ."},{"key":"9028_CR21","doi-asserted-by":"crossref","unstructured":"Robinson, P. J., Hinchley, M., & Clark, K. L. (2003). QProlog: An implementation language with advanced reasoning capabilities. In M. Hinchley et\u00a0al. (Eds.), Formal appraches to agent based systems, LNAI 2699. Springer.","DOI":"10.1007\/978-3-540-45133-4_14"},{"key":"9028_CR22","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1207\/s15516709cog2901_5","volume":"29","author":"M. Shanahan","year":"2005","unstructured":"Shanahan M. (2005). Perception as Abduction. Cognitive Science 29, 103\u2013134","journal-title":"Cognitive Science"},{"key":"9028_CR23","volume-title":"Solving the frame problem: a mathematical investigation of the common sense law of inertia","author":"M. Shanahan","year":"1997","unstructured":"Shanahan M. (1997). Solving the frame problem: a mathematical investigation of the common sense law of inertia. MIT Press, Cambridge, MA"},{"issue":"1\u20133","key":"9028_CR24","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S0743-1066(99)00077-1","volume":"44","author":"M. Shanahan","year":"2000","unstructured":"Shanahan M. (2000). An abductive event calculus planner. Journal of Logic Programming 44(1\u20133): 207\u2013240","journal-title":"Journal of Logic Programming"},{"key":"9028_CR25","unstructured":"Torroni, P. (2002). Reasoning and interaction in logic-based multi-agent systems. PhD thesis, Department of Electronics, Computer Science and Systems, University of Bologna, Italy."},{"key":"9028_CR26","unstructured":"Zappacosta, S. (2003). Distributed implementation of a connection graph based on cylindric set\u00a0algebra operators. In M. Hinchley et\u00a0al. (Eds.), Formal appraches to agent based systems, LNAI 2699. Springer."}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-008-9028-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-008-9028-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-008-9028-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T13:28:23Z","timestamp":1559136503000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-008-9028-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,5]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["9028"],"URL":"https:\/\/doi.org\/10.1007\/s10458-008-9028-y","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,3,5]]}}}