{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:59:08Z","timestamp":1725541148936},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642104879"},{"type":"electronic","value":"9783642104886"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10488-6_7","type":"book-chapter","created":{"date-parts":[[2009,11,17]],"date-time":"2009-11-17T07:55:13Z","timestamp":1258444513000},"page":"29-40","source":"Crossref","is-referenced-by-count":7,"title":["An Anytime Algorithm for Computing Inconsistency Measurement"],"prefix":"10.1007","author":[{"given":"Yue","family":"Ma","sequence":"first","affiliation":[]},{"given":"Guilin","family":"Qi","sequence":"additional","affiliation":[]},{"given":"Guohui","family":"Xiao","sequence":"additional","affiliation":[]},{"given":"Pascal","family":"Hitzler","sequence":"additional","affiliation":[]},{"given":"Zuoquan","family":"Lin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/j.datak.2005.04.005","volume":"57","author":"A. Hunter","year":"2006","unstructured":"Hunter, A.: How to act on inconsistent news: Ignore, resolve, or reject. Data Knowl. Eng.\u00a057, 221\u2013239 (2006)","journal-title":"Data Knowl. Eng."},{"key":"7_CR2","first-page":"68","volume-title":"Proc. of AAAI 2002","author":"A. Hunter","year":"2002","unstructured":"Hunter, A.: Measuring inconsistency in knowledge via quasi-classical models. In: Proc. of AAAI 2002, pp. 68\u201373. AAAI Press, Menlo Park (2002)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-3-540-30597-2_7","volume-title":"Inconsistency Tolerance","author":"A. Hunter","year":"2005","unstructured":"Hunter, A., Konieczny, S.: Approaches to measuring inconsistent information. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol.\u00a03300, pp. 191\u2013236. Springer, Heidelberg (2005)"},{"key":"7_CR4","first-page":"249","volume-title":"Proc. of KR 2006","author":"A. Hunter","year":"2006","unstructured":"Hunter, A., Konieczny, S.: Shapley inconsistency values. In: Proc. of KR 2006, pp. 249\u2013259. AAAI Press, Menlo Park (2006)"},{"key":"7_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/11518655_38","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"K. Mu","year":"2005","unstructured":"Mu, K., Jin, Z., Lu, R., Liu, W.: Measuring inconsistency in requirements specifications. In: Godo, L. (ed.) ECSQARU 2005. LNCS (LNAI), vol.\u00a03571, pp. 440\u2013451. Springer, Heidelberg (2005)"},{"issue":"1","key":"7_CR6","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1023\/A:1015015709557","volume":"31","author":"K. Knight","year":"2002","unstructured":"Knight, K.: Measuring inconsistency. Journal of Philosophical Logic\u00a031(1), 77\u201398 (2002)","journal-title":"Journal of Philosophical Logic"},{"key":"7_CR7","unstructured":"Hunter, A., Konieczny, S.: Measuring inconsistency through minimal inconsistent sets. In: Proc. of KR 2008, pp. 358\u2013366 (2008)"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1305\/ndjfl\/1093888404","volume":"19","author":"J. Grant","year":"1978","unstructured":"Grant, J.: Classifications for inconsistent theories. Notre Dame J. of Formal Logic\u00a019, 435\u2013444 (1978)","journal-title":"Notre Dame J. of Formal Logic"},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/s10844-006-2974-4","volume":"27","author":"J. Grant","year":"2006","unstructured":"Grant, J., Hunter, A.: Measuring inconsistency in knowledgebases. Journal of Intelligent Information Systems\u00a027, 159\u2013184 (2006)","journal-title":"Journal of Intelligent Information Systems"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"1064","DOI":"10.1016\/j.artint.2007.11.006","volume":"172","author":"J. Grant","year":"2008","unstructured":"Grant, J., Hunter, A.: Analysing inconsistent first-order knowledge bases. Artif. Intell.\u00a0172, 1064\u20131093 (2008)","journal-title":"Artif. Intell."},{"key":"7_CR11","unstructured":"Coste-Marquis, S., Marquis, P.: A unit resolution-based approach to tractable and paraconsistent reasoning. In: Proc. of ECAI, pp. 803\u2013807 (2004)"},{"key":"7_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-75256-1_11","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"Y. Ma","year":"2007","unstructured":"Ma, Y., Qi, G., Hitzler, P., Lin, Z.: An algorithm for computing inconsistency measurement by paraconsistent semantics. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol.\u00a04724, pp. 91\u2013102. Springer, Heidelberg (2007)"},{"key":"7_CR13","first-page":"7","volume-title":"Modern uses of multiple-valued logics","author":"N.D. Belnap","year":"1977","unstructured":"Belnap, N.D.: A useful four-valued logic. In: Modern uses of multiple-valued logics, pp. 7\u201373. Reidel Publishing Company, Boston (1977)"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0004-3702(98)00032-0","volume":"102","author":"O. Arieli","year":"1998","unstructured":"Arieli, O., Avron, A.: The value of the four values. Artif. Intell.\u00a0102, 97\u2013141 (1998)","journal-title":"Artif. Intell."},{"volume-title":"Computational Complexity","year":"1994","key":"7_CR15","unstructured":"Papadimitriou, C.H. (ed.): Computational Complexity. Addison Wesley, Reading (1994)"},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0004-3702(94)00009-P","volume":"74","author":"M. Schaerf","year":"1995","unstructured":"Schaerf, M., Cadoli, M.: Tractable reasoning via approximation. Artificial Intelligence\u00a074, 249\u2013310 (1995)","journal-title":"Artificial Intelligence"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/BF02136173","volume":"18","author":"M. Cadoli","year":"1996","unstructured":"Cadoli, M., Schaerf, M.: On the complexity of entailment in propositional multivalued logics. Ann. Math. Artif. Intell.\u00a018, 29\u201350 (1996)","journal-title":"Ann. Math. Artif. Intell."},{"key":"7_CR18","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1162\/coli.2007.33.2.153","volume":"33","author":"R. Malouf","year":"2007","unstructured":"Malouf, R.: Maximal consistent subsets. Computational Linguistics\u00a033, 153\u2013160 (2007)","journal-title":"Computational Linguistics"},{"key":"7_CR19","unstructured":"Mu, K., Jin, Z., Liu, W., Zowghi, D.: An approach to measuring the significance of inconsistency in viewpoints framework. Technical report, Peking University (2008)"}],"container-title":["Lecture Notes in Computer Science","Knowledge Science, Engineering and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10488-6_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T11:33:31Z","timestamp":1619782411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10488-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642104879","9783642104886"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10488-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}