Åqvist's dyadic deontic logic E in HOL C Benzmüller, A Farjami, X Parent IfCoLoG Journal of Logics and their Applications 6 (5), 2019 | 35 | 2019 |
A dyadic deontic logic in HOL C Benzmüller, A Farjami, X Parent 14th International Conference on Deontic Logic and Normative Systems (DEON 2018), 2018 | 29 | 2018 |
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 | 24 | 2019 |
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 | 17 | 2020 |
Faithful semantical embedding of a dyadic deontic logic in HOL C Benzmüller, A Farjami, X Parent arXiv preprint arXiv:1802.08454, 2018 | 8 | 2018 |
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 | 6 | 2021 |
I/O Logic in HOL A Farjami, PJY Meder, X Parent, C Benzmüller MIREL 2018 workshop on MIning and REasoning with Legal texts, 2018 | 4 | 2018 |
Discursive input/output logic: deontic modals, and computation A Farjami University of Luxembourg, Luxembourg, 2020 | 3 | 2020 |
Machine Argumentation. Can We Replace Taxi Drivers by Robots? DM Gabbay, M Cramer, J Dauphin, A Farjami, L Rivlin, L van der Torre College Publications, 2019 | 3 | 2019 |
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 | 2 | 2022 |
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 |
Obligations and permissions, algebraically A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ... arXiv preprint arXiv:2403.03148, 2024 | 1 | 2024 |
New algebraic normative theories for ethical and legal reasoning in the LogiKEy framework A Farjami arXiv preprint arXiv:2107.11838, 2021 | 1 | 2021 |
Implementation of carmo and jones dyadic deontic logic in isabelle/hol C Benzmüller, A Farjami, X Parent, L van der Torre Workshop on Computational Aspects of Arguments and LogiC (CAALC 2017), 2017 | 1 | 2017 |
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 |