Ali Farjami

Ali Farjami

Doctoral researcher

Faculté ou Centre Faculty of Science, Technology and Communication
Unité de recherche RU CSC
Adresse postale Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Bureau sur le campus MNO, E03 0345-030
E-mail
Téléphone (+352) 46 66 44 6031
Fax (+352) 46 66 44 36031
powered by
orbilu.uni.lu

2018

Full Text
See detailAqvist's Dyadic Deontic Logic E in HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

Scientific Conference (2018, September 17)

Full Text
See detailA Faithful Semantic Embedding of the Dyadic Deontic Logic E in HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

Poster (2018, June 16)

Full Text
See detailA Dyadic Deontic Logic in HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

in Broersen, Jan; Condoravdi, Cleo; Nair, Shyam; Pigozzi, Gabriella (Eds.) Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (2018, June 11)

Full Text
See detailImplementation of Dyadic Deontic Logic E in Isabelle/HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

Scientific Conference (2018, May 04)

Full Text
See detailFaithful Semantical Embedding of a Dyadic Deontic Logic in HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier

Report (2018)

Full Text
See detailI/O Logic in HOL
Farjami, Ali; Meder, Paul Joseph Yves; Parent, Xavier; Benzmüller, Christoph

Scientific Conference (2018, September 17)

Top of Page

2017

Full Text
See detailImplementation of Carmo and Jones Dyadic Deontic Logic in Isabelle/HOL
Benzmüller, Christoph; Farjami, Ali; Parent, Xavier; van der Torre, Leon

Scientific Conference (2017, July 06)

Top of Page