Type: Misc
2019
[5]Explicit Normative Reasoning and Machine Ethics (Christoph Benzmüller, Geoff Sutcliffe), 2019. [bibtex]
[4]Automated Reasoning with Complex Ethical Theories--A Case Study Towards Responsible AI (David Fuenmayor, Christoph Benzmüller), 2019. (Accepted for presentation at symposium) [bibtex]
2018
[3]I/O Logic in HOL (Ali Farjami, Paul Meder, Xavier Parent, Christoph Benzmüller), MIREL 2018 workshop on MIning and REasoning with Legal texts, 2018. (Preprint: http://orbilu.uni.lu/handle/10993/37013) [bibtex]
[2]Aqvist's Dyadic Deontic Logic E in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), MIREL 2018 workshop on MIning and REasoning with Legal texts, 2018. (Preprint: http://orbilu.uni.lu/handle/10993/37014) [bibtex]
2014
[1]Modal Logic in Coq and Scott's Version of Gödel's Proof of God's Existence (Rough Diamond Proof Pearl) (Christoph Benzmüller, Bruno Woltzenlogel Paleo), 2014. ((Non-reviewed, superseded by CSR-2015 paper)) [bibtex]
Powered by bibtexbrowser