A General Framework for Reasoning On Inconsistency
This SpringerBrief proposes a general framework for reasoning about inconsistency in a wide variety of logics, including inconsistency resolution methods that have not yet been studied. The proposed framework allows users to specify preferences on how to resolve inconsistency when there are multiple...
Main Authors: | Martinez, M, Molinaro, C, Subrahmanian, V, Amgoud, L |
---|---|
Format: | Book |
Published: |
Springer
2013
|
Similar Items
-
A General Framework for Inconsistency−Tolerant Query Answering in Datalog+⁄−
by: Lukasiewicz, T, et al.
Published: (2014) -
Probabilistic reasoning with incomplete and inconsistent beliefs /
by: Thimm, Matthias, author
Published: (2012) -
Complexity of approximate query answering under inconsistency in datalog+/-
by: Lukasiewicz, T, et al.
Published: (2018) -
Complexity of approximate query answering under inconsistency in Datalog+/-
by: Lukasiewicz, T, et al.
Published: (2018) -
Explanations for inconsistency-tolerant query answering under existential rules
by: Lukasiewicz, T, et al.
Published: (2020)