{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:43:12Z","timestamp":1743126192841,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642020964"},{"type":"electronic","value":"9783642020971"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02097-1_2","type":"book-chapter","created":{"date-parts":[[2009,6,11]],"date-time":"2009-06-11T10:32:35Z","timestamp":1244716355000},"page":"20-37","source":"Crossref","is-referenced-by-count":12,"title":["On Temporal Properties of Knowledge Base Inconsistency"],"prefix":"10.1007","author":[{"given":"Du","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J.F. Allen","year":"1984","unstructured":"Allen, J.F.: Toward a General Theory of Action and Time. Artificial Intelligence\u00a023(2), 123\u2013154 (1984)","journal-title":"Artificial Intelligence"},{"issue":"5","key":"2_CR2","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1093\/logcom\/4.5.531","volume":"4","author":"J.F. Allen","year":"1994","unstructured":"Allen, J.F., Ferguson, G.: Actions and Events in Interval Temporal Logic. Journal of Logic and Computation\u00a04(5), 531\u2013579 (1994)","journal-title":"Journal of Logic and Computation"},{"issue":"1-2","key":"2_CR3","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/j.artint.2003.02.001","volume":"153","author":"B. Bennett","year":"2004","unstructured":"Bennett, B., Galton, A.: A Unifying Semantics for Time and Events. Artificial Intelligence\u00a0153(1-2), 13\u201348 (2004)","journal-title":"Artificial Intelligence"},{"key":"2_CR4","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":"2_CR5","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.entcs.2006.01.021","volume":"157","author":"D. Chen","year":"2006","unstructured":"Chen, D., Wu, J.: Model Checking temporal Aspects of Inconsistent Concurrent Systems based on Paraconsistent Logic. Electronic Notes in Theoretical Computer Science\u00a0157, 23\u201338 (2006)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"2_CR6","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1995","unstructured":"Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. North-Holland Pub. Co., Amsterdam (1995)"},{"key":"2_CR7","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":"2_CR8","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":"2_CR9","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, Inc., Los Altos (1987)"},{"key":"2_CR10","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":"2_CR11","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)"},{"issue":"4","key":"2_CR12","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/292182.292187","volume":"7","author":"A. Hunter","year":"1998","unstructured":"Hunter, A., Nuseibeh, B.: Managing Inconsistent Specifications: Reasoning, Analysis, and Action. ACM Transactions on Software Engineering and Methodology\u00a07(4), 335\u2013367 (1998)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"2_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":"2_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":"2_CR15","series-title":"Lecture Notes in Computer Science","first-page":"189","volume-title":"Inconsistency Tolerance","author":"A. Hunter","year":"2004","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 (2004)"},{"issue":"1","key":"2_CR16","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":"2_CR17","unstructured":"Knight, K.: A Theory of Inconsistency, Ph.D. Dissertation, Department of Mathematics, the University of Manchester, UK (2002)"},{"key":"2_CR18","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)"},{"issue":"12","key":"2_CR19","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1323688.1323690","volume":"50","author":"D. Lee","year":"2007","unstructured":"Lee, D., et al.: Are Your Citations Clean? Communications of the ACM\u00a050(12), 33\u201338 (2007)","journal-title":"Communications of the ACM"},{"key":"2_CR20","unstructured":"Lenat, D.: The Dimensions of Context-Space, CYCorp Report (October 1998)"},{"issue":"7","key":"2_CR21","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1109\/MC.1993.274940","volume":"26","author":"N. Leveson","year":"1993","unstructured":"Leveson, N., Turner, C.S.: An Investigation of the Therac-25 Accidents. IEEE Computer\u00a026(7), 18\u201341 (1993)","journal-title":"IEEE Computer"},{"key":"2_CR22","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":"2_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The Temporal Logic of Reactive and Concurrent Systems: Specification","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, New York (1992)"},{"key":"2_CR24","first-page":"154","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, pp. 154\u2013203. Elsevier, Amsterdam (2005)"},{"key":"2_CR25","unstructured":"Metric mishap caused loss of NASA orbiter, http:\/\/www.cnn.com\/TECH\/space\/9909\/30\/mars.metric.02\/"},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-540-30597-2_8","volume-title":"Inconsistency Tolerance","author":"A. Rodriguez","year":"2005","unstructured":"Rodriguez, A.: Inconsistency Issues in Spatial Databases. In: Bertossi, L., Hunter, A., Schaub, T. (eds.) Inconsistency Tolerance. LNCS, vol.\u00a03300, pp. 237\u2013269. Springer, Heidelberg (2005)"},{"key":"2_CR27","unstructured":"Rushby, J.: Quality Measures and Assurance for AI Software. NASA Contractor Report 4187 (October 1988)"},{"key":"2_CR28","unstructured":"Rushby, J., Whitehurst, R.A.: Formal Verification of AI Software. NASA Contractor Report 181827 (February 1989)"},{"key":"2_CR29","unstructured":"Sago Mine Explosion, http:\/\/www.cnn.com\/2006\/US\/01\/03\/mine.explosion\/index.html"},{"issue":"6","key":"2_CR30","doi-asserted-by":"publisher","first-page":"796","DOI":"10.1109\/TKDE.2007.190745","volume":"20","author":"X. Yin","year":"2008","unstructured":"Yin, X., Han, J., Yu, P.S.: Truth Discovery with Multiple Conflicting Information Providers on the Web. IEEE Transactions on Knowledge and Data Engineering\u00a020(6), 796\u2013808 (2008)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"6","key":"2_CR31","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":"2_CR32","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"},{"issue":"4","key":"2_CR33","doi-asserted-by":"publisher","first-page":"14","DOI":"10.4018\/jcini.2007100102","volume":"1","author":"D. Zhang","year":"2007","unstructured":"Zhang, D.: Fixpoint Semantics for Rule Base Anomalies. International Journal of Cognitive Informatics and Natural Intelligence\u00a01(4), 14\u201325 (2007)","journal-title":"International Journal of Cognitive Informatics and Natural Intelligence"},{"key":"2_CR34","unstructured":"Zhang, D.: On Classifying Inconsistency in Autonomic Agent Systems, Technical Report, December 2007. Department of Computer Science, California State University, Sacramento (submitted for publication) (2007)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Science V"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02097-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T02:56:32Z","timestamp":1739156192000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02097-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642020964","9783642020971"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02097-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}