{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:06:09Z","timestamp":1747548369318},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540240105"},{"type":"electronic","value":"9783540302001"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30200-1_3","type":"book-chapter","created":{"date-parts":[[2010,2,28]],"date-time":"2010-02-28T18:23:07Z","timestamp":1267381387000},"page":"34-52","source":"Crossref","is-referenced-by-count":6,"title":["An Abductive Framework for Information Exchange in Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Marco","family":"Gavanelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA 2002","year":"2002","unstructured":"Dix, J., Leite, J.A., Satoh, K. (eds.): Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA 2002, August 1, 2002. Electronic Notes in Theoretical Computer Science, vol.\u00a070. Elsevier Science Publishers, Amsterdam (2002)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1023\/A:1018934223383","volume":"25","author":"R.A. Kowalski","year":"1999","unstructured":"Kowalski, R.A., Sadri, F.: From logic programming towards multi-agent systems. Annals of Mathematics and Artificial Intelligence\u00a025, 391\u2013419 (1999)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","first-page":"17","volume-title":"Logics in Artificial Intelligence, European Workshop, JELIA 1998","author":"J. Vitek","year":"1998","unstructured":"Vitek, J., Sadri, F., Toni, F.: Combining introspection and communication with rationality and reactivity in agents. In: Dix, J., Fari\u00f1as del Cerro, L., Furbach, U. (eds.) JELIA 1998. LNCS, vol.\u00a01489, pp. 17\u201332. Springer, Heidelberg (1998)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/3-540-45757-7_35","volume-title":"Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA)","author":"F. Sadri","year":"2002","unstructured":"Sadri, F., Toni, F., Torroni, P.: An abductive logic programming architecture for negotiating agents. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS, vol.\u00a02424, pp. 419\u2013431. Springer, Heidelberg (2002)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Dell\u2019Acqua, P.: Weighted multi dimensional logic programs. In: Dix, J., Leite, J. (eds.) Computational Logic in Multi-Agent Systems. 4th International Workshop, CLIMA IV, Fort Lauderdale, Florida, USA, pp. 162\u2013178 (2004)","DOI":"10.1007\/978-3-540-30200-1_10"},{"key":"3_CR6","first-page":"40","volume-title":"Agent communication language: rethinking the principles","author":"M. Singh","year":"1998","unstructured":"Singh, M.: Agent communication language: rethinking the principles, pp. 40\u201347. IEEE Computer, Los Alamitos (1998)"},{"key":"3_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-25932-9_11","volume-title":"Declarative Agent Languages and Technologies: Theory and Practice","author":"M. Colombetti","year":"2004","unstructured":"Colombetti, M., Fornara, N., Verdicchio, M.: A social approach to communication in multiagent systems. In: Leite, J.A., Omicini, A., Sterling, L., Torroni, P. (eds.) DALT 2003. LNCS (LNAI), vol.\u00a02990, pp. 193\u2013222. Springer, Heidelberg (2004)"},{"key":"3_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/3-540-45023-8_20","volume-title":"Multi-Agent Systems and Applications III","author":"M. Alberti","year":"2003","unstructured":"Alberti, M., Ciampolini, A., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: A social ACL semantics by deontic constraints. In: Ma\u0159\u00edk, V., M\u00fcller, J.P., P\u011bchou\u010dek, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol.\u00a02691, pp. 204\u2013213. Springer, Heidelberg (2003)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Cohen, P.R., Perrault, C.R.: Elements of a plan-based theory of speech acts. Cognitive Science\u00a03 (1979)","DOI":"10.1207\/s15516709cog0303_1"},{"key":"3_CR10","unstructured":"FIPA.: Communicative Act Library Specification, Published on August 10th, 2001, available for download from the FIPA website (2001)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BFb0026760","volume-title":"Intelligent Agents IV: Agent Theories, Architectures, and Languages","author":"Y. Labrou","year":"1998","unstructured":"Labrou, Y., Finin, T.W.: Semantics for an agent communication language. In: Rao, A., Singh, M.P., Wooldridge, M.J. (eds.) ATAL 1997. LNCS, vol.\u00a01365, pp. 209\u2013214. Springer, Heidelberg (1998)"},{"key":"3_CR12","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.: Co-operation and competition in ALIAS: a logic framework for agents that negotiate. Computational Logic in Multi-Agent Systems. Annals of Mathematics and Artificial Intelligence\u00a037, 65\u201391 (2003)","journal-title":"Computational Logic in Multi-Agent Systems. Annals of Mathematics and Artificial Intelligence"},{"key":"3_CR13","first-page":"234","volume-title":"Proceedings of the 6th International Conference on Logic Programming","author":"K. Eshghi","year":"1989","unstructured":"Eshghi, K., Kowalski, R.A.: Abduction compared with negation by failure. In: Levi, G., Martelli, M. (eds.) Proceedings of the 6th International Conference on Logic Programming, pp. 234\u2013255. MIT Press, Cambridge (1989)"},{"key":"3_CR14","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T.H. Fung","year":"1997","unstructured":"Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming\u00a033, 151\u2013165 (1997)","journal-title":"Journal of Logic Programming"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1145\/365151.365169","volume":"22","author":"A. Dovier","year":"2000","unstructured":"Dovier, A., Piazza, C., Pontelli, E., Rossi, G.: Sets and constraint logic programming. ACM Transactions on Programming Languages and Systems\u00a022, 861\u2013931 (2000)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Dovier, A., Pontelli, E., Rossi, G.: Constructive negation and constraint logic programming with sets. New Generation Computing\u00a019 (2001)","DOI":"10.1007\/BF03037598"},{"key":"3_CR17","first-page":"235","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"A.C. Kakas","year":"1998","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a05, pp. 235\u2013324. Oxford University Press, Oxford (1998)"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF00289519","volume":"1","author":"E. Dijkstra","year":"1971","unstructured":"Dijkstra, E.: Hierarchical ordering of sequential processes. Acta Informatica\u00a01, 115\u2013138 (1971)","journal-title":"Acta Informatica"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1109\/ICMAS.2000.858462","volume-title":"Proceedings of the 4th International Conference on Multi-Agent Systems","author":"K. Satoh","year":"2000","unstructured":"Satoh, K., Inoue, K., Iwanuma, K., Sakama, C.: Speculative computation by abduction under incomplete communication environments. In: Proceedings of the 4th International Conference on Multi-Agent Systems, Boston, USA, pp. 263\u2013270. IEEE Press, Los Alamitos (2000)"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"897","DOI":"10.1145\/544862.544950","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Part II","author":"K. Satoh","year":"2002","unstructured":"Satoh, K., Yamamoto, K.: Speculative computation with multi-agent belief revision. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Part II, Bologna, Italy, pp. 897\u2013904. ACM Press, New York (2002)"},{"issue":"1-3","key":"3_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(98)10002-X","volume":"37","author":"J. Jaffar","year":"1998","unstructured":"Jaffar, J., Maher, M., Marriott, K., Stuckey, P.: The semantics of constraint logic programs. Journal of Logic Programming\u00a037(1-3), 1\u201346 (1998)","journal-title":"Journal of Logic Programming"},{"key":"3_CR22","first-page":"686","volume-title":"Proceedings of the Joint International Conference and Symposium on Logic Programming","author":"M. Denecker","year":"1992","unstructured":"Denecker, M., Schreye, D.D.: SLDNFA: An abductive procedure for normal abductive programs. In: Apt, K. (ed.) Proceedings of the Joint International Conference and Symposium on Logic Programming, pp. 686\u2013702. MIT Press, Cambridge (1992)"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0743-1066(99)00075-8","volume":"44","author":"A.C. Kakas","year":"2000","unstructured":"Kakas, A.C., Michael, A., Mourlas, C.: ACLP: Abductive Constraint Logic Programming. Journal of Logic Programming\u00a044, 129\u2013177 (2000)","journal-title":"Journal of Logic Programming"},{"key":"3_CR24","first-page":"591","volume-title":"Proceedings of the 17th International Joint Conference on Artificial Intelligence","author":"A.C. Kakas","year":"2001","unstructured":"Kakas, A.C., van Nuffelen, B., Denecker, M.: A-System: Problem solving through abduction. In: Nebel, B. (ed.) Proceedings of the 17th International Joint Conference on Artificial Intelligence, Seattle, Washington, USA, pp. 591\u2013596. Morgan Kaufmann Publishers, San Francisco (2001)"},{"key":"3_CR25","unstructured":"Torroni, P.: Reasoning and interaction in logic-based multi-agent systems. PhD thesis, Department of Electronics, Computer Science, and Systems, University of Bologna, Italy (2001)"},{"key":"3_CR26","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/3-540-45757-7_2","volume-title":"Logics in Artificial Intelligence","author":"A. Ciampolini","year":"2002","unstructured":"Ciampolini, A., Lamma, E., Mello, P., Torroni, P.: A proof-system for the safe execution of tasks in multi-agent systems. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 14\u201326. Springer, Heidelberg (2002)"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Hindriks, K., de Boer, F., van der Hoek, W., Meyer, J.J.: Semantics of communicating agents based on deduction and abduction. In: Foundations And Applications Of Collective Agent Based Systems (CABS) (1999)","DOI":"10.1007\/10722777_5"},{"key":"3_CR28","unstructured":"Bracciali, A., Torroni, P.: A new framework for knowledge revision of abductive agents through their interaction (preliminary report). In: Dix, J., Leite, J. (eds.) CLIMA-IV: Computational Logic in Multi-Agent Systems, Fourth International Workshop. Proceedings, Fort Lauderdale, FL, USA (to appear, 2004)"},{"key":"3_CR29","first-page":"147","volume-title":"Logic Programming, Proceedings of the 1993 International Symposium","author":"M. Denecker","year":"1993","unstructured":"Denecker, M., Schreye, D.D.: Representing Incomplete Knowledge in Abductive Logic Programming. In: Logic Programming, Proceedings of the 1993 International Symposium, Vancouver, British Columbia, Canada, pp. 147\u2013163. The MIT Press, Cambridge (1993)"},{"key":"3_CR30","unstructured":"van Nuffelen, B., Denecker, M.: Problem solving in ID-logic with aggregates. In: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR 2000, pp. 1\u20139. Breckenridge, CO. (2000)"},{"key":"3_CR31","doi-asserted-by":"crossref","first-page":"203","DOI":"10.3233\/FI-1998-34301","volume":"34","author":"R. Kowalski","year":"1998","unstructured":"Kowalski, R., Toni, F., Wetzel, G.: Executing suspended logic programs. Fundamenta Informaticae\u00a034, 203\u2013224 (1998)","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30200-1_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,28]],"date-time":"2020-05-28T14:12:43Z","timestamp":1590675163000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30200-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240105","9783540302001"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30200-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}