{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:34:36Z","timestamp":1725568476174},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642168666"},{"type":"electronic","value":"9783642168673"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16867-3_4","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:22:02Z","timestamp":1288704122000},"page":"64-82","source":"Crossref","is-referenced-by-count":4,"title":["Model Checking Normative Agent Organisations"],"prefix":"10.1007","author":[{"given":"Louise","family":"Dennis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick","family":"Tinnemeier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John-Jules","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-89674-6_9","volume-title":"Intelligent Agents and Multi-Agent Systems","author":"L. A\u015ftef\u0103noaei","year":"2008","unstructured":"A\u015ftef\u0103noaei, L., Dastani, M., Meyer, J.-J., Boer, F.S.: A verification framework for normative multi-agent systems. In: Bui, T.D., Ho, T.V., Ha, Q.T. (eds.) PRIMA 2008. LNCS (LNAI), vol.\u00a05357, pp. 54\u201365. Springer, Heidelberg (2008)"},{"unstructured":"Aldewereld, H.: Autonomy versus Conformity an Institutional Perspective on Norms and Protocols. PhD thesis, Utrecht University, SIKS (2007)","key":"4_CR2"},{"doi-asserted-by":"crossref","unstructured":"Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated Verification of Multi-Agent Programs. In: Proc. 23rd IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 69\u201378 (2008)","key":"4_CR3","DOI":"10.1109\/ASE.2008.17"},{"issue":"5","key":"4_CR4","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MIS.2004.47","volume":"19","author":"R.H. Bordini","year":"2004","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model Checking Rational Agents. IEEE Intelligent Systems\u00a019(5), 46\u201352 (2004)","journal-title":"IEEE Intelligent Systems"},{"issue":"2","key":"4_CR5","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s10458-006-5955-7","volume":"12","author":"R.H. Bordini","year":"2006","unstructured":"Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying Multi-Agent Programs by Model Checking. Journal of Autonomous Agents and Multi-Agent Systems\u00a012(2), 239\u2013256 (2006)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"4_CR6","series-title":"Wiley Series in Agent Technology","doi-asserted-by":"publisher","DOI":"10.1002\/9780470061848","volume-title":"Programming Multi-Agent Systems in AgentSpeak Using Jason","author":"R.H. Bordini","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley Series in Agent Technology. John Wiley & Sons, Chichester (2007)"},{"key":"4_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-540-69619-3_4","volume-title":"Computational Logic in Multi-Agent Systems","author":"O. Cliffe","year":"2007","unstructured":"Cliffe, O., Vos, M.D., Padget, J.A.: Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol.\u00a04371, pp. 60\u201379. Springer, Heidelberg (2007)"},{"issue":"3","key":"4_CR8","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/s10458-008-9036-y","volume":"16","author":"M. Dastani","year":"2008","unstructured":"Dastani, M.: 2APL: a practical agent programming language. Autonomous Agents and Multi-Agent Systems\u00a016(3), 214\u2013248 (2008)","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"doi-asserted-by":"crossref","unstructured":"Dastani, M., Tinnemeier, N.A.M., Meyer, J.-J.C.: A programming language for normative multi-agent systems. In: Dignum, V. (ed.) Multi-Agent Systems: Semantics and Dynamics of Organizational Models, ch. 16. IGI Global (2008)","key":"4_CR9","DOI":"10.4018\/978-1-60566-256-5.ch016"},{"key":"4_CR10","volume-title":"Proc. 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS)","author":"L.A. Dennis","year":"2008","unstructured":"Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M.: A Flexible Framework for Verifying Agent Programs. In: Proc. 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS). ACM Press, New York (2008) (Short paper)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-642-03278-3_3","volume-title":"Programming Multi-Agent Systems","author":"L.A. Dennis","year":"2009","unstructured":"Dennis, L.A., Fisher, M.: Programming verifiable heterogeneous agent systems. In: Hindriks, K.V., Pokahr, A., Sardina, S. (eds.) ProMAS 2008. LNCS, vol.\u00a05442, pp. 27\u201342. Springer, Heidelberg (2009)"},{"unstructured":"Grossi, D.: Designing Invisible Handcuffs. Formal Investigations in Institutions and Organizations for Multi-agent Systems. PhD thesis, Utrecht University, SIKS (2007)","key":"4_CR12"},{"key":"4_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/3-540-44631-1_16","volume-title":"Intelligent Agents VII. Agent Theories Architectures and Languages","author":"K.V. Hindriks","year":"2001","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.-J.C.: Agent programming with declarative goals. In: Castelfranchi, C., Lesp\u00e9rance, Y. (eds.) ATAL 2000. LNCS (LNAI), vol.\u00a01986, pp. 228\u2013243. Springer, Heidelberg (2001)"},{"unstructured":"Huguet, M.-P., Esteva, M., Phelps, S., Sierra, C., Wooldridge, M.: Model checking electronic institutions. In: MoChArt 2002, pp. 51\u201358 (2002)","key":"4_CR14"},{"key":"4_CR15","first-page":"638","volume-title":"Proc. 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS)","author":"M. Kacprzak","year":"2004","unstructured":"Kacprzak, M., Lomuscio, A., Penczek, W.: Verification of Multiagent Systems via Unbounded Model Checking. In: Proc. 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 638\u2013645. IEEE Computer Society, Los Alamitos (2004)"},{"unstructured":"Plotkin, G.D.: A structural approach to operational semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)","key":"4_CR16"},{"doi-asserted-by":"crossref","unstructured":"Ricci, A., Viroli, M., Omicini, A.: Give agents their artifacts: the A&A approach for engineering working environments in MAS. In: AAMAS (2007)","key":"4_CR17","DOI":"10.1145\/1329125.1329308"},{"key":"4_CR18","volume-title":"The Construction of Social Reality","author":"J.R. Searle","year":"1995","unstructured":"Searle, J.R.: The Construction of Social Reality. Free Press, New York (1995)"},{"issue":"1","key":"4_CR19","first-page":"51","volume":"60","author":"Y. Shoham","year":"1993","unstructured":"Shoham, Y.: Agent-oriented programming. AI\u00a060(1), 51\u201392 (1993)","journal-title":"AI"},{"issue":"1","key":"4_CR20","first-page":"73","volume":"16","author":"J. V\u00e1zquez-Salceda","year":"2008","unstructured":"V\u00e1zquez-Salceda, J., Aldewereld, H., Grossi, D., Dignum, F.: From human regulations to regulated software agents\u2019 behavior. AI & Law\u00a016(1), 73\u201387 (2008)","journal-title":"AI & Law"},{"key":"4_CR21","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-540-74128-2_9","volume-title":"Model Checking and Artificial Intelligence","author":"F. Vigan\u00f2","year":"2007","unstructured":"Vigan\u00f2, F.: A framework for model checking institutions. In: Edelkamp, S., Lomuscio, A. (eds.) MoChArt IV 2006. LNCS (LNAI), vol.\u00a04428, pp. 129\u2013145. Springer, Heidelberg (2007)"},{"issue":"2","key":"4_CR22","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G.P., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering\u00a010(2), 203\u2013232 (2003)","journal-title":"Automated Software Engineering"}],"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-642-16867-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T00:57:30Z","timestamp":1559782650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16867-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642168666","9783642168673"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16867-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}