Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories

David Fuenmayor, Christoph Benzmüller. Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories. In Abhaya C. Nayak, Alok Sharma, editors, PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I. Volume 11670 of Lecture Notes in Computer Science, pages 418-432, Springer, 2019. [doi]

Abstract

Abstract is missing.