{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T05:19:50Z","timestamp":1737523190127,"version":"3.33.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,8]]},"DOI":"10.1109\/coginf.2007.4341898","type":"proceedings-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T17:45:54Z","timestamp":1191951954000},"page":"255-262","source":"Crossref","is-referenced-by-count":1,"title":["Quantifying Knowledge Base Inconsistency via Fixpoint Semantics"],"prefix":"10.1109","author":[{"given":"Du","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/COGINF.2005.1532610"},{"key":"ref10","first-page":"321","article-title":"Inconsistency and rdundancy checking for quasi-first-order-logic knowledge bases","volume":"6","author":"ginsberg","year":"1993","journal-title":"International Journal of Expert Systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1988.tb00280.x"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10844-006-2974-4"},{"key":"ref13","first-page":"454","article-title":"Reasoning with Inconsistent Ontologies","author":"huang","year":"2005","journal-title":"the Proceedings of the Nineteenth International Joint Conference on Artifcial Intelligence"},{"key":"ref14","first-page":"68","article-title":"Measuring Inconsistency in Knowledge via Quasi-classical Models","author":"hunter","year":"2002","journal-title":"Proc of the National Conference on Artificial Intelligence (AAAI)"},{"key":"ref15","first-page":"468","article-title":"Evaluating Significance of Inconsistencies","author":"hunter","year":"2003","journal-title":"The Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence"},{"key":"ref16","first-page":"189","article-title":"Approaches to Measuring Inconsistent Information","volume":"3300","author":"hunter","year":"2004","journal-title":"Inconsistency Tolerance Ser Lecture Notes in Computer Science"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2006.05.007"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015015709557"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022351919320"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/69.334887"},{"journal-title":"Symbolic Logic and Mechanical Theorem Proving","year":"1973","author":"chang","key":"ref4"},{"key":"ref27","article-title":"Formal verification of A1 software","author":"rushby","year":"1989","journal-title":"NASA Contractor Report 181827"},{"journal-title":"Knowledge Representation and Reasoning","year":"2004","author":"brachman","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","author":"fagin","year":"1995","journal-title":"Reasoning About Knowledge"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-7051(99)00032-5"},{"key":"ref5","first-page":"439","article-title":"Possibilistic logic. In Handbook of Logic","volume":"3","author":"dubois","year":"1994","journal-title":"Artificial Intelligence and Programming in Logic"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00330-3"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90014-G"},{"journal-title":"Mathematical Logic for Computer Science","year":"1993","author":"ben-ari","key":"ref2"},{"journal-title":"Logical foundations of artificial intelligence","year":"1987","author":"genesereth","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"ref20","first-page":"106","article-title":"Quantifying information and contradiction in propositional logic through test actions","author":"konieczny","year":"2003","journal-title":"The Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence"},{"journal-title":"The Logic of Knowledge Bases","year":"2000","author":"levesque","key":"ref22"},{"key":"ref21","article-title":"The dimensions ofcontext-space","author":"lenat","year":"1998","journal-title":"CYCorp Report"},{"key":"ref24","volume":"65","author":"menzies","year":"2005","journal-title":"Advances in Computers"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1080\/09528139408953787"},{"key":"ref26","first-page":"69","article-title":"Knowledge base verification","volume":"8","author":"nguyen","year":"1987","journal-title":"AI Magazine"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/69.91059"}],"event":{"name":"6th IEEE International Conference on Cognitive Informatics","start":{"date-parts":[[2007,8,6]]},"end":{"date-parts":[[2007,8,8]]}},"container-title":["6th IEEE International Conference on Cognitive Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4341857\/4341858\/04341898.pdf?arnumber=4341898","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T14:14:58Z","timestamp":1737468898000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4341898\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/coginf.2007.4341898","relation":{},"subject":[],"published":{"date-parts":[[2007,8]]}}}