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

researchr

You are not signed in
Sign in
Sign up

Guohui Xiao, Zuoquan Lin, Yue Ma, Guilin Qi. Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers. In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press, 2010. [doi]

This author has not been identified. Look up 'Guohui Xiao' in GoogleThis author has not been identified. Look up 'Zuoquan Lin' in GoogleThis author has not been identified. Look up 'Yue Ma' in GoogleThis author has not been identified. Look up 'Guilin Qi' in Google

runs on WebDSL