Constrained ABA (CABA) introduces non-ground arguments with constrained variables and defines semantics that conservatively generalize standard ground ABA.
Artificial intelligence 93(1-2), pp
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
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.
citing papers explorer
-
Constrained Assumption-Based Argumentation Frameworks
Constrained ABA (CABA) introduces non-ground arguments with constrained variables and defines semantics that conservatively generalize standard ground ABA.
-
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.