{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:09:07Z","timestamp":1725491347753},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752530"},{"type":"electronic","value":"9783540752547"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75254-7_9","type":"book-chapter","created":{"date-parts":[[2007,9,12]],"date-time":"2007-09-12T07:10:25Z","timestamp":1189581025000},"page":"83-92","source":"Crossref","is-referenced-by-count":0,"title":["Commitment Monitoring in a Multiagent System"],"prefix":"10.1007","author":[{"given":"Paola","family":"Spoletini","sequence":"first","affiliation":[]},{"given":"Mario","family":"Verdicchio","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","first-page":"63","volume-title":"ICWS 2006","author":"F. Barbon","year":"2006","unstructured":"Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Run-Time Monitoring of Instances and Classes of Web Service Compositions. In: ICWS 2006. Proceedings of the IEEE International Conference on Web Services, pp. 63\u201371. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/11596141_21","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"L. Baresi","year":"2005","unstructured":"Baresi, L., Guinea, S.: Towards Dynamic Monitoring of WS-BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 269\u2013282. Springer, Heidelberg (2005)"},{"issue":"3","key":"9_CR3","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1145\/380749.380767","volume":"19","author":"A. Carzaniga","year":"2001","unstructured":"Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Design and Evaluation of a Wide-Area Event Notification Service. ACM Transactions on Computer Systems\u00a019(3), 332\u2013383 (2001)","journal-title":"ACM Transactions on Computer Systems"},{"issue":"1","key":"9_CR4","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A.K. Chandra","year":"1981","unstructured":"Chandra, A.K., Kozen, D., Stockmeyer, L.J.: Alternation. Journal of the ACM\u00a028(1), 114\u2013133 (1981)","journal-title":"Journal of the ACM"},{"key":"9_CR5","unstructured":"Colombetti, M.: A Commitment\u2013Based Approach to Agent Speech Acts and Conversations. In: Agents 2000, Barcelona, Spain, pp. 21\u201329 (2000)"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"1157","DOI":"10.1145\/545056.545092","volume-title":"AAMAS 2002","author":"M. Colombetti","year":"2002","unstructured":"Colombetti, M., Verdicchio, M.: An Analysis of Agent Speech Acts as Institutional Actions. In: Castelfranchi, C., Lewis Johnson, W. (eds.) AAMAS 2002, pp. 1157\u20131166. ACM Press, New York (2002)"},{"key":"9_CR7","unstructured":"Cranefield, S.: A Rule Language for Modelling and Monitoring Social Expectations in Multi-Agent Systems. In: Pack Kaelbling, L., Saffiotti, A. (eds.) IJCAI 2005. Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, pp. 1659\u20131660 (2005)"},{"key":"9_CR8","first-page":"995","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and Modal Logic. In: Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 995\u20131072. MIT Press, Cambridge, MA (1990)"},{"key":"9_CR9","unstructured":"FIPA: ACL Specifications. Specification, Foundation for Intelligent Physical Agents (2002), \n                    \n                      http:\/\/www.fipa.org\/repository\/aclspecs.html"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-51803-7_36","volume-title":"Temporal Logic in Specification","author":"D.M. Gabbay","year":"1989","unstructured":"Gabbay, D.M.: The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. In: Banieqbal, B., Pnueli, A., Barringer, H. (eds.) Temporal Logic in Specification. LNCS, vol.\u00a0398, pp. 409\u2013448. Springer, Heidelberg (1989)"},{"key":"9_CR11","unstructured":"Pradella, M., San Pietro, P., Spoletini, P., Morzenti, A.: Practical Model Checking of LTL with Past. In: ATVA 2003. Proceedings of the 1st International Workshop on Automated Technology for Verification and Analysis, National Taiwan University (2003)"},{"key":"9_CR12","first-page":"229","volume-title":"LICS 2000","author":"M. Reynolds","year":"2000","unstructured":"Reynolds, M.: More Past Glories. In: LICS 2000. Proceedings of the Fifteenth Annual IEEE Symposium on Logic in Computer Science, pp. 229\u2013240. IEEE Computer Society Press, Los Alamitos (2000)"},{"key":"9_CR13","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":"9_CR14","doi-asserted-by":"crossref","unstructured":"Thomas, W.: Automata on Infinite Objects. In: Handbook of Theoretical Computer Science (vol. B): Formal Models and Semantics, pp. 133\u2013191 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"9_CR15","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Advances in Agent Communication","author":"M. Verdicchio","year":"2004","unstructured":"Verdicchio, M., Colombetti, M.: A Logical Model of Social Commitment for Agent Communication. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol.\u00a02922, Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Applications V"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75254-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:57:32Z","timestamp":1619521052000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75254-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752530","9783540752547"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75254-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}