%0 Conference Paper %1 conf/kr/XiaoLMQ10 %A Xiao, Guohui %A Lin, Zuoquan %A Ma, Yue %A Qi, Guilin %B KR %D 2010 %E Lin, Fangzhen %E Sattler, Ulrike %E Truszczynski, Miroslaw %I AAAI Press %K %T Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers. %U http://dblp.uni-trier.de/db/conf/kr/kr2010.html#XiaoLMQ10

@inproceedings{conf/kr/XiaoLMQ10, added-at = {2023-12-13T10:35:44.000+0100}, author = {Xiao, Guohui and Lin, Zuoquan and Ma, Yue and Qi, Guilin}, biburl = {https://www.bibsonomy.org/bibtex/2b4c47ee3a7b7261e38f5b7a66c48fe21/admin}, booktitle = {KR}, crossref = {conf/kr/2010}, editor = {Lin, Fangzhen and Sattler, Ulrike and Truszczynski, Miroslaw}, ee = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1203}, interhash = {d8fb36e891b21c72a4c433219228b064}, intrahash = {b4c47ee3a7b7261e38f5b7a66c48fe21}, keywords = {}, publisher = {AAAI Press}, timestamp = {2023-12-13T10:35:44.000+0100}, title = {Computing Inconsistency Measurements under Multi-Valued Semantics by Partial Max-SAT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr2010.html#XiaoLMQ10}, year = 2010 }