Ali Farjami

According to our database, Ali Farjami authored at least 8 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Obligations and permissions on selfextensional logics.

Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang

CoRR, 2024

2023

Emulating the Human Mind: A Neural-symbolic Link Prediction Model with Fast and Slow Reasoning and Filtered Rules.

Mohammad Hossein Khojasteh, Najmeh Torabian, Ali Farjami, Saeid Hosseini, Behrouz Minaei-Bidgoli

CoRR, 2023

2022

Subordination Algebras as Semantic Environment of Input/Output Logic.

Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang

Proceedings of the Logic, Language, Information, and Computation, 2022

2021

New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework.

Ali Farjami

CoRR, 2021

2019

åqvist's Dyadic Deontic Logic E in HOL.

Christoph Benzmüller, Ali Farjami, Xavier Parent

FLAP, 2019

I/O Logic in HOL.

Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent

FLAP, 2019

2018

Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL.

Christoph Benzmüller, Ali Farjami, Xavier Parent

CoRR, 2018

A Dyadic Deontic Logic in HOL.

Christoph Benzmüller, Ali Farjami, Xavier Parent

Proceedings of the Deontic Logic and Normative Systems - 14th International Conference, 2018