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.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.LO 2years
2019 2verdicts
UNVERDICTED 2representative citing papers
Classes of aggregators for first-order relational databases are identified that respect integrity constraints when all inputs do, along with query languages where aggregation and querying commute.
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.
-
Social Choice Methods for Database Aggregation
Classes of aggregators for first-order relational databases are identified that respect integrity constraints when all inputs do, along with query languages where aggregation and querying commute.