{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T20:40:48Z","timestamp":1751056848473},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540351733"},{"type":"electronic","value":"9783540351764"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11775331_16","type":"book-chapter","created":{"date-parts":[[2006,5,25]],"date-time":"2006-05-25T09:59:12Z","timestamp":1148551152000},"page":"231-245","source":"Crossref","is-referenced-by-count":5,"title":["Verifying Norm Compliancy of Protocols"],"prefix":"10.1007","author":[{"given":"Huib","family":"Aldewereld","sequence":"first","affiliation":[]},{"given":"Javier","family":"V\u00e1zquez-Salceda","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Dignum","sequence":"additional","affiliation":[]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Aldewereld, H., V\u00e1zquez-Salceda, J., Dignum, F., Meyer, J.-J.C.: Proving norm compliancy of protocols in electronic institutions. Technical Report UU-CS-2005-010, Institute of Information and Computing Sciences, Utrecht University (2005)","DOI":"10.1145\/1082473.1082738"},{"key":"16_CR2","unstructured":"Boella, G., Lesmo, L.: Deliberative normative agents. In: Dellarocas, C., Conte, R. (eds.) Workshop on Norms and Institutions in Multi-Agent Systems, pp. 15\u201325. ACM-AAAI, ACM Press (2000)"},{"issue":"1","key":"16_CR3","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1023\/A:1008311429414","volume":"7","author":"M. Boman","year":"1999","unstructured":"Boman, M.: Norms in artificial decission making. Artificial Intelligence and Law\u00a07(1), 17\u201335 (1999)","journal-title":"Artificial Intelligence and Law"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-25927-5_5","volume-title":"Deontic Logic in Computer Science","author":"J. Broersen","year":"2004","unstructured":"Broersen, J., Dignum, F.P.M., Dignum, V., Meyer, J.-J.C.: Designing a Deontic Logic of Deadlines. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS, vol.\u00a03065, pp. 43\u201356. Springer, Heidelberg (2004)"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10719619_27","volume-title":"Intelligent Agents VI. Agent Theories, Architectures, and Languages","author":"C. Castelfranchi","year":"2000","unstructured":"Castelfranchi, C., Dignum, F., Jonker, C., Treur, J.: Deliberative Normative Agents: Principles and architecture. In: Jennings, N.R. (ed.) ATAL 1999. LNCS, vol.\u00a01757, Springer, Heidelberg (2000)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1007\/978-3-540-30960-4_3","volume-title":"Formal Approaches to Agent-Based Systems","author":"F.P.M. Dignum","year":"2004","unstructured":"Dignum, F.P.M., Broersen, J., Dignum, V., Meyer, J.-J.: Meeting the deadline: Why, when and how. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS, vol.\u00a03228, pp. 30\u201340. Springer, Heidelberg (2004)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Dignum, F., Morley, D., Sonenberg, E.A.: Towards socially sophisticated BDI agents. In: DEXA Workshop, pp. 1134\u20131140 (2000)","DOI":"10.1109\/ICMAS.2000.858442"},{"key":"16_CR8","unstructured":"Dignum, V.: A Model for Organizational Interaction: based on Agents, founded in Logic. SIKS Dissertation Series 2004-1. SIKS, PhD Thesis (2004)"},{"key":"16_CR9","unstructured":"Estava, M.: Electronic Institutions: from specification to development. PhD thesis, Universitat Polit\u00e8chnica de Catalunya (2003)"},{"key":"16_CR10","unstructured":"Grossi, D., Aldewereld, H., V\u00e1zquez-Salceda, J., Dignum, F.: Ontological aspects of the implementation of norms in agent-based electronic institutions. In: 1st International Symposium on Normative Multiagent Systems, NorMAS 2005 (accepted, 2005)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-540-30960-4_2","volume-title":"Formal Approaches to Agent-Based Systems","author":"D. Grossi","year":"2004","unstructured":"Grossi, D., Dignum, F.P.M.: From abstract to concrete norms in agent institutions. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS, vol.\u00a03228, pp. 12\u201329. Springer, Heidelberg (2004)"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11533092_3","volume-title":"Computational Logic in Multi-Agent Systems","author":"D. Grossi","year":"2005","unstructured":"Grossi, D., Dignum, F.P.M., Meyer, J.-J.C.: Contextual taxonomies. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS, vol.\u00a03487, pp. 33\u201351. Springer, Heidelberg (2005)"},{"key":"16_CR13","volume-title":"The Concept of Law","author":"H.L.A. Hart","year":"1961","unstructured":"Hart, H.L.A.: The Concept of Law. Clarendon Press, Oxford (1961)"},{"key":"16_CR14","series-title":"EACTS monographs on theoretical computer science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-71549-5","volume-title":"Temporal Logic of Programs","author":"F. Kr\u00f6ger","year":"1987","unstructured":"Kr\u00f6ger, F.: Temporal Logic of Programs. EACTS monographs on theoretical computer science, vol.\u00a08. Springer, Heidelberg (1987)"},{"key":"16_CR15","unstructured":"L\u00f3pez\u00a0y Lopez, F.: Social Power and NormsL Impact on Agent Behaviour. PhD thesis, Faculty of Engineering and Applied Science, Univ. of Southampton (1997)"},{"key":"16_CR16","unstructured":"L\u00f3pez y Lopez, F., Luck, M., d\u2019Inverno, M.: A framework for norm-based inter-agent dependence. In: Proceedings of The Third Mexican International Conference on Computer Science, pp. 31\u201340. SMCC-INEGI (2001)"},{"key":"16_CR17","first-page":"3","volume-title":"Deontic Logic in Computer Science: Normative System Specification","author":"J.-J.C. Meyer","year":"1994","unstructured":"Meyer, J.-J.C., Wieringa, R.J.: Deontic logic: A concise overview. In: Deontic Logic in Computer Science: Normative System Specification, pp. 3\u201316. John Wiley & Sons Ltd., Chichester (1994)"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Royakkers, L., Dignum, F.: Giving permission implies giving choice. In: Schweighofer, E. (ed.) 8th International Conference and Workshop on Database and Expert Systems Applications, Toulouse, France (1997)","DOI":"10.1109\/DEXA.1997.617269"},{"issue":"5","key":"16_CR19","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"M.J. Sergot","year":"1986","unstructured":"Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F.: The british nationality act as a logic program. Communications of the ACM\u00a029(5), 370\u2013386 (1986)","journal-title":"Communications of the ACM"},{"issue":"1-2","key":"16_CR20","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(94)00007-N","volume":"73","author":"Y. Shoham","year":"1995","unstructured":"Shoham, Y., Tennenholtz, M.: On social laws for artificial agent societies: Off-line design. Artificial Intelligence\u00a073(1-2), 231\u2013252 (1995)","journal-title":"Artificial Intelligence"},{"key":"16_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-7821-9","volume-title":"Logic in Law: Remarks on logic and rationality in normative reasoning, especially in law","author":"A. Soeteman","year":"1989","unstructured":"Soeteman, A.: Logic in Law: Remarks on logic and rationality in normative reasoning, especially in law. Kluwer Academic Publishers, Dordrecht (1989)"},{"issue":"4","key":"16_CR22","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.H. Emden van","year":"1976","unstructured":"van Emden, M.H., Kowalski, R.A.: The semantics of predicate logic as a programming language. Journal of the ACM (JACM)\u00a023(4), 733\u2013742 (1976)","journal-title":"Journal of the ACM (JACM)"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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, vol.\u00a03187, pp. 313\u2013327. Springer, Heidelberg (2004)"},{"key":"16_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1007\/3-540-45023-8_56","volume-title":"Multi-Agent Systems and Applications III","author":"J. V\u00e1zquez-Salceda","year":"2003","unstructured":"V\u00e1zquez-Salceda, J., Dignum, F.P.M.: Modelling electronic organizations. In: Ma\u0159\u00edk, V., M\u00fcller, J.P., P\u011bchou\u010dek, M. (eds.) CEEMAS 2003. LNCS, vol.\u00a02691, pp. 584\u2013593. Springer, Heidelberg (2003)"},{"issue":"3","key":"16_CR25","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. Autonomous Agents and Multi-Agent Systems\u00a02(3), 217\u2013236 (1999)","journal-title":"Autonomous Agents and Multi-Agent Systems"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11775331_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:15:11Z","timestamp":1619493311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11775331_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540351733","9783540351764"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11775331_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}