{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,16]],"date-time":"2026-01-16T10:40:05Z","timestamp":1768560005815,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540240105","type":"print"},{"value":"9783540302001","type":"electronic"}],"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_9","type":"book-chapter","created":{"date-parts":[[2010,2,28]],"date-time":"2010-02-28T23:23:07Z","timestamp":1267399387000},"page":"159-177","source":"Crossref","is-referenced-by-count":2,"title":["A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Bracciali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","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":"9_CR2","doi-asserted-by":"crossref","unstructured":"Leite, J., Alferes, J.J., Moniz Pereira, L.: MINERVA - A dynamic logic programming agent architecture. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 141\u2013157. Springer, Heidelberg (2002)","DOI":"10.1007\/3-540-45448-9_11"},{"key":"9_CR3","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":"9_CR4","doi-asserted-by":"crossref","unstructured":"Dell\u2019Acqua, P., Nilsson, U., Pereira, L.M.: A logic based asynchronous multi-agent system. Electronic Notes in Theoretical Computer Science\u00a070 (2002)","DOI":"10.1016\/S1571-0661(04)80589-9"},{"key":"9_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/978-3-540-30200-1_10","volume-title":"Computational Logic in Multi-Agent Systems","author":"P. Dell\u2019Acqua","year":"2004","unstructured":"Dell\u2019Acqua, P.: Weighted Multi Dimensional Logic Programs. In: Dix, J., Leite, J.A. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03259, pp. 178\u2013200. Springer, Heidelberg (2004)"},{"key":"9_CR6","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/3-540-45757-7_35","volume-title":"Logics in Artificial Intelligence","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 (LNAI), vol.\u00a02424, pp. 419\u2013431. Springer, Heidelberg (2002)"},{"key":"9_CR7","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":"9_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-30200-1_3","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Gavanelli","year":"2004","unstructured":"Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: An Abductive Framework for Information Exchange in Multi-agent Systems. In: Dix, J., Leite, J.A. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03259, pp. 34\u201352. Springer, Heidelberg (2004)"},{"key":"9_CR9","first-page":"181","volume-title":"Abductive and Inductive Reasoning. Pure and Applied Logic","author":"R.J. Mooney","year":"2000","unstructured":"Mooney, R.J.: Integrating abduction and induction in machine learning. In: Flach, P.A., Kakas, A.C. (eds.) Abductive and Inductive Reasoning. Pure and Applied Logic, pp. 181\u2013191. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. Electronic Notes in Theoretical Computer Sciences\u00a085 (2003)","DOI":"10.1016\/S1571-0661(05)82605-2"},{"key":"9_CR11","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":"9_CR12","unstructured":"Kakas, A.C., Mancarella, P.: Generalized stable models: a semantics for abduction. In: Proceedings 9th European Conference on Artificial Intelligences, Pitman Publishing (1990)"},{"key":"9_CR13","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Issues in Agent Communication","year":"2000","unstructured":"Dignum, F., Greaves, M. (eds.): Issues in Agent Communication. LNCS (LNAI), vol.\u00a01916. Springer, Heidelberg (2000)"},{"key":"9_CR14","unstructured":"In: Dignum, F.P.M. (ed.) ACL 2003. LNCS, vol.\u00a02922. Springer, Heidelberg (2004)"},{"key":"9_CR15","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45584-1_1","volume-title":"Engineering Societies in the Agents World II","author":"P. Davidsson","year":"2002","unstructured":"Davidsson, P.: Categories of Artificial Societies. In: Omicini, A., Petta, P., Tolksdorf, R. (eds.) ESAW 2001. LNCS (LNAI), vol.\u00a02203, pp. 1\u20139. Springer, Heidelberg (2002)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Castelfranchi, C., Falcone, R., Firozabadi, B., Tan, Y.H.: (guest eds.): Special Issue on \u201cTrust in Agents\u201d, Parts 1 and 2. Applied Artificial Intelligence 14 (2000)","DOI":"10.1080\/08839510050127533"},{"key":"9_CR17","unstructured":"Societies Of ComputeeS (SOCS): a computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees. Home Page: http:\/\/lia.deis.unibo.it\/Research\/SOCS\/"},{"key":"9_CR18","unstructured":"Eiter, T., Makino, K.: On Computing all Abductive Explanations. In: Proceedings of the 18th National Conference on Artificial Intelligence, AAAI 2002, Edmonton, Alberta, Canada, pp. 62\u201367 (2002)"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0004-3702(02)00227-8","volume":"140","author":"F. Lin","year":"2002","unstructured":"Lin, F., You, J.: Abduction in logic programming: a new definition and an abductive procedure based on rewriting. Artificial Intelligence\u00a0140, 175\u2013205 (2002)","journal-title":"Artificial Intelligence"},{"key":"9_CR20","doi-asserted-by":"publisher","first-page":"1223","DOI":"10.1145\/545056.545103","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Part III","author":"P. Torroni","year":"2002","unstructured":"Torroni, P.: A study on the termination of negotiation dialogues. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Part III, Bologna, Italy, pp. 1223\u20131230. ACM Press, New York (2002)"}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T13:15:39Z","timestamp":1558876539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30200-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240105","9783540302001"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30200-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}