{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T20:42:49Z","timestamp":1649018569070},"reference-count":50,"publisher":"Elsevier BV","issue":"7","license":[{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowledge-Based Systems"],"published-print":{"date-parts":[[1999,11]]},"DOI":"10.1016\/s0950-7051(99)00032-5","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:33:54Z","timestamp":1027636434000},"page":"341-353","source":"Crossref","is-referenced-by-count":18,"title":["Approximate declarative semantics for rule base anomalies"],"prefix":"10.1016","volume":"12","author":[{"given":"Du","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Luqi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-7051(99)00032-5_BIB1","series-title":"Validation, Verification and Test of Knowledge-Based Systems","year":"1991"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB2","series-title":"Validating and Verifying Knowledge-Based Systems","year":"1991"},{"issue":"3","key":"10.1016\/S0950-7051(99)00032-5_BIB3","volume":"1","year":"1990","journal-title":"Expert Systems with Applications"},{"issue":"8\/9","key":"10.1016\/S0950-7051(99)00032-5_BIB4","volume":"9","year":"1994","journal-title":"International Journal of Intelligent Systems"},{"issue":"3","key":"10.1016\/S0950-7051(99)00032-5_BIB5","first-page":"45","article-title":"Validation and verification of knowledge-based systems","volume":"8","author":"Plaza","year":"1993","journal-title":"IEEE Expert"},{"issue":"2\/3","key":"10.1016\/S0950-7051(99)00032-5_BIB6","volume":"6","year":"1993","journal-title":"International Journal of Expert Systems"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB7","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0957-4174(90)90003-D","article-title":"A report on the expert systems validation associate (EVA)","volume":"1","author":"Chang","year":"1990","journal-title":"Expert Systems with Applications"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB8","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1016\/S0020-7373(87)80076-7","article-title":"A decision-table-based processor for checking completeness and consistency in rule-based expert systems","volume":"26","author":"Cragun","year":"1987","journal-title":"International Journal of Man\u2013Machine Studies"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB9","unstructured":"R.F. Gamble, G.C. Roman, W.E. Ball, Formal verification of pure production system programs, Proceedings of Ninth National Conference on AI, 1991, pp. 329\u2013334."},{"key":"10.1016\/S0950-7051(99)00032-5_BIB10","unstructured":"A. Ginsberg, Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy, Proceedings of Seventh National Conference on AI, 1998, pp. 585\u2013589."},{"issue":"3","key":"10.1016\/S0950-7051(99)00032-5_BIB11","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":"10.1016\/S0950-7051(99)00032-5_BIB12","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1016\/0957-4174(91)90167-D","article-title":"State-of-the-practice in knowledge-based system verification and validation","volume":"3","author":"Hamilton","year":"1991","journal-title":"Expert Systems with Applications"},{"issue":"1","key":"10.1016\/S0950-7051(99)00032-5_BIB13","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/64.193052","article-title":"Interactive verification of knowledge-based systems","volume":"8","author":"Jafar","year":"1993","journal-title":"IEEE Expert"},{"issue":"2","key":"10.1016\/S0950-7051(99)00032-5_BIB14","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1145\/128894.128896","article-title":"Structural testing of rule-based expert systems","volume":"1","author":"Kiper","year":"1992","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"11","key":"10.1016\/S0950-7051(99)00032-5_BIB15","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1145\/188280.188373","article-title":"Evaluation of expert system testing methods","volume":"37","author":"Kirani","year":"1994","journal-title":"Communications of ACM"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB16","series-title":"On Conceptual Modeling","article-title":"The logic of incomplete knowledge bases","author":"Levesque","year":"1984"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB17","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1002\/int.4550060303","article-title":"An approach towards the verification of expert systems using numerical petri nets","volume":"6","author":"Liu","year":"1991","journal-title":"International Journal of Intelligent Systems"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB18","article-title":"How to combine nonmonotonic logic and rapid prototyping to help maintain software","author":"Luqi","year":"1999","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"issue":"4","key":"10.1016\/S0950-7051(99)00032-5_BIB19","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/64.10016","article-title":"Knowledge-based support for rapid software prototyping","volume":"3","author":"Luqi","year":"1988","journal-title":"IEEE Expert"},{"issue":"2","key":"10.1016\/S0950-7051(99)00032-5_BIB20","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/64.24917","article-title":"Rapid prototyping languages and expert systems","volume":"4","author":"Luqi","year":"1989","journal-title":"IEEE Expert"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB21","unstructured":"L.A. Miller, Recommended guidelines for V&V of cases, AAAI-94 Workshop on Validation and Verification of Knowledge-Based Systems, 1994, pp. 1\u20139."},{"key":"10.1016\/S0950-7051(99)00032-5_BIB22","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0957-4174(91)90038-G","article-title":"Control of inconsistency and redundancy in prolog-type knowledge bases","volume":"2","author":"Murray","year":"1991","journal-title":"Expert Systems with Applications"},{"issue":"3","key":"10.1016\/S0950-7051(99)00032-5_BIB23","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1109\/69.224193","article-title":"Investigating the applicability of petri nets for rule-based system verification","volume":"5","author":"Nazareth","year":"1993","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB24","first-page":"69","article-title":"Knowledge base verification","volume":"8","author":"Nguyen","year":"1987","journal-title":"AI Magazine"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB25","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1002\/int.4550070202","article-title":"Detection of potential inconsistencies in knowledge bases","volume":"7","author":"Nonfjall","year":"1992","journal-title":"International Journal of Intelligent Systems"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB26","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00849196","article-title":"Expert system verification and validation: a survey and tutorial","volume":"7","author":"O'Keefe","year":"1993","journal-title":"Artificial Intelligence Review"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB27","unstructured":"R. Plant, S. Murrell, On the validation and verification of production systems: a graph reduction approach, AAAI-94 Workshop on Validation and Verification of Knowledge-Based Systems, 1994, pp. 56\u201363."},{"issue":"2\/3","key":"10.1016\/S0950-7051(99)00032-5_BIB28","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1016\/0957-4174(92)90026-O","article-title":"Verifying expert systems: a logical framework and a practical tool","volume":"5","author":"Preece","year":"1992","journal-title":"Expert Systems with Applications"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB29","doi-asserted-by":"crossref","unstructured":"M.C. Rousset, On the consistency of knowledge bases: the COVADIS system, Proceedings of Eighth European Conference on AI, 1988, pp. 79\u201384.","DOI":"10.1111\/j.1467-8640.1988.tb00119.x"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB30","unstructured":"J. Rushby, Quality Measures and Assurance for AI Software, NASA Contractor Report 4187, October 1988."},{"key":"10.1016\/S0950-7051(99)00032-5_BIB31","unstructured":"J. Rushby, R.A. Whitehurst, Formal Verification of AI Software, NASA Contractor Report 181827, February 1989."},{"key":"10.1016\/S0950-7051(99)00032-5_BIB32","first-page":"16","article-title":"An approach to verifying completeness and consistency in a rule-based expert system","volume":"3","author":"Suwa","year":"1982","journal-title":"AI Magazine"},{"issue":"2","key":"10.1016\/S0950-7051(99)00032-5_BIB33","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1142\/S0218213093000114","article-title":"Pragmatic testing methods for expert systems","volume":"2","author":"Tsai","year":"1993","journal-title":"International Journal of AI Tools"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB34","doi-asserted-by":"crossref","unstructured":"Verifying Knowledge Bases: A Bibliography, Knowledge Engineering Review 7 (2) 1992 143\u2013146.","DOI":"10.1017\/S0269888900006251"},{"issue":"1","key":"10.1016\/S0950-7051(99)00032-5_BIB35","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1142\/S0218194092000075","article-title":"Proving properties of rule-based systems","volume":"2","author":"Waldinger","year":"1992","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB36","unstructured":"D. Zhang, Luqi, Formal analysis of inconsistency and redundancy in knowledge bases, IJCAI-95 Workshop on Verification and Validation of Knowledge-Based Systems, pp. 110\u2013116."},{"issue":"6","key":"10.1016\/S0950-7051(99)00032-5_BIB37","doi-asserted-by":"crossref","first-page":"983","DOI":"10.1109\/69.334887","article-title":"PREPARE: a tool for knowledge base verification","volume":"6","author":"Zhang","year":"1994","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB38","doi-asserted-by":"crossref","unstructured":"D. Zhang, Perspectives in knowledge base verification, Proceedings of Fifth International Conference on Software Engineering and Knowledge Engineering, 1993, pp. 123\u2013456.","DOI":"10.1142\/9789814354714_0017"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB39","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1002\/int.4550090805","article-title":"A framework for verification, validation, and refinement of knowledge bases: the VVR system","volume":"9","author":"Zlatareva","year":"1994","journal-title":"International Journal of Intelligent Systems"},{"issue":"2","key":"10.1016\/S0950-7051(99)00032-5_BIB40","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0957-4174(94)90034-5","article-title":"State of the art in automated validation of knowledge-based systems","volume":"7","author":"Zlatareva","year":"1994","journal-title":"Expert Systems with Applications"},{"issue":"1","key":"10.1016\/S0950-7051(99)00032-5_BIB41","first-page":"247","article-title":"The CommonKADS organization model: content, usage, and computer support","volume":"11","author":"de Hoog","year":"1996","journal-title":"Expert Systems with Applications"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB42","series-title":"Design and Development of Knowledge-Based Systems: From Life Cycle to Methodology","author":"Guida","year":"1994"},{"issue":"6","key":"10.1016\/S0950-7051(99)00032-5_BIB43","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/64.363263","article-title":"CommonKADS: a comprehensive methodology for KBS development","volume":"9","author":"Schreiber","year":"1994","journal-title":"IEEE Expert"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB44","series-title":"Knowledge-Based Systems Analysis and Design: A KADS Developer's Handbook","author":"Tansley","year":"1993"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB45","series-title":"Mathematical Logic for Computer Science","author":"Ben-Ari","year":"1993"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB46","series-title":"Symbolic Logic and Mechanical Theorem Proving","author":"Chang","year":"1973"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB47","series-title":"Logical Foundations of Artificial Intelligence","author":"Genesereth","year":"1987"},{"key":"10.1016\/S0950-7051(99)00032-5_BIB48","series-title":"Object-Oriented Artificial Intelligence Using C++","author":"Tracy","year":"1997"},{"issue":"1","key":"10.1016\/S0950-7051(99)00032-5_BIB49","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/5254.747902","article-title":"What are ontologies, and why do we need them?","volume":"14","author":"Chandrasekaran","year":"1999","journal-title":"IEEE Intelligent Systems"},{"issue":"3","key":"10.1016\/S0950-7051(99)00032-5_BIB50","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/5254.683180","article-title":"Using AI in knowledge management: knowledge bases and ontologies","volume":"13","author":"O'Leary","year":"1998","journal-title":"IEEE Intelligent Systems"}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705199000325?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705199000325?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,28]],"date-time":"2020-01-28T22:14:02Z","timestamp":1580249642000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950705199000325"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,11]]},"references-count":50,"journal-issue":{"issue":"7","published-print":{"date-parts":[[1999,11]]}},"alternative-id":["S0950705199000325"],"URL":"https:\/\/doi.org\/10.1016\/s0950-7051(99)00032-5","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[1999,11]]}}}