Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets. Xiao, G. & Ma, Y. In Proceedings of European Conference on Artificial Intelligence (ECAI), pages 864-869, 2012. Paper bibtex @inproceedings{ dblp1566888,
title = {Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets},
author = {Guohui Xiao and Yue Ma},
author_short = {Xiao, G. and Ma, Y.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2012},
key = {dblp1566888},
id = {dblp1566888},
biburl = {http://www.dblp.org/rec/bibtex/conf/ecai/XiaoM12},
url = {http://dx.doi.org/10.3233/978-1-61499-098-7-864},
conference = {ECAI},
pages = {864-869},
text = {ECAI 2012:864-869},
booktitle = {Proceedings of European Conference on Artificial Intelligence (ECAI)}
}
Downloads: 0
{"_id":{"_str":"52b361ab9eb585cc260043ff"},"__v":0,"authorIDs":[],"author_short":["Xiao, G.","Ma, Y."],"bibbaseid":"xiao-ma-inconsistencymeasurementbasedonvariablesinminimalunsatisfiablesubsets-2012","bibdata":{"html":"<div class=\"bibbase_paper\"> \n\n\n<span class=\"bibbase_paper_titleauthoryear\">\n\t<span class=\"bibbase_paper_title\"><a name=\"dblp1566888\"> </a>Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets.</span>\n\t<span class=\"bibbase_paper_author\">\nXiao, G.; and Ma, Y.</span>\n\t<!-- <span class=\"bibbase_paper_year\">2012</span>. -->\n</span>\n\n\n\nIn\n<i>Proceedings of European Conference on Artificial Intelligence (ECAI)</i>, page 864-869, 2012.\n\n\n\n\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content\">\n \n \n <!-- <i -->\n <!-- onclick=\"javascript:log_download('xiao-ma-inconsistencymeasurementbasedonvariablesinminimalunsatisfiablesubsets-2012', 'http://dx.doi.org/10.3233/978-1-61499-098-7-864')\">DEBUG -->\n <!-- </i> -->\n\n <a href=\"http://dx.doi.org/10.3233/978-1-61499-098-7-864\"\n onclick=\"javascript:log_download('xiao-ma-inconsistencymeasurementbasedonvariablesinminimalunsatisfiablesubsets-2012', 'http://dx.doi.org/10.3233/978-1-61499-098-7-864')\">\n <img src=\"http://bibbase.org/img/filetypes/blank.png\"\n\t alt=\"Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets [.3233/978-1-61499-098-7-864]\" \n\t class=\"bibbase_icon\"\n\t style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\" ><span class=\"bibbase_icon_text\">Paper</span></a> \n \n \n \n <a href=\"javascript:showBib('dblp1566888')\"\n class=\"bibbase link\">\n <!-- <img src=\"http://bibbase.org/img/filetypes/bib.png\" -->\n\t<!-- alt=\"Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets [bib]\" -->\n\t<!-- class=\"bibbase_icon\" -->\n\t<!-- style=\"width: 24px; height: 24px; border: 0px; vertical-align: text-top\"><span class=\"bibbase_icon_text\">Bibtex</span> -->\n BibTeX\n <i class=\"fa fa-caret-down\"></i></a>\n \n \n \n \n\n \n \n \n</span>\n\n<div class=\"well well-small bibbase\" id=\"bib_dblp1566888\"\n style=\"display:none\">\n <pre>@inproceedings{ dblp1566888,\n title = {Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets},\n author = {Guohui Xiao and Yue Ma},\n author_short = {Xiao, G. and Ma, Y.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp1566888},\n id = {dblp1566888},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ecai/XiaoM12},\n url = {http://dx.doi.org/10.3233/978-1-61499-098-7-864},\n conference = {ECAI},\n pages = {864-869},\n text = {ECAI 2012:864-869},\n booktitle = {Proceedings of European Conference on Artificial Intelligence (ECAI)}\n}</pre>\n</div>\n\n\n\n</div>\n","downloads":0,"bibbaseid":"xiao-ma-inconsistencymeasurementbasedonvariablesinminimalunsatisfiablesubsets-2012","urls":{"Paper":"http://dx.doi.org/10.3233/978-1-61499-098-7-864"},"role":"author","bibtex":"@inproceedings{ dblp1566888,\n title = {Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets},\n author = {Guohui Xiao and Yue Ma},\n author_short = {Xiao, G. and Ma, Y.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp1566888},\n id = {dblp1566888},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ecai/XiaoM12},\n url = {http://dx.doi.org/10.3233/978-1-61499-098-7-864},\n conference = {ECAI},\n pages = {864-869},\n text = {ECAI 2012:864-869},\n booktitle = {Proceedings of European Conference on Artificial Intelligence (ECAI)}\n}","booktitle":"Proceedings of European Conference on Artificial Intelligence (ECAI)","text":"ECAI 2012:864-869","pages":"864-869","conference":"ECAI","url":"http://dx.doi.org/10.3233/978-1-61499-098-7-864","biburl":"http://www.dblp.org/rec/bibtex/conf/ecai/XiaoM12","id":"dblp1566888","key":"dblp1566888","year":"2012","type":"inproceedings","bibtype":"inproceedings","author_short":["Xiao, G.","Ma, Y."],"author":["Guohui Xiao","Yue Ma"],"title":"Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets"},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ecai/XiaoM12","downloads":0,"search_terms":["inconsistency","measurement","based","variables","minimal","unsatisfiable","subsets","xiao","ma"],"title":"Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets","year":2012,"dataSources":["pkjvR2toR9guKugrP"]}