Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories (bibtex)
by David Fuenmayor, Christoph Benzmüller
Reference:
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories (David Fuenmayor, Christoph Benzmüller), Technical report, CoRR, 2019. (http://arxiv.org/abs/1804.02929)
Bibtex Entry:
@techreport{R73,
  Author =	 {Fuenmayor, David and Benzm{\"u}ller, Christoph},
  Keywords =	 {own, Higher Order Logic, Deontic Logic, Automated
                  Reasoning, Universal Reasoning},
  Title =	 {Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories},
  Institution =	 {CoRR},
  Note =	 {\url{http://arxiv.org/abs/1804.02929}},
  Url =		 {https://arxiv.org/abs/1903.09818},
  Year =	 2019
}