{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T17:10:10Z","timestamp":1736097010732,"version":"3.32.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1109\/coginf.2005.1532610","type":"proceedings-article","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T15:48:27Z","timestamp":1132069707000},"page":"10-17","source":"Crossref","is-referenced-by-count":10,"title":["Fixpoint semantics for rule-base anomalies"],"prefix":"10.1109","author":[{"family":"Du Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/69.91059"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5196-5_7"},{"journal-title":"The Logic of Knowledge Bases","year":"2000","author":"levesque","key":"18"},{"journal-title":"IBM's Research Project on Information Economies","year":"0","key":"15"},{"key":"16","article-title":"The dimensions of context-space","author":"lenat","year":"1998","journal-title":"CYCorp Report"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8640.1988.tb00280.x"},{"journal-title":"Ontological Engineering","year":"2004","author":"gomez-perez","key":"14"},{"journal-title":"Logical foundations of artificial intelligence","year":"1987","author":"genesereth","key":"11"},{"key":"12","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":"21","doi-asserted-by":"publisher","DOI":"10.1109\/5254.683180"},{"key":"20","first-page":"69","article-title":"Knowledge base verification","volume":"8","author":"nguyen","year":"1987","journal-title":"AI Magazine"},{"journal-title":"Principles of the Business Rules Approach","year":"2003","author":"ross","key":"22"},{"key":"23","article-title":"Quality measures and assurance for AI software","volume":"4187","author":"rushby","year":"1988","journal-title":"NASA Contractor Report"},{"key":"24","article-title":"Formal verification of AI software","author":"rushby","year":"1989","journal-title":"NASA Contractor Report 181827"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-7051(99)00032-5"},{"journal-title":"Mathematical Logic for Computer Science","year":"1993","author":"ben-ari","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00330-3"},{"journal-title":"Vicious Circles","year":"1996","author":"barwise","key":"1"},{"year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/0957-4174(90)90003-D"},{"journal-title":"Symbolic Logic and Mechanical Theorem Proving","year":"1973","author":"chang","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/5254.747902"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(91)90014-G"},{"key":"8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","author":"fagin","year":"1995","journal-title":"Reasoning About Knowledge"}],"event":{"name":"Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005).","start":{"date-parts":[[2005,8,8]]},"location":"Irvine, CA, USA","end":{"date-parts":[[2005,8,10]]}},"container-title":["Fourth IEEE Conference on Cognitive Informatics, 2005. (ICCI 2005)."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10264\/32698\/01532610.pdf?arnumber=1532610","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T16:50:52Z","timestamp":1736095852000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1532610\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/coginf.2005.1532610","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}