Search Results for author: Ali Farjami

Found 3 papers, 1 papers with code

Emulating the Human Mind: A Neural-symbolic Link Prediction Model with Fast and Slow Reasoning and Filtered Rules

no code implementations21 Oct 2023 Mohammad Hossein Khojasteh, Najmeh Torabian, Ali Farjami, Saeid Hosseini, Behrouz Minaei-Bidgoli

To tackle the challenge of dealing with incorrect paths or rules generated by the logical model, we propose a semi-supervised method to convert rules into sentences.

Knowledge Graphs Link Prediction +1

New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework

no code implementations25 Jul 2021 Ali Farjami

In order to design and engineer ethical and legal reasoners and responsible systems, Benzm\"{u}ller, Parent and van der Torre introduced the LogiKEy methodology, based on the semantical embedding of deontic logics into classic higher-order logic.

Legal Reasoning

Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL

1 code implementation23 Feb 2018 Christoph Benzmüller, Ali Farjami, Xavier Parent

A shallow semantical embedding of a dyadic deontic logic by Carmo and Jones in classical higher-order logic is presented.

Cannot find the paper you are looking for? You can Submit a new open access paper.