{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:07:39Z","timestamp":1725520059240},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540889052"},{"type":"electronic","value":"9783540889069"}],"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-88906-9_50","type":"book-chapter","created":{"date-parts":[[2008,11,3]],"date-time":"2008-11-03T04:56:39Z","timestamp":1225688199000},"page":"395-403","source":"Crossref","is-referenced-by-count":0,"title":["When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency"],"prefix":"10.1007","author":[{"given":"Du","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"50_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":"50_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"},{"unstructured":"Ariane 5 Flight 501 Failure Full Report, http:\/\/sunnyday.mit.edu\/accidents\/Ariane5accidentreport.html","key":"50_CR3"},{"issue":"1-2","key":"50_CR4","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":"50_CR5","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)"},{"doi-asserted-by":"crossref","unstructured":"Chen, D., Wu, J.: Model Checking temporal Aspects of Inconsistent Concurrent Systems based on Paraconsistent Logic. Electronic Notes in Theoretical Computer Science, vol.\u00a0157, pp. 23\u201338 (2006)","key":"50_CR6","DOI":"10.1016\/j.entcs.2006.01.021"},{"key":"50_CR7","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":"50_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, Inc., Los Altos (1987)"},{"key":"50_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 Knowledge Bases. Journal of Intelligent Information Systems\u00a027, 159\u2013184 (2006)","journal-title":"Journal of Intelligent Information Systems"},{"key":"50_CR10","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)"},{"unstructured":"Knight, K.: A Theory of Inconsistency, Ph.D. Dissertation, Department of Mathematics, the University of Manchester, UK (2002)","key":"50_CR11"},{"issue":"7","key":"50_CR12","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":"50_CR13","volume-title":"The Logic of Knowledge Bases","author":"H.J. Levesque","year":"2000","unstructured":"Levesque, H.J., Lakemeyer, G.: The Logic of Knowledge Bases. The MIT Press, Cambridge (2000)"},{"key":"50_CR14","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)"},{"unstructured":"Rushby, J., Whitehurst, R.A.: Formal Verification of AI Software. NASA Contractor Report 181827 (February 1989)","key":"50_CR15"},{"issue":"6","key":"50_CR16","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":"50_CR17","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":"50_CR18","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"},{"unstructured":"Zhang, D.: On Classifying Inconsistency in Autonomic Agent Systems, Technical Report, Department of Computer Science, California State University, Sacrament (submitted for publication) (December 2007)","key":"50_CR19"}],"container-title":["Lecture Notes in Computer Science","Intelligent Data Engineering and Automated Learning \u2013 IDEAL 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88906-9_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T21:54:36Z","timestamp":1557870876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88906-9_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540889052","9783540889069"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88906-9_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}