{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:42:56Z","timestamp":1743010976074,"version":"3.40.3"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031208447"},{"type":"electronic","value":"9783031208454"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-20845-4_3","type":"book-chapter","created":{"date-parts":[[2022,11,24]],"date-time":"2022-11-24T14:46:31Z","timestamp":1669301191000},"page":"38-53","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Complexity of\u00a0Norm Synthesis and\u00a0Revision"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1162-8341","authenticated-orcid":false,"given":"Davide","family":"Dell\u2019Anna","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3306-9891","authenticated-orcid":false,"given":"Natasha","family":"Alechina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4480-3887","authenticated-orcid":false,"given":"Fabiano","family":"Dalpiaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4641-4087","authenticated-orcid":false,"given":"Mehdi","family":"Dastani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maarten","family":"L\u00f6ffler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0648-7107","authenticated-orcid":false,"given":"Brian","family":"Logan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,11,24]]},"reference":[{"key":"3_CR1","doi-asserted-by":"publisher","unstructured":"van der Aalst, W.M.P.: Process Mining - Data Science in Action, 2nd edn. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49851-4","DOI":"10.1007\/978-3-662-49851-4"},{"key":"3_CR2","unstructured":"\u00c5gotnes, T., van der Hoek, W., Rodr\u00edguez-Aguilar, J.A., Sierra, C., Wooldridge, M.J.: On the logic of normative systems. In: Veloso, M.M. (ed.) Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 1175\u20131180 (2007)"},{"issue":"5","key":"3_CR3","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1007\/s10458-013-9237-x","volume":"28","author":"S Airiau","year":"2014","unstructured":"Airiau, S., Sen, S., Villatoro, D.: Emergence of conventions through social learning. Auton. Agents Multi-Agent Syst. 28(5), 779\u2013804 (2014)","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"3_CR4","unstructured":"Alechina, N., Dastani, M., Logan, B.: Norm approximation for imperfect monitors. In: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS 2014, pp. 117\u2013124 (2014)"},{"key":"3_CR5","unstructured":"Alechina, N., Logan, B., Dastani, M.: Modeling norm specification and verification in multiagent systems. FLAP 5(2), 457\u2013490 (2018). https:\/\/www.collegepublications.co.uk\/downloads\/ifcolog00022.pdf"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Artikis, A., Pitt, J.: A formal model of open agent societies. In: Proceedings of the Fifth International Conference on Autonomous Agents, AGENTS 2001, pp. 192\u2013193 (2001)","DOI":"10.1145\/375735.376108"},{"key":"3_CR7","unstructured":"Athakravi, D., Corapi, D., Russo, A., Vos, M.D., Padget, J.A., Satoh, K.: Handling change in normative specifications. In: International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, pp. 1369\u20131370 (2012)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Aucher, G., Grossi, D., Herzig, A., Lorini, E.: Dynamic context logic. In: Proceedings of LORI, pp. 15\u201326 (2009)","DOI":"10.1007\/978-3-642-04893-7_2"},{"key":"3_CR9","unstructured":"Boella, G., van der Torre, L.W.N.: Regulative and constitutive norms in normative multiagent systems. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, 2\u20135 June 2004, pp. 255\u2013266 (2004)"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.artint.2016.07.001","volume":"239","author":"N Bulling","year":"2016","unstructured":"Bulling, N., Dastani, M.: Norm-based mechanism design. Artif. Intell. 239, 97\u2013142 (2016)","journal-title":"Artif. Intell."},{"volume-title":"Handbook of Multiagent Systems","year":"2018","key":"3_CR11","unstructured":"Chopra, A., van der Torre, L., Verhagen, H., Villata, S. (eds.): Handbook of Multiagent Systems. College Publications, London (2018)"},{"key":"3_CR12","unstructured":"Christelis, G., Rovatsos, M.: Automated norm synthesis in an agent-based planning environment. In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems-Volume 1, pp. 161\u2013168. International Foundation for Autonomous Agents and Multiagent Systems (2009)"},{"issue":"4\u20135","key":"3_CR13","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1017\/S1471068411000305","volume":"11","author":"D Corapi","year":"2011","unstructured":"Corapi, D., Russo, A., Vos, M.D., Padget, J.A., Satoh, K.: Normative design using inductive learning. Theory Pract. Log. Program. 11(4\u20135), 783\u2013799 (2011)","journal-title":"Theory Pract. Log. Program."},{"issue":"2","key":"3_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10458-020-09465-8","volume":"34","author":"D Dell\u2019Anna","year":"2020","unstructured":"Dell\u2019Anna, D., Dastani, M., Dalpiaz, F.: Runtime revision of sanctions in normative multi-agent systems. Auton. Agents Multi-Agent Syst. 34(2), 1\u201354 (2020). https:\/\/doi.org\/10.1007\/s10458-020-09465-8","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"3_CR15","unstructured":"Dzeroski, S., Lavrac, N.: Inductive logic programming: techniques and applications (1994)"},{"issue":"1","key":"3_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0004-3702(00)00006-0","volume":"119","author":"D Fitoussi","year":"2000","unstructured":"Fitoussi, D., Tennenholtz, M.: Choosing social laws for multi-agent systems: minimality and simplicity. Artif. Intell. 119(1), 61\u2013101 (2000)","journal-title":"Artif. Intell."},{"issue":"1","key":"3_CR17","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1093\/jigpal\/jzp075","volume":"18","author":"G Governatori","year":"2010","unstructured":"Governatori, G., Rotolo, A.: Changing legal systems: legal abrogations and annulments in defeasible logic. Log. J. IGPL 18(1), 157\u2013194 (2010). https:\/\/doi.org\/10.1093\/jigpal\/jzp075","journal-title":"Log. J. IGPL"},{"issue":"1","key":"3_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11229-006-9072-6","volume":"156","author":"W van der Hoek","year":"2007","unstructured":"van der Hoek, W., Roberts, M., Wooldridge, M.J.: Social laws in alternating time: effectiveness, feasibility, and synthesis. Synthese 156(1), 1\u201319 (2007)","journal-title":"Synthese"},{"key":"3_CR19","unstructured":"Huang, X., Ruan, J., Chen, Q., Su, K.: Normative multiagent systems: the dynamic generalization. In: Kambhampati, S. (ed.) Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), pp. 1123\u20131129 (2016)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Jiang, J., Aldewereld, H., Dignum, V., Tan, Y.: Norm contextualization. In: Coordination, Organizations, Institutions, and Norms in Agent Systems VIII - 14th International Workshop, COIN 2012, Held Co-located with AAMAS 2012, Valencia, Spain, 5 June 2012, Revised Selected Papers, pp. 141\u2013157 (2012)","DOI":"10.1007\/978-3-642-37756-3_9"},{"issue":"2","key":"3_CR21","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1007\/s10994-015-5512-1","volume":"100","author":"N Katzouris","year":"2015","unstructured":"Katzouris, N., Artikis, A., Paliouras, G.: Incremental learning of event definitions with inductive logic programming. Mach. Learn. 100(2), 555\u2013585 (2015)","journal-title":"Mach. Learn."},{"key":"3_CR22","unstructured":"Knobbout, M., Dastani, M., Meyer, J.C.: A dynamic logic of norm change. In: Proceedings of ECAI, pp. 886\u2013894 (2016)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Lorenz, R., Senoner, J., Sihn, W., Netland, T.: Using process mining to improve productivity in make-to-stock manufacturing. Int. J. Prod. Res., 1\u201312 (2021)","DOI":"10.1080\/00207543.2021.1906460"},{"issue":"2","key":"3_CR24","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1007\/s10115-019-01372-z","volume":"62","author":"D Loreti","year":"2020","unstructured":"Loreti, D., Chesani, F., Ciampolini, A., Mello, P.: Generating synthetic positive and negative business process traces through abduction. Knowl. Inf. Syst. 62(2), 813\u2013839 (2020)","journal-title":"Knowl. Inf. Syst."},{"key":"3_CR25","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/978-3-319-72550-5_21","volume-title":"Recent Advances on Soft Computing and Data Mining","author":"MA Mahmoud","year":"2018","unstructured":"Mahmoud, M.A., Ahmad, M.S., Yusoff, M.Z.M., Mostafa, S.A.: A regulative norms mining algorithm for complex adaptive system. In: Ghazali, R., Deris, M.M., Nawi, N.M., Abawajy, J.H. (eds.) SCDM 2018. AISC, vol. 700, pp. 213\u2013224. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-72550-5_21"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Miralles, J.C., L\u00f3pez-S\u00e1nchez, M., Salam\u00f3, M., Avila, P., Rodr\u00edguez-Aguilar, J.A.: Robust regulation adaptation in multi-agent systems. TAAS 8(3), 13:1\u201313:27 (2013)","DOI":"10.1145\/2517328"},{"issue":"1","key":"3_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2720024","volume":"10","author":"J Morales","year":"2015","unstructured":"Morales, J., Lopez-Sanchez, M., Rodriguez-Aguilar, J.A., Vasconcelos, W., Wooldridge, M.: Online automated synthesis of compact normative systems. ACM Trans. Auton. Adapt. Syst. (TAAS) 10(1), 1\u201333 (2015)","journal-title":"ACM Trans. Auton. Adapt. Syst. (TAAS)"},{"key":"3_CR28","unstructured":"Morales, J., L\u00f3pez-S\u00e1nchez, M., Rodr\u00edguez-Aguilar, J.A., Wooldridge, M., Vasconcelos, W.: Synthesising liberal normative systems. In: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, pp. 433\u2013441. International Foundation for Autonomous Agents and Multiagent Systems (2015)"},{"key":"3_CR29","unstructured":"Morales, J., Wooldridge, M., Rodr\u00edguez-Aguilar, J.A., L\u00f3pez-S\u00e1nchez, M.: Evolutionary synthesis of stable normative systems. In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, S\u00e3o Paulo, Brazil, 8\u201312 May 2017, pp. 1646\u20131648 (2017)"},{"issue":"5","key":"3_CR30","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1007\/s10458-018-9390-3","volume":"32","author":"J Morales","year":"2018","unstructured":"Morales, J., Wooldridge, M., Rodr\u00edguez-Aguilar, J.A., L\u00f3pez-S\u00e1nchez, M.: Off-line synthesis of evolutionarily stable normative systems. Auton. Agents Multi-Agent Syst. 32(5), 635\u2013671 (2018). https:\/\/doi.org\/10.1007\/s10458-018-9390-3","journal-title":"Auton. Agents Multi-Agent Syst."},{"issue":"1","key":"3_CR31","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10994-013-5358-3","volume":"94","author":"SH Muggleton","year":"2014","unstructured":"Muggleton, S.H., Lin, D., Pahlavi, N., Tamaddoni-Nezhad, A.: Meta-interpretive learning: application to grammatical inference. Mach. Learn. 94(1), 25\u201349 (2014)","journal-title":"Mach. Learn."},{"key":"3_CR32","unstructured":"Perelli, G.: Enforcing equilibria in multi-agent systems. In: Agmon, N., Taylor, M.E., Elkind, E., Veloso, M. (eds.) Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019), pp. 188\u2013196 (2019)"},{"issue":"1","key":"3_CR33","doi-asserted-by":"publisher","first-page":"21","DOI":"10.3233\/MGS-2011-0167","volume":"7","author":"BTR Savarimuthu","year":"2011","unstructured":"Savarimuthu, B.T.R., Cranefield, S.: Norm creation, spreading and emergence: a survey of simulation models of norms in multi-agent systems. Multiagent Grid Syst. 7(1), 21\u201354 (2011)","journal-title":"Multiagent Grid Syst."},{"issue":"1\u20132","key":"3_CR34","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. Artif. Intell. 73(1\u20132), 231\u2013252 (1995)","journal-title":"Artif. Intell."},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Tinnemeier, N., Dastani, M., Meyer, J.J., van der Torre, L.: Programming normative artifacts with declarative obligations and prohibitions. In: Proceedings of the IEEE\/WIC\/ACM International Conference on Intelligent Agent Technology (IAT 2009), pp. 69\u201378 (2009)","DOI":"10.1109\/WI-IAT.2009.144"},{"issue":"3","key":"3_CR36","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1016\/j.jal.2005.04.006","volume":"3","author":"M Wooldridge","year":"2005","unstructured":"Wooldridge, M., van der Hoek, W.: On obligations and normative ability: towards a logical analysis of the social contract. J. Appl. Logic 3(3), 396\u2013420 (2005)","journal-title":"J. Appl. Logic"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-20845-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,24]],"date-time":"2022-11-24T14:48:17Z","timestamp":1669301297000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-20845-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031208447","9783031208454"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-20845-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"24 November 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"COINE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 May 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 May 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coin2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/coin-workshop.github.io\/coine-2022-auckland\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}