Follow
Ali Farjami
Title
Cited by
Cited by
Year
Åqvist's dyadic deontic logic E in HOL
C Benzmüller, A Farjami, X Parent
IfCoLoG Journal of Logics and their Applications 6 (5), 733-755, 2019
342019
A dyadic deontic logic in HOL
C Benzmüller, A Farjami, X Parent
Deontic Logic and Normative Systems---14th International Conference, DEON …, 2018
282018
Legal Reasoning and Some Logic After All. The Lessons of the Elders.
S Rahman, JG Granström, A Farjami
In D. Gabbay, L. Magnani, W. Park and AV. Pietarinen (eds.) Natural …, 2019
212019
LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset)
C Benzmüller, A Farjami, D Fuenmayor, P Meder, X Parent, A Steen, ...
Data in Brief 33, 106409, 2020
172020
Faithful semantical embedding of a dyadic deontic logic in HOL
C Benzmüller, A Farjami, X Parent
arXiv preprint arXiv:1802.08454, 2018
82018
Dyadic deontic logic in hol: Faithful embedding and meta-theoretical experiments
C Benzmüller, A Farjami, X Parent
New Developments in Legal Reasoning and Logic: From Ancient Law to Modern …, 2021
62021
I/O Logic in HOL
A Farjami, PJY Meder, X Parent, C Benzmüller
42018
Discursive input/output logic: deontic modals, and computation
A Farjami
University of Luxembourg, Luxembourg, 2020
32020
Machine Argumentation. Can We Replace Taxi Drivers by Robots?
DM Gabbay, M Cramer, J Dauphin, A Farjami, L Rivlin, L van der Torre
Natural Argument, A tribute to John Woods, 2019
32019
Subordination Algebras as Semantic Environment of Input/Output Logic
A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ...
International Workshop on Logic, Language, Information, and Computation, 326-343, 2022
22022
I/o logic in hol, 2018
A Farjami, P Meder, X Parent, C Benzmüller
MIREL 2018 workshop on MIning and REasoning with Legal texts, 2018
2*2018
Aqvist’s dyadic deontic logic E in HOL, 2018
C Benzmüller, A Farjami, X Parent
MIREL 2018 workshop on MIning and REasoning with Legal texts, 2018
2*2018
New algebraic normative theories for ethical and legal reasoning in the LogiKEy framework
A Farjami
arXiv preprint arXiv:2107.11838, 2021
12021
Implementation of carmo and jones dyadic deontic logic in isabelle/hol
C Benzmüller, A Farjami, X Parent, L van der Torre
12017
Obligations and permissions, algebraically
A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ...
arXiv preprint arXiv:2403.03148, 2024
2024
Obligations and permissions on selfextensional logics
A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ...
arXiv preprint arXiv:2402.07336, 2024
2024
Emulating the Human Mind: A Neural-symbolic Link Prediction Model with Fast and Slow Reasoning and Filtered Rules
MH Khojasteh, N Torabian, A Farjami, S Hosseini, B Minaei-Bidgoli
arXiv preprint arXiv:2310.13996, 2023
2023
Experiments in Kratzer Modal Semantics Using Isabelle/HOL
A Farjami
Logics for New-Generation AI, 36, 2022
2022
Discursive Input/Output Logic: Deontic Modals, Norms, and Semantic Unification
A Farjami
NMR 2020 Workshop Notes, 236, 2020
2020
Experiments in Deontic Logics using Isabelle/HOL
A Farjami
Deduktionstreffen 2019, 23, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20