Search
Home // Research // FSTM // DCS // Members // Ali Farjami
Imprimer

Ali Farjami

Ali Farjami
Postal Address Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
powered by
orbilu.uni.lu

2020

Full Text
See detailLogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset)
Benzmüller, Christoph; Farjami, Ali; Fuenmajor, David; Meder, Paul Joseph Yves; Parent, Xavier; Steen, Alexander; van der Torre, Leon; Zahoransky, Valeria

in Data in Brief (2020), 33

Full Text
See detailDiscursive Input/Output Logic: Deontic Modals, and Computation
Farjami, Ali

Doctoral thesis (2020)

Top of Page

2019

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

in IfCoLog Journal of Logics and Their Applications (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 IfCoLog Journal of Logics and Their Applications (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