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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.