| Å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 | 36 | 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 | 18 | 2020 |
| 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 | 8 | 2021 |
| 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 |
| 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 |
| 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 | 3 | 2022 |
| Discursive input/output logic: deontic modals, and computation A Farjami Unilu-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, ... College Publications, 2019 | 3 | 2019 |
| Obligations and permissions, algebraically A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ... arXiv preprint arXiv:2403.03148, 2024 | 2 | 2024 |
| 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 on selfextensional logics A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ... arXiv preprint arXiv:2402.07336, 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 |
| Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space A De Domenico, A Farjami, K Manoorkar, A Palmigiano, M Panettiere, ... arXiv preprint arXiv:2412.01722, 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 |
Xavier ParentTechnological University of ViennaE-mail megerősítve itt: logic.at