Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers

Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi. Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers. In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press, 2010. [doi]

Abstract

Abstract is missing.