Ali Farjami

13 papers C 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning.
CoRR
Ali Farjami, Luca Redondi, Marco Valentino
2025 — conf
DeceptiLens: an Approach supporting Transparency in Deceptive Pattern Detection based on a Multimodal Large Language Model.
FAccT
Emre Kocyigit, Arianna Rossi, Anastasia Sergeeva, Claudia Negri-Ribalta, Ali Farjami, Gabriele Lenzini
2025 — conf
Normative Implications.
DEON
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Apostolos Tzimoulis, Xiaolong Wang
2024 J jnl
Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space.
CoRR
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
2024 J jnl
Obligations and permissions on selfextensional logics.
CoRR
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
2023 J jnl
Emulating the Human Mind: A Neural-symbolic Link Prediction Model with Fast and Slow Reasoning and Filtered Rules.
CoRR
Mohammad Hossein Khojasteh, Najmeh Torabian, Ali Farjami, Saeid Hosseini, Behrouz Minaei-Bidgoli
2022 C conf
Subordination Algebras as Semantic Environment of Input/Output Logic.
WoLLIC
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
2022 J jnl
Subordination Algebras as Semantic Environment of Input/Output Logic.
CoRR
Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, Xiaolong Wang
2021 J jnl
New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework.
CoRR
Ali Farjami
2019 J jnl
I/O Logic in HOL.
FLAP
Christoph Benzmüller, Ali Farjami, Paul Meder, Xavier Parent
2019 J jnl
åqvist's Dyadic Deontic Logic E in HOL.
FLAP
Christoph Benzmüller, Ali Farjami, Xavier Parent
2018 — conf
A Dyadic Deontic Logic in HOL.
DEON
Christoph Benzmüller, Ali Farjami, Xavier Parent
2018 J jnl
Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL.
CoRR
Christoph Benzmüller, Ali Farjami, Xavier Parent