A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming

Ezgi Iraz Su. A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming. Fundamenta Informaticae, 176(3-4):205-234, 2020. [doi]

Abstract

Abstract is missing.