Measuring Incompleteness under Multi-valued Semantics by Partial MaxSAT Solvers. - Yue Ma; Qingfeng Chang (ECSQARU, 2013)