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
格式: 图书
出版: Springer 2013