{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T04:08:00Z","timestamp":1746504480663,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662444399"},{"type":"electronic","value":"9783662444405"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44440-5_5","type":"book-chapter","created":{"date-parts":[[2014,10,30]],"date-time":"2014-10-30T04:56:22Z","timestamp":1414644982000},"page":"80-94","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Instrumentalization of Norm-regulated Transition System Situations"],"prefix":"10.1007","author":[{"given":"Magnus","family":"Hjelmblom","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,10,31]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/11775331_7","volume-title":"Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems","author":"O Cliffe","year":"2006","unstructured":"Cliffe, O., De Vos, M., Padget, J.: Specifying and analysing agent-based social institutions using answer set programming. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., V\u00e1zquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS (LNAI), vol. 3913, pp. 99\u2013113. Springer, Heidelberg (2006)"},{"key":"5_CR2","series-title":"Lecture Notes in Computer Science (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., De Vos, M., Padget, J.: Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA VII. LNCS (LNAI), vol. 4371, pp. 60\u201379. Springer, Heidelberg (2007)"},{"key":"5_CR3","doi-asserted-by":"publisher","unstructured":"Combettes, S., Hanachi, C., Sibertin-Blanc, C.: Organizational petri nets for protocol design and enactment. In: Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS \u201906, pp. 1384\u20131386. ACM, New York (2006). doi:10.1145\/1160633.1160892","DOI":"10.1145\/1160633.1160892"},{"issue":"2","key":"5_CR4","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/j.jal.2007.06.007","volume":"6","author":"R Craven","year":"2008","unstructured":"Craven, R., Sergot, M.: Agent strands in the action language nC+. J. Appl. Log. 6(2), 172\u2013191 (2008). doi:10.1016\/j.jal.2007.06.007. selected papers from the 8th International Workshop on Deontic Logic in Computer Science, 8th International Workshop on Deontic Logic in Computer Science","journal-title":"J. Appl. Log."},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-540-74459-7_14","volume-title":"Coordination, Organizations, Institutions, and Norms in Agent Systems II","author":"D Gaertner","year":"2007","unstructured":"Gaertner, D., Clark, K., Sergot, M.J.: Ballroom etiquette: a case study for norm-governed multi-agent systems. In: Noriega, P., V\u00e1zquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, pp. 212\u2013226. Springer, Heidelberg (2007)"},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: Proceedings of the 10th International Conference on Artificial Intelligence and Law, ICAIL \u201905, pp. 25\u201334. ACM, New York (2005). doi:10.1145\/1165485.1165490","DOI":"10.1145\/1165485.1165490"},{"key":"5_CR7","unstructured":"Hjelmblom, M.: Deontic action-logic multi-agent systems in Prolog. Technical report 30, University of G\u00e4vle, Division of Computer Science (2008). http:\/\/urn.kb.se\/resolve?urn=urn:nbn:se:hig:diva-1475"},{"key":"5_CR8","unstructured":"Hjelmblom, M.: State transitions and normative positions within normative systems. Technical report 37, University of G\u00e4vle, Department of Industrial Development, IT and Land Management (2011). http:\/\/urn.kb.se\/resolve?urn=urn:nbn:se:hig:diva-10595"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Hjelmblom, M.: Norm-regulated transition system situations. In: Filipe, J., Fred, A. (eds.) Proceedings of the 5th International Conference on Agents and Artificial Intelligence, ICAART 2013, pp. 109\u2013117. SciTePress, Portugal (2013)","DOI":"10.5220\/0004260801090117"},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/978-3-642-01665-3_12","volume-title":"Agent and Multi-Agent Systems: Technologies and Applications","author":"M Hjelmblom","year":"2009","unstructured":"Hjelmblom, M., Odelstad, J.: jDALMAS: a Java\/Prolog framework for deontic action-logic multi-agent systems. In: H\u00e5kansson, A., Nguyen, N.T., Hartung, R.L., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2009. LNCS (LNAI), vol. 5559, pp. 110\u2013119. Springer, Heidelberg (2009)"},{"key":"5_CR11","doi-asserted-by":"publisher","unstructured":"Laaksolahti, J., Boman, M.: Anticipatory guidance of plot. CoRRcs.AI\/0206041 (2002). doi:10.1007\/978-3-540-45002-3_14","DOI":"10.1007\/978-3-540-45002-3_14"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Lindahl, L.: Position and change: a study in law and logic. Synthese library, D. Reidel Pub. Co. (1977). http:\/\/www.google.com\/books?id=_QwWhOK8aY0C","DOI":"10.1007\/978-94-010-1202-7"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1023\/B:ARTI.0000046005.10529.47","volume":"11","author":"L Lindahl","year":"2003","unstructured":"Lindahl, L., Odelstad, J.: Normative systems and their revision: an algebraic approach. Artif. Intell. Law 11, 81\u2013104 (2003). doi:10.1023\/B:ARTI.0000046005.10529.47","journal-title":"Artif. Intell. Law"},{"issue":"1","key":"5_CR14","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/j.jal.2004.01.004","volume":"2","author":"L Lindahl","year":"2004","unstructured":"Lindahl, L., Odelstad, J.: Normative positions within an algebraic roach to normative systems. J. Appl. Log. 2(1), 63\u201391 (2004). doi:10.1016\/j.jal.2004.01.004. the Sixth International Workshop on Deontic Logic in Computer Science","journal-title":"J. Appl. Log."},{"issue":"2","key":"5_CR15","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.jal.2007.06.010","volume":"6","author":"L Lindahl","year":"2008","unstructured":"Lindahl, L., Odelstad, J.: Intermediaries and intervenients in normative systems. J. Appl. Log. 6(2), 229\u2013250 (2008). doi:10.1016\/j.jal.2007.06.010. selected papers from the 8th International Workshop on Deontic Logic in Computer Science","journal-title":"J. Appl. Log."},{"issue":"2","key":"5_CR16","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/j.jal.2010.01.002","volume":"9","author":"L Lindahl","year":"2011","unstructured":"Lindahl, L., Odelstad, J.: Stratification of normative systems with intermediaries. J. Appl. Log. 9(2), 113\u2013136 (2011). doi:10.1016\/j.jal.2010.01.002. special Issue: Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008)","journal-title":"J. Appl. Log."},{"key":"5_CR17","first-page":"545","volume-title":"Handbook of Deontic Logic and Normative Systems","author":"L Lindahl","year":"2013","unstructured":"Lindahl, L., Odelstad, J.: The theory of joining-systems. In: Gabbay, D., Horthy, J., Parent, X., van der Meyden, R., van der Torre, L. (eds.) Handbook of Deontic Logic and Normative Systems, vol. 1, pp. 545\u2013634. College Publications, London (2013)"},{"key":"5_CR18","unstructured":"Makinson, D., van der Torre, L.: What is input\/output logic? input\/output logic, constraints, permissions. In: Boella, G., van der Torre, L., Verhagen, H. (eds.) Normative Multi-agent Systems. No. 07122 in Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany, Dagstuhl, Germany (2007). http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2007\/928"},{"issue":"3","key":"5_CR19","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1093\/logcom\/6.3.465","volume":"6","author":"R van der Meyden","year":"1996","unstructured":"van der Meyden, R.: The dynamic logic of permission. J. Log. Comput. 6(3), 465\u2013479 (1996)","journal-title":"J. Log. Comput."},{"issue":"1","key":"5_CR20","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1305\/ndjfl\/1093637776","volume":"29","author":"JJC Meyer","year":"1987","unstructured":"Meyer, J.J.C.: A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame Journal of Formal Logic 29(1), 109\u2013136 (1987). doi:10.1305\/ndjfl\/1093637776","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"5_CR21","unstructured":"Odelstad, J.: Many-sorted implicative conceptual systems. Ph.D. thesis, Royal Institute of Technology, Computer and Systems Sciences, DSV (2008), qC 20100901"},{"key":"5_CR22","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1023\/B:AMAI.0000034525.49481.4a","volume":"42","author":"J Odelstad","year":"2004","unstructured":"Odelstad, J., Boman, M.: Algebras for agent norm-regulation. Ann. Math. Artif. Intell. 42, 141\u2013166 (2004). doi:10.1023\/B:AMAI.0000034525.49481.4a","journal-title":"Ann. Math. Artif. Intell."},{"key":"5_CR23","unstructured":"Raskin, J.F., van der Torre, L.W., Tan, Y.H.: How to model normative behavior in petri nets. In: Proceedings of the 2nd Modelage Workshop on Formal Models of Agents, pp. 223\u2013241 (1996). http:\/\/hdl.handle.net\/2013\/ULB-DIPOT:oai:dipot.ulb.ac.be:2013\/70564"},{"key":"5_CR24","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.A. (eds.) ESAW 2007. LNCS (LNAI), vol. 4995, pp. 1\u201354. Springer, Heidelberg (2008)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Solin, K.: Modal semirings with operators for knowledge representation. In: Filipe, J., Fred, A. (eds.) Proceedings of the 5th International Conference on Agents and Artificial Intelligence, ICAART 2013, pp. 197\u2013202. SciTePress, Portugal (2013)","DOI":"10.5220\/0004181001970202"},{"key":"5_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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.P.M.: Implementing norms in multiagent systems. In: Lindemann, G., Denzinger, J., Timm, I.J., Unland, R. (eds.) MATES 2004. LNCS (LNAI), vol. 3187, pp. 313\u2013327. Springer, Heidelberg (2004)"}],"container-title":["Communications in Computer and Information Science","Agents and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44440-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T21:21:20Z","timestamp":1746480080000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-44440-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662444399","9783662444405"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44440-5_5","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"31 October 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}