{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,7]],"date-time":"2025-08-07T09:08:59Z","timestamp":1754557739071,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030299071"},{"type":"electronic","value":"9783030299088"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-29908-8_34","type":"book-chapter","created":{"date-parts":[[2019,8,23]],"date-time":"2019-08-23T01:03:32Z","timestamp":1566522212000},"page":"418-432","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories"],"prefix":"10.1007","author":[{"given":"David","family":"Fuenmayor","sequence":"first","affiliation":[]},{"given":"Christoph","family":"Benzm\u00fcller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,23]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Anderson, M., Anderson, S.L.: GenEth: a general ethical dilemma analyzer. In: Twenty-Eighth AAAI Conference on Artificial Intelligence (2014)","DOI":"10.1609\/aaai.v28i1.8737"},{"key":"34_CR2","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/j.scico.2018.10.008","volume":"172","author":"C Benzm\u00fcller","year":"2019","unstructured":"Benzm\u00fcller, C.: Universal (meta-)logical reasoning: recent successes. Sci. Comput. Program. 172, 48\u201362 (2019). https:\/\/doi.org\/10.1016\/j.scico.2018.10.008. Url (preprint): http:\/\/doi.org\/10.13140\/RG.2.2.11039.61609\/2","journal-title":"Sci. Comput. Program."},{"key":"34_CR3","unstructured":"Benzm\u00fcller, C., Andrews, P.: Church\u2019s type theory. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University (2019). https:\/\/plato.stanford.edu\/entries\/type-theory-church\/"},{"issue":"1","key":"34_CR4","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s11787-012-0052-y","volume":"7","author":"C Benzm\u00fcller","year":"2013","unstructured":"Benzm\u00fcller, C., Paulson, L.: Quantified multimodal logics in simple type theory. Logica Univers. 7(1), 7\u201320 (2013). https:\/\/doi.org\/10.1007\/s11787-012-0052-y. (Special Issue on Multimodal Logics)","journal-title":"Logica Univers."},{"key":"34_CR5","unstructured":"Benzm\u00fcller, C., Farjami, A., Parent, X.: A dyadic deontic logic in HOL. In: Broersen, J., Condoravdi, C., Nair, S., Pigozzi, G. (eds.) Deontic Logic and Normative Systems \u2013 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3\u20136 July 2018, pp. 33\u201350. College Publications (2018). ISBN 978-1-84890-278-7. John-Jules Meyer Best Paper Award"},{"key":"34_CR6","unstructured":"Benzm\u00fcller, C., Parent, X., van der Torre, L.W.N.: Designing normative theories of ethical reasoning: formal framework, methodology, and tool support. CoRR, abs\/1903.10187 (2019). http:\/\/arxiv.org\/abs\/1903.10187"},{"key":"34_CR7","unstructured":"Beyleveld, D.: The dialectical necessity of morality: an analysis and defense of Alan Gewirth\u2019s argument to the principle of generic consistency. University of Chicago Press (1991)"},{"issue":"1","key":"34_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s12142-011-0210-2","volume":"13","author":"D Beyleveld","year":"2012","unstructured":"Beyleveld, D.: The principle of generic consistency as the supreme principle of human rights. Hum. Rights Rev. 13(1), 1\u201318 (2012). ISSN 1874-6306","journal-title":"Hum. Rights Rev."},{"key":"34_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-642-14052-5_11","volume-title":"Interactive Theorem Proving","author":"JC Blanchette","year":"2010","unstructured":"Blanchette, J.C., Nipkow, T.: Nitpick: a counterexample generator for higher-order logic based on a relational model finder. In: Kaufmann, M., Paulson, L.C. (eds.) ITP 2010. LNCS, vol. 6172, pp. 131\u2013146. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14052-5_11. ISBN 978-3-642-14051-8"},{"issue":"4","key":"34_CR10","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MIS.2006.82","volume":"21","author":"S Bringsjord","year":"2006","unstructured":"Bringsjord, S., Arkoudas, K., Bello, P.: Toward a general logicist methodology for engineering ethically correct robots. IEEE Intell. Syst. 21(4), 38\u201344 (2006)","journal-title":"IEEE Intell. Syst."},{"key":"34_CR11","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/978-94-010-0387-2_4","volume-title":"Handbook of Philosophical Logic","author":"J Carmo","year":"2002","unstructured":"Carmo, J., Jones, A.J.I.: Deontic logic and contrary-to-duties. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, pp. 265\u2013343. Springer, Dordrecht (2002). https:\/\/doi.org\/10.1007\/978-94-010-0387-2_4"},{"issue":"5","key":"34_CR12","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BF02350366","volume":"3","author":"R Carnap","year":"1952","unstructured":"Carnap, R.: Meaning postulates. Philos. Stud. 3(5), 65\u201373 (1952)","journal-title":"Philos. Stud."},{"key":"34_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.robot.2015.11.012","volume":"77","author":"LA Dennis","year":"2016","unstructured":"Dennis, L.A., Fisher, M., Slavkovik, M., Webster, M.: Formal verification of ethical choices in autonomous systems. Robot. Auton. Syst. 77, 1\u201314 (2016). https:\/\/doi.org\/10.1016\/j.robot.2015.11.012","journal-title":"Robot. Auton. Syst."},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"Dignum, V.: Responsible autonomy. In: IJCAI 2017, pp. 4698\u20134704 (2017)","DOI":"10.24963\/ijcai.2017\/655"},{"key":"34_CR15","doi-asserted-by":"crossref","unstructured":"Dignum, V: Special issue: ethics and artificial intelligence. Ethics Inf. Technol. 20(1) (2018)","DOI":"10.1007\/s10676-018-9450-z"},{"key":"34_CR16","unstructured":"Fuenmayor, D., Benzm\u00fcller, C.: Formalisation and evaluation of Alan Gewirth\u2019s proof for the principle of generic consistency in Isabelle\/HOL. Archive of Formal Proofs (2018). https:\/\/www.isa-afp.org\/entries\/GewirthPGCProof.html"},{"key":"34_CR17","unstructured":"Fuenmayor, D., Benzm\u00fcller, C.: Isabelle\/HOL sources associated with this PRICAI-2019 paper (2019). http:\/\/bit.ly\/Appendix-PRICAI-19"},{"key":"34_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-319-14726-0_5","volume-title":"Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation","author":"U Furbach","year":"2015","unstructured":"Furbach, U., Schon, C.: Deontic logic for human reasoning. In: Eiter, T., Strass, H., Truszczy\u0144ski, M., Woltran, S. (eds.) Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation. LNCS (LNAI), vol. 9060, pp. 63\u201380. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-14726-0_5"},{"key":"34_CR19","volume-title":"Reason and Morality","author":"A Gewirth","year":"1981","unstructured":"Gewirth, A.: Reason and Morality. University of Chicago Press, Chicago (1981)"},{"key":"34_CR20","doi-asserted-by":"crossref","unstructured":"Govindarajulu, N.S., Bringsjord, S.: On automating the doctrine of double effect. In: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, pp. 4722\u20134730 (2017). https:\/\/doi.org\/10.24963\/ijcai.2017\/658","DOI":"10.24963\/ijcai.2017\/658"},{"key":"34_CR21","doi-asserted-by":"crossref","unstructured":"Hooker, J.N., Kim, T.W.N.: Toward non-intuition-based machine and artificial intelligence ethics: a deontological approach based on modal logic. In: Proceedings of the 2018 AAAI\/ACM Conference on AI, Ethics, and Society, pp. 130\u2013136. ACM (2018)","DOI":"10.1145\/3278721.3278753"},{"key":"34_CR22","unstructured":"Kaplan, D.: Demonstratives. In: Almog, J., Perry, J., Wettstein, H. (eds.) Themes from Kaplan, pp. 481\u2013563. Oxford University Press, Oxford (1989a)"},{"key":"34_CR23","unstructured":"Kaplan, D.: Afterthoughts. In: Almog, J., Perry, J., Wettstein, H. (eds.) Themes from Kaplan, pp. 565\u2013612. Oxford University Press, Oxford (1989b)"},{"issue":"3","key":"34_CR24","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1080\/0952813X.2014.895109","volume":"26","author":"A Kornai","year":"2014","unstructured":"Kornai, A.: Bounding the impact of AGI. J. Exp. Theor. Artif. Intell. 26(3), 417\u2013438 (2014)","journal-title":"J. Exp. Theor. Artif. Intell."},{"issue":"4","key":"34_CR25","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/s10676-015-9367-8","volume":"18","author":"BF Malle","year":"2016","unstructured":"Malle, B.F.: Integrating robot ethics and machine morality: the study and design of moral competence in robots. Ethics Inf. Technol. 18(4), 243\u2013256 (2016)","journal-title":"Ethics Inf. Technol."},{"key":"34_CR26","first-page":"12","volume":"72","author":"J Moor","year":"2009","unstructured":"Moor, J.: Four kinds of ethical robots. Philos. Now 72, 12\u201314 (2009)","journal-title":"Philos. Now"},{"key":"34_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic","year":"2002","unstructured":"Nipkow, T., Wenzel, M., Paulson, L.C. (eds.): Isabelle\/HOL: A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45949-9"},{"key":"34_CR28","series-title":"Studies in Applied Philosophy, Epistemology and Rational Ethics","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29354-7","volume-title":"Programming Machine Ethics","author":"LM Pereira","year":"2016","unstructured":"Pereira, L.M., Saptawijaya, A.: Programming Machine Ethics. SAPERE, vol. 26. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-29354-7"},{"key":"34_CR29","volume-title":"Word and Object","author":"W Van Orman Quine","year":"1960","unstructured":"Van Orman Quine, W.: Word and Object. MIT Press, Cambridge (1960)"},{"issue":"4","key":"34_CR30","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1609\/aimag.v38i4.2746","volume":"38","author":"M Scheutz","year":"2017","unstructured":"Scheutz, M.: The case for explicit ethical agents. AI Mag. 38(4), 57\u201364 (2017)","journal-title":"AI Mag."},{"key":"34_CR31","unstructured":"Schroeter, L.: Two-dimensional semantics. In: Zalta, E.N. (eds.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University (2017)"},{"issue":"4","key":"34_CR32","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1007\/s00146-007-0099-0","volume":"22","author":"W Wallach","year":"2008","unstructured":"Wallach, W., Allen, C., Smit, I.: Machine morality: bottom-up and top-down approaches for modelling human moral faculties. AI Soc. 22(4), 565\u2013582 (2008)","journal-title":"AI Soc."}],"container-title":["Lecture Notes in Computer Science","PRICAI 2019: Trends in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-29908-8_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T15:23:37Z","timestamp":1709825017000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-29908-8_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030299071","9783030299088"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-29908-8_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"23 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PRICAI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pacific Rim International Conference on Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cuvu, Yanuka Island","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Fiji","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pricai2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.pricai.org\/2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}