TY - RPRT TI - Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories AU - David Fuenmayor AU - Christoph Benzmüller PY - 2019 UR - https://arxiv.org/abs/1903.09818 ID - 1903.09818 ER -