{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T23:40:22Z","timestamp":1738366822119,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540875628"},{"type":"electronic","value":"9783540875635"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87563-5_9","type":"book-chapter","created":{"date-parts":[[2008,9,15]],"date-time":"2008-09-15T05:54:32Z","timestamp":1221458072000},"page":"145-160","source":"Crossref","is-referenced-by-count":9,"title":["Quantifying Knowledge Base Inconsistency Via Fixpoint Semantics"],"prefix":"10.1007","author":[{"given":"Du","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","first-page":"8","volume-title":"Modern Uses of Multiple-Valued Logic","author":"N.D. Belnap","year":"1977","unstructured":"Belnap, N.D.: A Useful Four-Valued Logic. In: Epstein, G., Dunn, J. (eds.) Modern Uses of Multiple-Valued Logic, pp. 8\u201337. D. Reidel, Dordrecht (1977)"},{"key":"9_CR2","volume-title":"Knowledge Representation and Reasoning","author":"R.J. Brachman","year":"2004","unstructured":"Brachman, R.J., Levesque, H.J.: Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, San Francisco (2004)"},{"key":"9_CR3","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1093\/oso\/9780198537472.003.0009","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D. Dubois","year":"1994","unstructured":"Dubois, D., Lang, J., Prade, H.: Possibilistic Logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a03, pp. 439\u2013513. Oxford University Press, Oxford (1994)"},{"key":"9_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning about Knowledge","author":"R. Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)90014-G","volume":"11","author":"M. Fitting","year":"1991","unstructured":"Fitting, M.: Bilattices and the Semantics of Logic Programming. Journal of Logic Programming\u00a011, 91\u2013116 (1991)","journal-title":"Journal of Logic Programming"},{"issue":"1-2","key":"9_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0304-3975(00)00330-3","volume":"278","author":"M. Fitting","year":"2002","unstructured":"Fitting, M.: Fixpoint Semantics for Logic Programming: a Survey. Theoretical Computer Science\u00a0278(1-2), 25\u201351 (2002)","journal-title":"Theoretical Computer Science"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/BFb0028192","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"D. Gabby","year":"1993","unstructured":"Gabby, D., Hunter, A.: Making Inconsistency Respectable 2: Meta-Level Handling of Inconsistent Data. In: Moral, S., Kruse, R., Clarke, E. (eds.) ECSQARU 1993. LNCS, vol.\u00a0747, pp. 129\u2013136. Springer, Heidelberg (1993)"},{"key":"9_CR8","volume-title":"Logical Foundations of Artificial Intelligence","author":"M.R. Genesereth","year":"1987","unstructured":"Genesereth, M.R., Nilsson, N.J.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers, Los Altos (1987)"},{"issue":"3","key":"9_CR9","first-page":"321","volume":"6","author":"A. Ginsberg","year":"1993","unstructured":"Ginsberg, A., Williamson, K.: Inconsistency and Redundancy Checking for Quasi-First-Order-Logic Knowledge Bases. International Journal of Expert Systems\u00a06(3), 321\u2013340 (1993)","journal-title":"International Journal of Expert Systems"},{"issue":"3","key":"9_CR10","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg, M.L.: Multivalued Logics: a Uniform Approach to Inference in Artificial Intelligence. Computational Intelligence\u00a04(3), 265\u2013316 (1988)","journal-title":"Computational Intelligence"},{"key":"9_CR11","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 Knowledge Bases. Journal of Intelligent Information Systems\u00a027, 159\u2013184 (2006)","journal-title":"Journal of Intelligent Information Systems"},{"key":"9_CR12","unstructured":"Huang, Z., van Harmelen, F., ten Teije, A.: Reasoning with Inconsistent Ontologies. In: The Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, pp. 454\u2013459 (2005)"},{"key":"9_CR13","unstructured":"Hunter, A.: Measuring Inconsistency in Knowledge via Quasi-classical Models. In: The Proceedings of the National Conference on Artificial Intelligence, pp. 68\u201373 (2002)"},{"key":"9_CR14","unstructured":"Hunter, A.: Evaluating Significance of Inconsistencies. In: The Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, pp. 468\u2013473 (2003)"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"189","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. 189\u2013234. Springer, Heidelberg (2005)"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1016\/j.knosys.2006.05.007","volume":"19","author":"A. Hunter","year":"2006","unstructured":"Hunter, A., Summerton, R.: A Knowledge-Based Approach to Merging Information. Knowledge-Based Systems\u00a019, 647\u2013674 (2006)","journal-title":"Knowledge-Based Systems"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1023\/A:1015015709557","volume":"31","author":"K. Knight","year":"2001","unstructured":"Knight, K.: Measuring Inconsistency. Journal of Philosophical Logic\u00a031, 77\u201398 (2001)","journal-title":"Journal of Philosophical Logic"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1022351919320","volume":"12","author":"K. Knight","year":"2003","unstructured":"Knight, K.: Two Information Measures for Inconsistent Sets. Journal of Logic, Language and Information\u00a012, 227\u2013248 (2003)","journal-title":"Journal of Logic, Language and Information"},{"key":"9_CR19","unstructured":"Konieczny, S., Lang, J., Marquis, P.: Quantifying Information and Contradiction in Propositional Logic through Test Actions. In: The Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, pp. 106\u2013111 (2003)"},{"key":"9_CR20","unstructured":"Lenat, D.: The Dimensions of Context-Space. CYCorp Report (1998)"},{"key":"9_CR21","volume-title":"The Logic of Knowledge Bases","author":"H.J. Levesque","year":"2000","unstructured":"Levesque, H.J., Lakemeyer, G.: The Logic of Knowledge Bases. MIT Press, Cambridge (2000)"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1080\/09528139408953787","volume":"6","author":"E. Lozinskii","year":"1994","unstructured":"Lozinskii, E.: Information and Evidence in Logic Systems. Journal of Experimental and Theoretical Artificial Intelligence\u00a06, 163\u2013193 (1994)","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"9_CR23","volume-title":"Advances in computers","author":"T. Menzies","year":"2005","unstructured":"Menzies, T., Pecheur, C.: Verification and Validation and Artificial Intelligence. In: Zelkowitz, M. (ed.) Advances in computers, vol.\u00a065. Elsevier, Amsterdam (2005)"},{"key":"9_CR24","unstructured":"MSNBC: (April 26, 2004), http:\/\/www.msnbc.msn.com\/id\/4815441 (accessed December 31, 2007)"},{"issue":"3","key":"9_CR25","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1109\/69.91059","volume":"3","author":"T. Murata","year":"1991","unstructured":"Murata, T., Subrahmanian, V.S., Wakayama, T.: A Petri Net Model for Reasoning in the Presence of Inconsistency. IEEE Transactions on Knowledge and Data Engineering\u00a03(3), 281\u2013292 (1991)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"2","key":"9_CR26","first-page":"69","volume":"8","author":"T.A. Nguyen","year":"1987","unstructured":"Nguyen, T.A., Perkins, W.A., Laffey, T.J., Pecora, D.: Knowledge Base Verification. AI Magazine\u00a08(2), 69\u201375 (1987)","journal-title":"AI Magazine"},{"key":"9_CR27","unstructured":"Rushby, J., Whitehurst, R.A.: Formal verification of AI software. NASA Contractor Report 181827 (1989)"},{"key":"9_CR28","unstructured":"SFC: (September 25, 2005), http:\/\/www.sfgate.com\/cgi-bin\/article.cgi?f=\/c\/a\/2005\/09\/25\/MNGD7ETMNM1.DTL (accessed December 31, 2007)"},{"issue":"6","key":"9_CR29","doi-asserted-by":"publisher","first-page":"983","DOI":"10.1109\/69.334887","volume":"6","author":"D. Zhang","year":"1994","unstructured":"Zhang, D., Nguyen, D.: PREPARE: A Tool for Knowledge Base Verification. IEEE Transactions on Knowledge and Data Engineering\u00a06(6), 983\u2013989 (1994)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"7","key":"9_CR30","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/S0950-7051(99)00032-5","volume":"12","author":"D. Zhang","year":"1999","unstructured":"Zhang, D., Luqi: Approximate Declarative Semantics for Rule Base Anomalies. Knowledge-Based Systems\u00a012(7), 341\u2013353 (1999)","journal-title":"Knowledge-Based Systems"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Zhang, D.: Fixpoint Semantics for Rule Base Anomalies. In: Proceedings of the Fourth IEEE International Conference on Cognitive Informatics, Irvine, CA, pp. 10\u201317 (2005)","DOI":"10.1109\/COGINF.2005.1532610"},{"key":"9_CR32","unstructured":"Zhang, D.: On Classifying Inconsistency in Autonomic Agent Systems. Technical Report, December 2007. Department of Computer Science, California State University, Sacramento (submitted, 2007)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Science II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87563-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T23:00:56Z","timestamp":1738364456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87563-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540875628","9783540875635"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87563-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}