{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T20:03:52Z","timestamp":1776197032048,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,2,7]],"date-time":"2020-02-07T00:00:00Z","timestamp":1581033600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,2,7]]},"DOI":"10.1145\/3375627.3375867","type":"proceedings-article","created":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T01:10:22Z","timestamp":1580865022000},"page":"392-392","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["A Deontic Logic for Programming Rightful Machines"],"prefix":"10.1145","author":[{"given":"Ava Thomas","family":"Wright","sequence":"first","affiliation":[{"name":"Northeastern University, Boston, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,2,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00127412"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"e_1_3_2_1_3_1","first-page":"225","article-title":"Alchourron and Bulygin on deontic logic and the logic of norm-propositions, axiomatization, and representability results","volume":"203","author":"Aqvist L.","year":"2008","unstructured":"Aqvist, L. 2008. Alchourron and Bulygin on deontic logic and the logic of norm-propositions, axiomatization, and representability results. Logique & Analyse 203: 225--261.","journal-title":"Logique & Analyse"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(07)03007-6"},{"key":"e_1_3_2_1_5_1","volume-title":"Modal Logics and Philosophy, 2d ed. Montreal: MQUP","author":"Girle R.","year":"2017","unstructured":"Girle, R. (2017) Modal Logics and Philosophy, 2d ed. Montreal: MQUP."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2005.04.004"},{"key":"e_1_3_2_1_7_1","volume-title":"Fundamental Legal Conceptions as Applied in Judicial Reasoning, ed. Walter Wheeler Cook","author":"Hohfeld W.","unstructured":"Hohfeld, W. 1919. Fundamental Legal Conceptions as Applied in Judicial Reasoning, ed. Walter Wheeler Cook. Yale University Press, New Haven, CT."},{"key":"e_1_3_2_1_8_1","volume-title":"The Doctrine of Right, Part One of The Metaphysics of Morals, (1797) trans. M. Gregor [DR] In P","author":"Kant I.","unstructured":"Kant, I. 1992. The Doctrine of Right, Part One of The Metaphysics of Morals, (1797) trans. M. Gregor [DR] In P. Guyer and A. Wood (eds.), The Cambridge Edition of the Works of Immanuel Kant. Cambridge University Press, Cambridge. All references to Kant's work are from the Cambridge edition unless otherwise noted. Citations are according to standard Academy pagination."},{"key":"e_1_3_2_1_9_1","unstructured":"Kant I. The Doctrine of Virtue Part Two of The Metaphysics of Morals (1797) trans. M. Gregor [DV]"},{"issue":"1","key":"e_1_3_2_1_10_1","first-page":"62","article-title":"Why was Alchourron afraid of snakes","volume":"26","author":"Maranhao J.","year":"2006","unstructured":"Maranhao, J. 2006. Why was Alchourron afraid of snakes? Analisis Filosofico, 26(1): 62--92.","journal-title":"Analisis Filosofico"},{"key":"e_1_3_2_1_11_1","volume-title":"Essays on Politics and Society","author":"Mill J.S.","year":"1859","unstructured":"Mill, J.S. 1977. On Liberty (1859), In Essays on Politics and Society. In J.M. Robson, ed., The Collected Works of John Stuart Mill, vol. 18, University of Toronto Press, Toronto."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Navarro P. and Rodriguez J. 2014. Deontic Logic and Legal Systems. Cambridge University Press Cambridge.","DOI":"10.1017\/CBO9781139032711"},{"key":"e_1_3_2_1_13_1","volume-title":"Cambridge University Press","author":"O'Neill O.","unstructured":"O'Neill, O. 2011. Constructing Authorities. Cambridge University Press, Cambridge."},{"key":"e_1_3_2_1_14_1","volume-title":"Columbia University Press","author":"Rawls J.","unstructured":"Rawls, J. 1993. Political Liberalism. Columbia University Press, New York."},{"key":"e_1_3_2_1_15_1","first-page":"476","volume-title":"Proc. IJCAI-87, Milan, Italy","author":"Touretzky J.","year":"1987","unstructured":"D. Touretzky, J. Horty, R. Thomason, A clash of intuitions: The current state of nonmonotonic multiple inheritance systems, in: Proc. IJCAI-87, Milan, Italy, Morgan Kaufmann, San Mateo, CA, 1987, pp. 476-- 482."}],"event":{"name":"AIES '20: AAAI\/ACM Conference on AI, Ethics, and Society","location":"New York NY USA","acronym":"AIES '20","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence"]},"container-title":["Proceedings of the AAAI\/ACM Conference on AI, Ethics, and Society"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3375627.3375867","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3375627.3375867","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:15Z","timestamp":1750199895000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3375627.3375867"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,7]]},"references-count":15,"alternative-id":["10.1145\/3375627.3375867","10.1145\/3375627"],"URL":"https:\/\/doi.org\/10.1145\/3375627.3375867","relation":{},"subject":[],"published":{"date-parts":[[2020,2,7]]},"assertion":[{"value":"2020-02-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}