no code implementations • 22 Jul 2019 • Nourhan Ehab, Haythem O. Ismail
Since argument systems capture default logic, autoepistemic logic, the principle of negation as failure, and circumscription, our results show that LogAG captures the before-mentioned non-monotonic logical formalisms as well.