Measuring Incompleteness under Multi-valued Semantics by Partial MaxSAT Solvers.

Yue Ma, Qingfeng Chang

Browse the full ECSQARU paper archive.