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

ver descrição completa

Detalhes bibliográficos
Principais autores: Martinez, M, Molinaro, C, Subrahmanian, V, Amgoud, L
Formato: Livro
Publicado em: Springer 2013