SELECTED PUBLICATIONS

Ideas, tested and shared

Explore by theme; follow ORCID and Google Scholar for the wider record.

Ideas, in print

A selection of collaborative and individual work, connected by research theme. Publication details follow my ORCID record.

2026 · ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE

Ali Farjami

Algebraic extensions of input/output logic for normative reasoning with preferences.

Normative systems · Foundations

2026 · NMR CONFERENCE PAPER

Ali Farjami; Luca Pasetto

Connecting constrained input/output logic and higher-order logic through an algebraic embedding.

Verification · Normative systems

2025 · SYNTHESE

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

Investigating obligations and permissions over selfextensional logics.

Normative systems · Foundations

2026 · PREPRINT

Ali Farjami, Luca Redondi, Marco Valentino

Investigating the choice of logical formalism as a controllable part of verifiable language-model reasoning.

Neuro-symbolic AI · Verification · Normative systems

2025 · DEON CONFERENCE PAPER

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

A contribution to the mathematical study of normative implication.

Foundations · Normative systems

2024 · ARXIV MANUSCRIPT

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

Developing algebraic representations of permissions and their interactions with normative systems.

Foundations · Normative systems

2020 · DATA IN BRIEF

Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky

Reusable Isabelle/HOL resources for exploring ethical and legal reasoning through formal logic.

Verification · Normative systems

2020 · DOCTORAL THESIS

Ali Farjami · University of Luxembourg

The doctoral foundation of my work on normative conditionals and discursive input/output logic.

Foundations · Normative systems · Verification