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

Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi

Browse the full KR paper archive.