Publications/Manuscripts of Ali Farjami
2018
[3] Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), Technical report, CoRR, 2018. (https://arxiv.org/abs/1802.08454) [bibtex] [pdf]
[2]A Dyadic Deontic Logic in HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent), In Deon 2018 --- 14th International Conference on Deontic Logic and Normative Systems 3-6 July 2018, Utrecht, the Netherlands, 2018, Proceedings (Cleo Condoravdi, Shyam Nair, Jan Broersen, eds.), Springer, 2018. (To appear) [bibtex]
2017
[1]Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL (Christoph Benzmüller, Ali Farjami, Xavier Parent, Leon van der Torre), In Workshop on Computational Aspects of Arguments and LogiC (CAALC 2017), 2017. [bibtex]
Powered by bibtexbrowser