{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,8]],"date-time":"2025-06-08T04:03:27Z","timestamp":1749355407207,"version":"3.40.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319307336"},{"type":"electronic","value":"9783319307343"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-30734-3_20","type":"book-chapter","created":{"date-parts":[[2016,3,12]],"date-time":"2016-03-12T08:19:52Z","timestamp":1457770792000},"page":"294-308","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formal Frameworks for Verifying Normative Multi-agent Systems"],"prefix":"10.1007","author":[{"given":"Max","family":"Knobbout","sequence":"first","affiliation":[]},{"given":"Mehdi","family":"Dastani","sequence":"additional","affiliation":[]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,3,13]]},"reference":[{"issue":"5","key":"20_CR1","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM 49(5), 672\u2013713 (2002)","journal-title":"J. ACM"},{"issue":"3","key":"20_CR2","doi-asserted-by":"publisher","first-page":"823","DOI":"10.1016\/j.jcss.2011.08.002","volume":"78","author":"KR Apt","year":"2012","unstructured":"Apt, K.R., de Boer, F.S., Olderog, E., de Gouw, S.: Verification of object-oriented programs: a transformational approach. J. Comput. Syst. Sci. 78(3), 823\u2013852 (2012)","journal-title":"J. Comput. Syst. Sci."},{"issue":"4","key":"20_CR3","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1086\/256963","volume":"58","author":"KJ Arrow","year":"1950","unstructured":"Arrow, K.J.: A difficulty in the concept of social welfare. J. Polit. Econ. 58(4), 328\u2013346 (1950)","journal-title":"J. Polit. Econ."},{"key":"20_CR4","volume-title":"Social Choice and Individual Values","author":"KJ Arrow","year":"1951","unstructured":"Arrow, K.J.: Social Choice and Individual Values. Yale University Press, New Haven (1951)"},{"issue":"2\u20133","key":"20_CR5","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/s10588-006-9537-7","volume":"12","author":"G Boella","year":"2006","unstructured":"Boella, G., van der Torre, L., Verhagen, H.: Introduction to normative multiagent systems. Comput. Math. Organ. Theor. 12(2\u20133), 71\u201379 (2006)","journal-title":"Comput. Math. Organ. Theor."},{"issue":"2","key":"20_CR6","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.jal.2005.12.014","volume":"5","author":"FS de Boer","year":"2007","unstructured":"de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.J.C.: A verification framework for agent programming with declarative goals. J. Appl. Logic 5(2), 277\u2013302 (2007)","journal-title":"J. Appl. Logic"},{"key":"20_CR7","unstructured":"Bulling, N., Dastani, M.: Verifying normative behaviour via normative mechanism design. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011), pp. 103\u2013108 (2011)"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Logic of Programs Workshop, pp. 52\u201371 (1982)","DOI":"10.1007\/BFb0025774"},{"key":"20_CR9","unstructured":"Knobbout, M., Dastani, M.: Reasoning under compliance assumptions in normative multiagent systems. In: Proceedings of the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), pp. 331\u2013340 (2012)"},{"key":"20_CR10","first-page":"182","volume":"1","author":"J Moore","year":"1992","unstructured":"Moore, J.: Implementation, contracts and renegotiation in environments with complete information. Adv. Econ. Theor 1, 182\u2013282 (1992)","journal-title":"Adv. Econ. Theor"},{"key":"20_CR11","volume-title":"Theory of Games and Economic Behavior","author":"JV Neumann","year":"1944","unstructured":"Neumann, J.V., Morgenstern, O.: Theory of Games and Economic Behavior. Princeton University Press, Princeton (1944)"},{"key":"20_CR12","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1017\/CBO9780511800481.011","volume-title":"Algorithmic Game Theory","author":"N Nisan","year":"2007","unstructured":"Nisan, N.: Introduction to mechanism design (for computer scientists). In: Nisan, N., Roughgarden, T., Tardos, E., Vazirani, V. (eds.) Algorithmic Game Theory, pp. 209\u2013242. Cambridge University Press, New York (2007)"},{"key":"20_CR13","volume-title":"A Course in Game Theory","author":"M Osborne","year":"1994","unstructured":"Osborne, M., Rubinstein, A.: A Course in Game Theory. MIT Press, Cambridge (1994)"},{"key":"20_CR14","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"20_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-87654-0_1","volume-title":"Engineering Societies in the Agents World VIII","author":"MJ Sergot","year":"2008","unstructured":"Sergot, M.J.: Action and agency in norm-governed multi-agent systems. In: Artikis, A., O\u2019Hare, G.M.P., Stathis, K., Vouros, G. (eds.) ESAW 2007. LNCS (LNAI), vol. 4995, pp. 1\u201354. Springer, Heidelberg (2008)"},{"key":"20_CR16","volume-title":"An Introduction to MultiAgent Systems","author":"M Wooldridge","year":"2009","unstructured":"Wooldridge, M.: An Introduction to MultiAgent Systems, 2nd edn. Wiley Publishing, Chichester (2009)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30734-3_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T12:24:09Z","timestamp":1720787049000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-30734-3_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319307336","9783319307343"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30734-3_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"13 March 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}