{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:13:40Z","timestamp":1742912020045,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031820380"},{"type":"electronic","value":"9783031820397"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-82039-7_1","type":"book-chapter","created":{"date-parts":[[2025,3,3]],"date-time":"2025-03-03T09:10:13Z","timestamp":1740993013000},"page":"3-14","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Specifying Agent Ethics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1426-1896","authenticated-orcid":false,"given":"Louise A.","family":"Dennis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0875-3862","authenticated-orcid":false,"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,3,4]]},"reference":[{"issue":"4","key":"1_CR1","first-page":"15","volume":"28","author":"M Anderson","year":"2007","unstructured":"Anderson, M., Anderson, S.: Machine ethics: creating an ethical intelligent agent. AI Mag. 28(4), 15\u201326 (2007)","journal-title":"AI Mag."},{"key":"1_CR2","unstructured":"Asimov, I.: Runaround. In: Astounding Science Fiction. Street and Smith (1942)"},{"key":"1_CR3","unstructured":"Bentzen, M.: The principle of double effect applied to ethical dilemmas of social robots. In: Proceedings of Robophilosophy 2016, pp. 268\u2013279. IOS Press (2016)"},{"volume-title":"The Correctness Problem in Computer Science","year":"1981","key":"1_CR4","unstructured":"Boyer, R.S., Moore, J.S. (eds.): The Correctness Problem in Computer Science. Academic Press, London (1981)"},{"key":"1_CR5","doi-asserted-by":"publisher","unstructured":"Bremner, P., Dennis, L.A., Fisher, M., Winfield, A.F.T.: On proactive, transparent, and verifiable ethical reasoning for robots. Proc. IEEE 107(3), 1\u201321 (2019). https:\/\/doi.org\/10.1109\/JPROC.2019.2898267","DOI":"10.1109\/JPROC.2019.2898267"},{"key":"1_CR6","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-031-47994-6_23","volume-title":"Artificial Intelligence XL","author":"J Collenette","year":"2023","unstructured":"Collenette, J., Dennis, L., Fisher, M.: Prospective responsibility for\u00c2 multi-agent systems. In: Bramer, M., Stahl, F. (eds.) Artificial Intelligence XL, pp. 247\u2013252. Springer Nature Switzerland, Cham (2023)"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-030-17294-7_3","volume-title":"Agreement Technologies","author":"S Cranefield","year":"2019","unstructured":"Cranefield, S., Oren, N., Vasconcelos, W.W.: Accountability for practical reasoning agents. In: Lujak, M. (ed.) Agreement Technologies, pp. 33\u201348. Springer International Publishing, Cham (2019)"},{"issue":"5","key":"1_CR9","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1145\/359104.359106","volume":"22","author":"RA DeMillo","year":"1979","unstructured":"DeMillo, R.A., Lipton, R.J., Perlis, A.J.: Social processes and proofs of theorems of programs. ACM Commun. 22(5), 271\u2013280 (1979)","journal-title":"ACM Commun."},{"key":"1_CR10","doi-asserted-by":"publisher","unstructured":"Dennis, L.A.: The MCAPL framework including the agent infrastructure layer an agent java pathfinder. J. Open Sour. Softw. 3(24), 617 (2018). https:\/\/doi.org\/10.21105\/JOSS.00617","DOI":"10.21105\/JOSS.00617"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Dennis, L.A., Bentzen, M.a.M., Lindner, F., Fisher, M.: Verifiable machine ethics in changing contexts. In: Proceedings of the AAAI Conference on Artificial Intelligence 35(13), 11470\u201311478 (2021). https:\/\/ojs.aaai.org\/index.php\/AAAI\/article\/view\/17366","DOI":"10.1609\/aaai.v35i13.17366"},{"key":"1_CR12","doi-asserted-by":"publisher","unstructured":"Dennis, L.A., Fisher, M., Slavkovik, M., Webster, M.P.: Formal verification of ethical choices in autonomous systems. Rob. Auton. Syst. 77, 1\u201314 (2016). https:\/\/doi.org\/10.1016\/j.robot.2015.11.012","DOI":"10.1016\/j.robot.2015.11.012"},{"issue":"1","key":"1_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/S10515-011-0088-X","volume":"19","author":"LA Dennis","year":"2012","unstructured":"Dennis, L.A., Fisher, M., Webster, M., Bordini, R.H.: Model checking agent programming languages. Autom. Softw. Eng. 19(1), 5\u201363 (2012). https:\/\/doi.org\/10.1007\/S10515-011-0088-X","journal-title":"Autom. Softw. Eng."},{"key":"1_CR14","unstructured":"Falcone, Y., Havelund, K., Reger, G.: A tutorial on runtime verification. Eng. Dependable Softw. Syst. 34, 141\u2013175 (2013)"},{"issue":"9","key":"1_CR15","doi-asserted-by":"publisher","first-page":"1048","DOI":"10.1145\/48529.48530","volume":"31","author":"JH Fetzer","year":"1988","unstructured":"Fetzer, J.H.: Program verification: the very idea. Commun. ACM 31(9), 1048\u20131063 (1988)","journal-title":"Commun. ACM"},{"key":"1_CR16","first-page":"5","volume":"5","author":"P Foot","year":"1967","unstructured":"Foot, P.: The problem of abortion and the doctrine of the double effect. Oxford Rev. 5, 5\u201315 (1967)","journal-title":"Oxford Rev."},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Halpern, J.Y.: Actual Causality. MIT Press (2016)","DOI":"10.7551\/mitpress\/10809.001.0001"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Lindner, F., Bentzen, M., Nebel, B.: The HERA approach to morally competent robots. In: Proceedings of IEEE\/RSJ International Conference Intelligent Robots and Systems (IROS) (2017)","DOI":"10.1109\/IROS.2017.8206625"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Mehlitz, P.C., Rungta, N., Visser, W.: A hands-on java pathfinder tutorial. In: Proceedings of 35th International Conference on Software Engineering (ICSE), pp. 1493\u20131495. IEEE\/ACM (2013). http:\/\/dl.acm.org\/citation.cfm?id=2486788","DOI":"10.1109\/ICSE.2013.6606756"},{"issue":"4","key":"1_CR20","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MIS.2006.80","volume":"21","author":"J Moor","year":"2006","unstructured":"Moor, J.: The nature, importance, and difficulty of machine ethics. IEEE Intell. Syst. 21(4), 18\u201321 (2006)","journal-title":"IEEE Intell. Syst."},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Murphy, R., Woods, D.D.: Beyond Asimov: the three laws of responsible robotics. IEEE Intell. Syst. 24(4) (2009)","DOI":"10.1109\/MIS.2009.69"},{"issue":"2","key":"1_CR22","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1111\/J.1551-6709.2009.01088.X","volume":"34","author":"TS Rai","year":"2010","unstructured":"Rai, T.S., Holyoak, K.J.: Moral principles or consumer preferences? Alternative framings of the trolley problem. Cogn. Sci. 34(2), 311\u2013321 (2010). https:\/\/doi.org\/10.1111\/J.1551-6709.2009.01088.X","journal-title":"Cogn. Sci."},{"key":"1_CR23","unstructured":"Rao, A.S., Georgeff, M.P.: An abstract architecture for rational agents. In: Proceedings of 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR and R), pp. 439\u2013449. Morgan Kaufmann (1992)"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Visser, W., Mehlitz, P.C.: Model checking programs with java pathfinder. In: Proceedings of 12th International SPIN Workshop. Lecture Notes in Computer Science, vol.\u00a03639, p.\u00a027. Springer (2005)","DOI":"10.1007\/11537328_5"},{"key":"1_CR25","doi-asserted-by":"crossref","unstructured":"Wallach, W., Allen, C.: Moral Machines: Teaching Robots Right from Wrong. Oxford University Press (2008)","DOI":"10.1093\/acprof:oso\/9780195374049.001.0001"},{"key":"1_CR26","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-030-28954-6_2","volume-title":"Explainable AI: Interpreting, Explaining and Visualizing Deep Learning","author":"A Weller","year":"2019","unstructured":"Weller, A.: Transparency: motivations and challenges. In: Samek, W., Montavon, G., Vedaldi, A., Hansen, L.K., M\u00fcller, K.-R. (eds.) Explainable AI: Interpreting, Explaining and Visualizing Deep Learning. LNCS (LNAI), vol. 11700, pp. 23\u201340. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-28954-6_2"}],"container-title":["Lecture Notes in Computer Science","Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVII"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-82039-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,3]],"date-time":"2025-03-03T09:20:53Z","timestamp":1740993653000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-82039-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031820380","9783031820397"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-82039-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"4 March 2025","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":"Auckland","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"New Zealand","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 May 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 May 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coin2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/coin-workshop.github.io\/coine-2024-auckland\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}