Profil

FARJAMI Ali

Main Referenced Co-authors
BENZMÜLLER, Christoph  (10)
PARENT, Xavier  (10)
MEDER, Paul Joseph Yves  (3)
VAN DER TORRE, Leon  (3)
Cramer, Marcos (1)
Main Referenced Keywords
Classical higher-order logic (3); Automated reasoning (2); Higher-Order Logic (2); Semantic embedding (2); Automated theorem proving (1);
Main Referenced Disciplines
Computer science (12)

Publications (total 12)

The most downloaded
380 downloads
Benzmüller, C., Farjami, A., & Parent, X. (2018). A Dyadic Deontic Logic in HOL. In J. Broersen, C. Condoravdi, S. Nair, ... G. Pigozzi (Eds.), Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (pp. 33-50). College Publications. https://hdl.handle.net/10993/36395

The most cited

7 citations (WOS)

Farjami, A., Meder, P. J. Y., Parent, X., & Benzmüller, C. (17 September 2018). I/O Logic in HOL [Paper presentation]. MIREL 2018 workshop on MIning and REasoning with Legal texts, Luxembourg. https://hdl.handle.net/10993/37013

Benzmüller, C., Farjami, A., Fuenmajor, D., Meder, P. J. Y., Parent, X., Steen, A., van der Torre, L., & Zahoransky, V. (December 2020). LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset). Data in Brief, 33. doi:10.1016/j.dib.2020.106409
Peer Reviewed verified by ORBi

Farjami, A. (2020). Discursive Input/Output Logic: Deontic Modals, and Computation [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/44768

Gabbay, D. M., Cramer, M., Dauphin, J., Farjami, A., Rivlin, L., & van der Torre, L. (2019). Machine Argumentation. Can We Replace Taxi Drivers by Robots? In Natural Argument, A tribute to John Woods. College Publications.
Peer reviewed

Benzmüller, C., Farjami, A., & Parent, X. (2019). Åqvist's Dyadic Deontic Logic E in HOL. IfCoLog Journal of Logics and Their Applications, 6 (5), 733--755.
Peer reviewed

Benzmüller, C., Farjami, A., Meder, P. J. Y., & Parent, X. (2019). I/O Logic in HOL. IfCoLog Journal of Logics and Their Applications, 6 (5), 715--732.
Peer reviewed

Benzmüller, C., Farjami, A., & Parent, X. (17 September 2018). Aqvist's Dyadic Deontic Logic E in HOL [Paper presentation]. MIREL 2018 workshop on MIning and REasoning with Legal texts, Luxembourg.

Farjami, A., Meder, P. J. Y., Parent, X., & Benzmüller, C. (17 September 2018). I/O Logic in HOL [Paper presentation]. MIREL 2018 workshop on MIning and REasoning with Legal texts, Luxembourg.

Benzmüller, C., Farjami, A., & Parent, X. (16 June 2018). A Faithful Semantic Embedding of the Dyadic Deontic Logic E in HOL [Poster presentation]. 6th World Congress and School on Universal Logic, Vichy, France.

Benzmüller, C., Farjami, A., & Parent, X. (2018). A Dyadic Deontic Logic in HOL. In J. Broersen, C. Condoravdi, S. Nair, ... G. Pigozzi (Eds.), Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (pp. 33-50). College Publications.
Peer reviewed

Benzmüller, C., Farjami, A., & Parent, X. (04 May 2018). Implementation of Dyadic Deontic Logic E in Isabelle/HOL [Paper presentation]. 10th edition of PhDs in Logic, Prague, Czechia.

Benzmüller, C., Farjami, A., & Parent, X. (2018). Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL.

Benzmüller, C., Farjami, A., Parent, X., & van der Torre, L. (06 July 2017). Implementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL [Paper presentation]. Workshop on Computational Aspects of Arguments and LogiC (CAALC 2017), Belgrade, Serbia.

Contact ORBilu