| Å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 | 31 | 2019 |
| A dyadic deontic logic in HOL C Benzmüller, A Farjami, X Parent Deontic Logic and Normative Systems---14th International Conference, DEON …, 2018 | 28 | 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 | 20 | 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 | 16 | 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 |
| 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 Natural Argument, A tribute to John Woods, 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 |
| 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 | 1 | 2017 |
| 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 |
| I/O Logic in HOL C Benzmüller, A Farjami, PJY Meder, X Parent IfCoLoG Journal of Logics and their Applications 6 (5), 715-732, 2019 | | 2019 |
Xavier ParentTechnological University of ViennaVahvistettu sähköpostiosoite verkkotunnuksessa logic.at
