Yue Ma, Qingfeng Chang. Measuring Incompleteness under Multi-valued Semantics by Partial MaxSAT Solvers. In Linda C. van der Gaag, editor, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings. Volume 7958 of Lecture Notes in Computer Science, pages 388-399, Springer, 2013. [doi]
Abstract is missing.