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

Open in new window