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

Fuenmayor, DavidDavidFuenmayor0000-0002-0042-4538Benzmüller, ChristophChristophBenzmüller0000-0002-3392-30932022-08-172022-08-172019978-3-030-29908-8978-3-030-29907-11611-33490302-9743https://fis.uni-bamberg.de/handle/uniba/55162engHarnessing Higher-Order (Meta-) Logic to Represent and Reason with Complex Ethical Theoriesconferenceobject10.1007/978-3-030-29908-8_34