Back
  1. Home
  2. Profile of Ali FARJAMI (Unilu)
Profil

FARJAMI Ali

University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > IRiSC

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
383 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