A Dyadic Deontic Logic in HOL. - Christoph Benzmüller; Ali Farjami; Xavier Parent 001 (DEON, 2018)

Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL. - Christoph Benzmüller; Ali Farjami; Xavier Parent 001 (CoRR, 2018)

I/O Logic in HOL. - Christoph Benzmüller; Ali Farjami; Paul Meder; Xavier Parent 001 (FLAP, 2019)

åqvist's Dyadic Deontic Logic E in HOL. - Christoph Benzmüller; Ali Farjami; Xavier Parent 001 (FLAP, 2019)

New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework. - Ali Farjami (CoRR, 2021)

Subordination Algebras as Semantic Environment of Input/Output Logic. - Andrea De Domenico; Ali Farjami; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Xiaolong Wang (WoLLIC, 2022)

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)

Obligations and permissions on selfextensional logics. - Andrea De Domenico; Ali Farjami; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Xiaolong Wang (CoRR, 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)

DeceptiLens: an Approach supporting Transparency in Deceptive Pattern Detection based on a Multimodal Large Language Model. - Emre Kocyigit; Arianna Rossi 001; Anastasia Sergeeva; Claudia Negri-Ribalta; Ali Farjami; Gabriele Lenzini (FAccT, 2025)