{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:37:10Z","timestamp":1725561430060},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540207696"},{"type":"electronic","value":"9783540246084"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24608-4_8","type":"book-chapter","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T09:11:34Z","timestamp":1280394694000},"page":"128-145","source":"Crossref","is-referenced-by-count":8,"title":["A Logical Model of Social Commitment for Agent Communication"],"prefix":"10.1007","author":[{"given":"Mario","family":"Verdicchio","sequence":"first","affiliation":[]},{"given":"Marco","family":"Colombetti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"221","DOI":"10.7551\/mitpress\/3839.003.0014","volume-title":"Intentions in communication","author":"P.R. Cohen","year":"1990","unstructured":"Cohen, P.R., Levesque, H.J.: Rational interaction as the basis for communication. In: Cohen, P.R., Morgan, J., Pollack, M.E. (eds.) Intentions in communication, pp. 221\u2013256. MIT Press, Cambridge (1990)"},{"key":"8_CR2","unstructured":"Colombetti, M.: A commitment-based approach to agent speech acts and conversation. In: Proc. Workshop on Agent Languages and Communication Policies, 4th International Conference on Autonomous Agents (Agents 2000), Barcelona, Spain, pp. 21\u201329 (2000)"},{"issue":"1","key":"8_CR3","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E.A. Emerson","year":"1986","unstructured":"Emerson, E.A., Halpern, J.Y.: \u2018Sometimes\u2019 and \u2018Not Never\u2019 revisited: On branching versus linear time temporal logic. Journal of the ACM\u00a033(1), 151\u2013178 (1986)","journal-title":"Journal of the ACM"},{"key":"8_CR4","volume-title":"Software agents","author":"T. Finin","year":"1995","unstructured":"Finin, T., Labrou, Y., Mayfield, J.: KQML as an agent communication language. In: Bradshaw, J. (ed.) Software agents, MIT Press, Cambridge (1995)"},{"key":"8_CR5","unstructured":"FIPA, Agent Communication Language. FIPA 2000 Specification, Foundation for Intelligent Physical Agents (2000), www.fipa.org"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Fornara, N., Colombetti, M.: Operational specification of a commitment-based communication language. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy (2002)","DOI":"10.1145\/544862.544868"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Fornara, N., Colombetti, M.: Defining interaction protocols using a commitment-based agent communication language. In: Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 03), Melbourne, Australia (2003)","DOI":"10.1145\/860575.860659"},{"key":"8_CR8","unstructured":"Labrou, Y., Finin, T.: Semantics and conversations for an agent communication language. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), Nagoya, Japan (1997)"},{"issue":"2","key":"8_CR9","first-page":"303","volume":"148","author":"F. Laroussinie","year":"1995","unstructured":"Laroussinie, F., Schnoebelen, P.: A hierarchy of temporal logics with past. Theoretical. Computer Science\u00a0148(2), 303\u2013324 (1995)","journal-title":"Computer Science"},{"issue":"4","key":"8_CR10","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1080\/11663081.1998.10510948","volume":"8","author":"H.J. Ohlbach","year":"1998","unstructured":"Ohlbach, H.J., Gabbay, D.: Calendar logic. Journal of Applied Non-classical Logics\u00a08(4), 291\u2013324 (1998)","journal-title":"Journal of Applied Non-classical Logics"},{"key":"8_CR11","unstructured":"Reichenbach, H.: Elements of Symbolic Logic, MacMillan, New York (1947)"},{"key":"8_CR12","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.735849","volume":"31","author":"M.P. Singh","year":"1998","unstructured":"Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer\u00a031, 40\u201347 (1998)","journal-title":"IEEE Computer"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: Proceedings of the 1st International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002), Bologna, Italy (2002)","DOI":"10.1145\/544862.544867"}],"container-title":["Lecture Notes in Computer Science","Advances in Agent Communication"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24608-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T21:52:29Z","timestamp":1711662749000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24608-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540207696","9783540246084"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24608-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}