Publications

Deontic logic

• Correspondence and Inverse Correspondence for Input/Output Logic
  and Region-Based Theories of Space
  arXiv preprint arXiv:2412.01722, Submitted to Artificial Intelligence Journal (2024)
  (Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, and Xiaolong Wang)(pdf)
• Obligations and Permission, Algebraically
  arXiv preprint arXiv:2403.03148, Submitted to Annals of Pure and Applied Logic (2024)
  (Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, and Xiaolong Wang)(pdf)
• Obligations and Permissions on Selfextensional Logics
  arXiv preprint arXiv:2402.07336, Submitted to Synthese (2024)
  (Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, and Xiaolong Wang)(pdf)
• Subordination Algebras as Semantic Environment of Input/Output Logic
  28th Workshop on Logic, Language, Information and Computation (2022)
  (Andrea De Domenico, Ali Farjami, Krishna Manoorkar, Alessandra Palmigiano, Mattia Panettiere, and Xiaolong Wang)(pdf)
• Experiments in Kratzer Modal Semantics Using Isabelle/HOL
  2nd Logics for New-Generation AI workshop (LNGAI), Sun Yat-sen University (2022)
  (Ali Farjami)(pdf)
• New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework
  arXiv preprint arXiv:2107.11838 (2021)
  (Ali Farjami)(pdf)
• Discursive Input/Output Logic: Deontic Modals, Norms, and Semantic Unification
  18th International Workshop on Non-Monotonic Reasoning (2020)
  (Ali Farjami)(pdf)

Machine ethics

• Dyadic Deontic Logic in HOL: Faithful Embedding and Meta-Theoretical Experiments
  In Rahman, S., Armgardt, M., Nordtveit Kvernenes, H. C., editor(s), New Developments in Legal Reasoning and Logic: From Ancient Law to Modern Legal Systems, Springer Nature Switzerland AG (2022)
  (Christoph Benzmüller, Ali Farjami, Xavier Parent)(pdf)
• LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning
  Isabelle/HOL Dataset, In Data in Brief, Elsevier (2020)
  (Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky)(pdf)
• Machine Argumentation: Can We Replace Taxi Drivers by Robots?
  In Book Natural Arguments, A Tribute to John Woods, College Publication (2019)
  (Dov Gabbay, Marcos Cramer, Jérémie Dauphin, Ali Farjami, Lydia Rivlin, Leendert van der Torre)(pdf)
• Legal Reasoning and Some Logic after All the Lessons of the Elders
  In Book Natural Arguments, A Tribute to John Woods, College Publication (2019)
  (Shahid Rahman, Johan Georg Granström, Ali Farjami)(pdf)
• I/O Logic in HOL
  Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications, 6, 715-732 (2019)
  (Christoph Benzmüller, Ali Farjami, Xavier Parent)(pdf)
• \AA{}qvist's Dyadic Deontic Logic E in HOL
  Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications, 6, 733-755 (2019)
  (Christoph Benzmüller, Ali Farjami, Xavier Parent)(pdf)
• A Dyadic Deontic Logic in HOL
  Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, College Publications, 33-50 (2018)
  (Christoph Benzmüller, Ali Farjami, Xavier Parent)(pdf)

AI Alignment

• AI Alignment and Normative Reasoning: Addressing Uncertainty through Deontic Logic
  Submitted to Artificial Intelligence Journal (2024)
  (Ali Farjami)(pdf)

Neural-symbolic

• Emulating the Human Mind: A Neural-symbolic Link Prediction Model with Fast and Slow Reasoning and Filtered Rules
  arXiv preprint arXiv:2310.13996, Submitted to Transactions of the Association for Computational Linguistics (2023)
  (Mohammad Hossein Khojasteh, Najmeh Torabian, Ali Farjami, Saeid Hosseini, Behrouz Minaei-Bidgoli)(pdf)
• Argumentation Mining in Islamic Legal Texts
  Working paper (2023)
  (Ali Farjami)(slide)