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...

Descripció completa

Dades bibliogràfiques
Autors principals: Martinez, M, Molinaro, C, Subrahmanian, V, Amgoud, L
Format: Llibre
Publicat: Springer 2013