Picture for Ali Farjami

Ali Farjami

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

Add code
Oct 21, 2023
Viaarxiv icon

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

Add code
Jul 25, 2021
Figure 1 for New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework
Figure 2 for New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework
Figure 3 for New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework
Figure 4 for New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework
Viaarxiv icon

Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL

Add code
Mar 05, 2018
Figure 1 for Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL
Figure 2 for Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL
Figure 3 for Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL
Viaarxiv icon