Search Results for author: Haythem O. Ismail

Found 1 papers, 0 papers with code

A Unified Algebraic Framework for Non-Monotonicity

no code implementations22 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.

Negation

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