LogAG is presented as an algebraic graded logic that encodes argument systems and thereby captures default logic, autoepistemic logic, circumscription, negation as failure, possibilistic logic, and Makinson-rational non-monotonic inference relations.
The Journal of Philosophy 76(11), pp
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
A Unified Algebraic Framework for Non-Monotonicity
LogAG is presented as an algebraic graded logic that encodes argument systems and thereby captures default logic, autoepistemic logic, circumscription, negation as failure, possibilistic logic, and Makinson-rational non-monotonic inference relations.