Ali Farjami

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 9

Top Topics

Legal Reasoning

Noise Cancellation

Top Venues

Publications

Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
Obligations and permissions on selfextensional logics. CoRR (2024)
Mohammad Hossein Khojasteh, Najmeh Torabian, Ali Farjami, Saeid Hosseini, Behrouz Minaei-Bidgoli
Emulating the Human Mind: A Neural-symbolic Link Prediction Model with Fast and Slow Reasoning and Filtered Rules. CoRR (2023)
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
Subordination Algebras as Semantic Environment of Input/Output Logic. CoRR (2022)
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
Subordination Algebras as Semantic Environment of Input/Output Logic. WoLLIC (2022)
Ali Farjami
New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework. CoRR (2021)
Christoph Benzmüller, Ali Farjami, Xavier Parent
åqvist's Dyadic Deontic Logic E in HOL. FLAP 6 (5) (2019)
Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent
I/O Logic in HOL. FLAP 6 (5) (2019)
Christoph Benzmüller, Ali Farjami, Xavier Parent
A Dyadic Deontic Logic in HOL. DEON (2018)
Christoph Benzmüller, Ali Farjami, Xavier Parent
Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL. CoRR (2018)