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

Fuenmayor, DavidDavidFuenmayor0000-0002-0042-4538Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-09-222022-09-222019https://fis.uni-bamberg.de/handle/uniba/55658engHarnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theoriespreprint10.48550/ARXIV.1903.09818https://arxiv.org/abs/1903.09818