Ali Farjami

According to our database, Ali Farjami authored at least 12 papers between 2018 and 2026.

Collaborative distances:

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

2026

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning.

Ali Farjami, Luca Redondi, Marco Valentino

CoRR, January, 2026

2025

DeceptiLens: an Approach supporting Transparency in Deceptive Pattern Detection based on a Multimodal Large Language Model.

Emre Kocyigit, Arianna Rossi, Anastasia Sergeeva, Claudia Negri-Ribalta, Ali Farjami, Gabriele Lenzini

Proceedings of the 2025 ACM Conference on Fairness, Accountability, and Transparency, 2025

Normative Implications.

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

Proceedings of the Deontic Logic and Normative Systems - 17th International Conference, 2025

2024

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space.

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

CoRR, 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