{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:36:45Z","timestamp":1725489405983},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540744573"},{"type":"electronic","value":"9783540744597"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74459-7_20","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T07:57:20Z","timestamp":1187251040000},"page":"308-321","source":"Crossref","is-referenced-by-count":6,"title":["Modelling and Monitoring Social Expectations in Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Cranefield","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","first-page":"14","volume":"15","author":"U. Cort\u00e9s","year":"2004","unstructured":"Cort\u00e9s, U.: Electronic institutions and agents. AgentLink News\u00a015, 14\u201315 (2004)","journal-title":"AgentLink News"},{"key":"20_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/11775331_17","volume-title":"Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems","author":"S. Cranefield","year":"2006","unstructured":"Cranefield, S.: A rule language for modelling and monitoring social expectations in multi-agent systems. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., V\u00e1zquez-Salceda, J. (eds.) Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems. LNCS (LNAI), vol.\u00a03913, pp. 246\u2013258. Springer, Heidelberg (2006)"},{"key":"20_CR3","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"116","author":"F. Bacchus","year":"2000","unstructured":"Bacchus, F., Kabanza, F.: Using temporal logics to express search control knowledge for planning. Artificial Intelligence\u00a0116, 123\u2013191 (2000)","journal-title":"Artificial Intelligence"},{"key":"20_CR4","first-page":"236","volume-title":"Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems","author":"M. Esteva","year":"2004","unstructured":"Esteva, M., Rosell, B., Rodr\u00edguez-Aguilar, J.A., Arcos, J.L.: AMELI: An agent-based middleware for electronic institutions. In: Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems, vol.\u00a01, pp. 236\u2013243. ACM Press, New York (2004)"},{"key":"20_CR5","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R., Nilsson, N.: STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence\u00a02, 189\u2013208 (1971)","journal-title":"Artificial Intelligence"},{"key":"20_CR6","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol.\u00a04, pp. 463\u2013502. Edinburgh University Press (1969)"},{"key":"20_CR7","first-page":"77","volume":"3","author":"R. Miller","year":"1999","unstructured":"Miller, R., Shanahan, M.: The event-calculus in classical logic - alternative axiomatizations. Electronic Transactions on Artificial Intelligence\u00a03, 77\u2013105 (1999)","journal-title":"Electronic Transactions on Artificial Intelligence"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1142\/S0218843005001110","volume":"14","author":"A.D.H. Farrell","year":"2005","unstructured":"Farrell, A.D.H., Sergot, M.J., Sall\u00e9, M., Bartolini, C.: Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems\u00a014, 99\u2013129 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"20_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-540-24608-4_10","volume-title":"Advances in Agent Communication","author":"A.U. Mallya","year":"2004","unstructured":"Mallya, A.U., Yolum, P., Singh, M.P.: Resolving commitments among autonomous agents. In: Dignum, F.P.M. (ed.) ACL 2003. LNCS (LNAI), vol.\u00a02922, pp. 166\u2013182. Springer, Heidelberg (2004)"},{"key":"20_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-3-540-32258-0_7","volume-title":"Agent Communication","author":"M. Verdicchio","year":"2005","unstructured":"Verdicchio, M., Colombetti, M.: Dealing with time in content language expressions. In: van Eijk, R.M., Huget, M.-P., Dignum, F.P.M. (eds.) AC 2004. LNCS (LNAI), vol.\u00a03396, pp. 91\u2013105. Springer, Heidelberg (2005)"},{"key":"20_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/978-3-540-30082-3_23","volume-title":"Multiagent System Technologies","author":"J. V\u00e1zquez-Salceda","year":"2004","unstructured":"V\u00e1zquez-Salceda, J., Aldewereld, H., Dignum, F.: Implementing norms in multiagent systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol.\u00a03187, pp. 313\u2013327. Springer, Heidelberg (2004)"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1145\/545056.545069","volume-title":"Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems","author":"M. Esteva","year":"2002","unstructured":"Esteva, M., de la Cruz, D., Sierra, C.: ISLANDER: an electronic institutions editor. In: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 1045\u20131052. ACM Press, New York (2002)"},{"key":"20_CR13","unstructured":"IIIA-CSIC: Electronic Institutions Development Environment Web site (accessed 2006-02-01), http:\/\/e-institutions.iiia.csic.es\/software.html"},{"key":"20_CR14","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Compliance verification of agent interaction: a logic-based software tool. In: Trappl, R. (ed.) Cybernetics and Systems, vol. II. Austrian Society for Cybernetics Studies, pp. 570\u2013575 (2004)"},{"key":"20_CR15","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/11691792_6","volume-title":"Declarative Agent Languages and Technologies III","author":"A. Garc\u00eda-Camino","year":"2006","unstructured":"Garc\u00eda-Camino, A., Rodr\u00edguez-Aguilar, J.A., Sierra, C., Vasconcelos, W.: A distributed architecture for norm-aware agent societies. In: Baldoni, M., Endriss, U., Omicini, A., Torroni, P. (eds.) DALT 2005. LNCS (LNAI), vol.\u00a03904, pp. 89\u2013105. Springer, Heidelberg (2006)"},{"key":"20_CR16","unstructured":"Wikipedia: ISO 8601 (accessed 2006-02-01), http:\/\/en.wikipedia.org\/wiki\/ISO_8601"},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"Klyne, G., Newman, C.: Date and time on the internet: Timestamps. Request for Comments 3339. The Internet Society (2002)","DOI":"10.17487\/rfc3339"},{"key":"20_CR18","unstructured":"W3C: XML schema part 2: Datatypes 2nd edn. (2004), http:\/\/www.w3.org\/TR\/2004\/REC-xmlschema-2-20041028\/"},{"key":"20_CR19","unstructured":"Joda.org: Joda Time - Java date and time API (accessed 2006-02-01), http:\/\/joda-time.sourceforge.net\/"},{"key":"20_CR20","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1080\/08839510490509054","volume":"18","author":"N. Fornara","year":"2004","unstructured":"Fornara, N., Colombetti, M.: A commitment-based approach to agent communication. Applied Artificial Intelligence\u00a018, 853\u2013866 (2004)","journal-title":"Applied Artificial Intelligence"},{"key":"20_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-45448-9_17","volume-title":"Intelligent Agents VIII","author":"P. Yolum","year":"2002","unstructured":"Yolum, P., Singh, M.P.: Commitment machines. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 235\u2013247. Springer, Heidelberg (2002)"},{"key":"20_CR22","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1010056221226","volume":"2","author":"M. Venkatraman","year":"1999","unstructured":"Venkatraman, M., Singh, M.P.: Verifying compliance with commitment protocols: Enabling open web-based multiagent systems. Autonomous Agents and Multi-Agent Systems\u00a02, 217\u2013236 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"20_CR23","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1613\/jair.970","volume":"17","author":"G. Kaminka","year":"2002","unstructured":"Kaminka, G., Pynadath, D., Tambe, M.: Monitoring teams by overhearing: A multi-agent plan-recognition approach. Journal of Artificial Intelligence Research\u00a017, 83\u2013135 (2002)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"20_CR24","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68143-4_18","volume-title":"Agent Communication II","author":"S. Cranefield","year":"2006","unstructured":"Cranefield, S.: Reliable group communication and institutional action in a multi-agent trading scenario. In: Dignum, F., van Eijk, R.M., Flores, R. (eds.) AC 2005. LNCS (LNAI), vol.\u00a03859, Springer, Heidelberg (2006)"},{"key":"20_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68143-4_9","volume-title":"Agent Communication II","author":"J. Heard","year":"2006","unstructured":"Heard, J., Kremer, R.C.: Practical issues in detecting broken social commitments. In: Dignum, F., van Eijk, R.M., Flores, R. (eds.) AC 2005. LNCS (LNAI), vol.\u00a03859, Springer, Heidelberg (2006)"},{"key":"20_CR26","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/j.entcs.2005.07.028","volume":"149","author":"S. Kerjean","year":"2006","unstructured":"Kerjean, S., Kabanza, F., St-Denis, R., Thi\u00e9baux, S.: Analyzing LTL model checking techniques for plan synthesis and controller synthesis (work in progress). Electronic Notes in Theoretical Computer Science\u00a0149, 91\u2013104 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"20_CR27","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1145\/860575.860660","volume-title":"AAMAS 2003","author":"M. Verdicchio","year":"2003","unstructured":"Verdicchio, M., Colombetti, M.: A logical model of social commitment for agent communication. In: AAMAS 2003. Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 528\u2013535. ACM Press, New York (2003)"},{"key":"20_CR28","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/227595.227602","volume":"43","author":"R. Alur","year":"1996","unstructured":"Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. Journal of the ACM\u00a043, 116\u2013146 (1996)","journal-title":"Journal of the ACM"},{"key":"20_CR29","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P. Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic, pp. 436\u2013447. Cambridge University Press, Cambridge (2001)"},{"key":"20_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/BFb0013075","volume-title":"Logic Programming and Automated Reasoning","author":"M. Fisher","year":"1992","unstructured":"Fisher, M., Owens, R.: From the past to the future: Executing temporal logic programs. In: Voronkov, A. (ed.) LPAR 1992. LNCS, vol.\u00a0624, pp. 369\u2013380. Springer, Heidelberg (1992)"},{"key":"20_CR31","first-page":"41","volume-title":"TIME 2001","author":"T. Stratulat","year":"2001","unstructured":"Stratulat, T., Clerin-Debart, F., Enjalbert, P.: Temporal reasoning: an application to normative systems. In: TIME 2001. Proceedings of the 8th International Symposium on Temporal Representation and Reasoning, pp. 41\u201347. IEEE Computer Society Press, Los Alamitos (2001)"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Agent Systems II"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74459-7_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:22:08Z","timestamp":1605763328000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74459-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540744573","9783540744597"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74459-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}