Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi
Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers
KR, 2010.
@inproceedings{KR-2010-XiaoLMQ, author = "Guohui Xiao and Zuoquan Lin and Yue Ma and Guilin Qi", booktitle = "{Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning}", ee = "http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1203", publisher = "{AAAI Press}", title = "{Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers}", year = 2010, }