Ali Farjami

Ali Farjami

Doctoral researcher

Fakultät oder Zentrum Fakultät für Naturwissenschaften, Technologie und Medizin
Department Fachbereich Informatik
Postadresse Université du Luxembourg
Maison du Nombre
6, Avenue de la Fonte
L-4364 Esch-sur-Alzette
Büroadresse MNO, E03 0345-030
E-Mail
Telefon (+352) 46 66 44 6031
Fax (+352) 46 66 44 36031
powered by
orbilu.uni.lu

2019

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

in Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications (Special Issue on Reasoning for Legal AI) (2019), 6(5), 715--732

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

in Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications (Special Issue on Reasoning for Legal AI) (2019), 6(5), 733--755

Full Text
See detailMachine Argumentation. Can We Replace Taxi Drivers by Robots?
Gabbay, Dov M.; Cramer, Marcos; Dauphin, Jérémie; Farjami, Ali; Rivlin, Lydia; van der Torre, Leon

in Natural Argument, A tribute to John Woods (2019)

Top of Page

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