{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,8]],"date-time":"2023-10-08T13:50:01Z","timestamp":1696773001227},"reference-count":45,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"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":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[1998,6]]},"DOI":"10.1016\/s0169-023x(97)00019-0","type":"journal-article","created":{"date-parts":[[2003,4,4]],"date-time":"2003-04-04T19:18:15Z","timestamp":1049483895000},"page":"161-189","source":"Crossref","is-referenced-by-count":5,"title":["Structure-based validation of rule-based systems"],"prefix":"10.1016","volume":"26","author":[{"given":"A.D.","family":"Preece","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Grossner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.G.","family":"Chander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Radhakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"2","key":"10.1016\/S0169-023X(97)00019-0_BIB1","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/21.87078","article-title":"Experiments, quasi-experiments and case studies: A review of empirical methods for evaluating decision support systems","volume":"21","author":"Adelman","year":"1991","journal-title":"IEEE Transactions on Systems, Man and Cybernetics"},{"issue":"2","key":"10.1016\/S0169-023X(97)00019-0_BIB2","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1145\/356876.356879","article-title":"Validation, verification and testing of computer of software","volume":"14","author":"Richards Adrion","year":"1982","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB3","series-title":"Verification, Validation and Test of Knowledge-based Systems","article-title":"SACCO-SYCOJET: Two different ways of verifying knowledge-based systems","author":"Ayel","year":"1991"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB4","series-title":"Verification, Validation and Test of Knowledge-based Systems","year":"1991"},{"issue":"4","key":"10.1016\/S0169-023X(97)00019-0_BIB5","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0957-4174(91)90036-E","article-title":"Specifying an expert system","volume":"2","author":"Batarekh","year":"1991","journal-title":"Expert Systems with Applications"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB6","series-title":"Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project","first-page":"571","article-title":"The problem of evaluation","author":"Buchanan","year":"1984"},{"issue":"3","key":"10.1016\/S0169-023X(97)00019-0_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 Applicatiaons (US)"},{"issue":"5","key":"10.1016\/S0169-023X(97)00019-0_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-Machine Studies"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB9","series-title":"Building Expert Systems","first-page":"241","article-title":"Evaluation of expert systems: Issues and case studies","author":"Gaschnig","year":"1983"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB10","series-title":"Fundamentals of Software Engineering","author":"Ghezzi","year":"1991"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB11","series-title":"Expert Systems: Principles and Programming","author":"Giarratano","year":"1989"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB12","first-page":"585","article-title":"Knowledge-base reduction: A new approach to checking knowledge bases for inconsistency and redundancy","volume":"Vol. 2","author":"Ginsberg","year":"1988"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB13","series-title":"12th International Workshop on Distributed Artificial Intelligence","article-title":"Data distribution in organizations of cooperating expert systems","author":"Grossner","year":"1993"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB14","series-title":"2nd CLIPS Conference, Johnson Space Center","article-title":"Validation of an expert system intended for research in distributed artificial intelligence","author":"Grossner","year":"1991"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB15","series-title":"Proceedings of the 11th National Conference on Artificial Intelligence (AAAI 93)","first-page":"704","article-title":"Exploring the structure of rule based systems","author":"Grossner","year":"1993"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB16","series-title":"22nd Southeastern Symposium on System Theory","article-title":"Organizations for cooperating expert systems","author":"Grossner","year":"1990"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB17","series-title":"Validating and Verifying Knowledge-based Systems","author":"Gupta","year":"1990"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB18","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":"9","key":"10.1016\/S0169-023X(97)00019-0_BIB19","doi-asserted-by":"crossref","first-page":"921","DOI":"10.1145\/4284.4286","article-title":"Rule-based systems","volume":"28","author":"Hayes-Roth","year":"1985","journal-title":"Communications of the ACM"},{"issue":"2","key":"10.1016\/S0169-023X(97)00019-0_BIB20","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"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB21","series-title":"Technical Report TR 92-30","article-title":"Comparative evaluation of expert system testing methods","author":"Kirani","year":"1992"},{"issue":"3","key":"10.1016\/S0169-023X(97)00019-0_BIB22","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0957-4174(90)90009-J","article-title":"Correctness principles for rule-based expert systems","volume":"1","author":"Landauer","year":"1990","journal-title":"Expert Systems with Applications"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB23","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1177\/0272989X8700700105","article-title":"Knowledge acquisition and verification tools for medical expert systems","volume":"7","author":"Mars","year":"1987","journal-title":"Medical Decision Making"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB24","series-title":"Proceedings of the 10th European Conference on Artificial Intelligence (CAI 92)","article-title":"Incremental verification of rule-based expert systems","author":"Meseguer","year":"1992"},{"issue":"3","key":"10.1016\/S0169-023X(97)00019-0_BIB25","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":"4","author":"Nazareth","year":"1993","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"4","key":"10.1016\/S0169-023X(97)00019-0_BIB26","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/MEX.1987.5006538","article-title":"Validating expert system performance","volume":"2","author":"O'Keefe","year":"1987","journal-title":"IEEE Expert (US)"},{"issue":"6","key":"10.1016\/S0169-023X(97)00019-0_BIB27","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1145\/62959.62964","article-title":"The category-partition method for specifying and generating functional tests","volume":"31","author":"Ostrnad","year":"1988","journal-title":"Communications of ACM"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB28","series-title":"Twelveth National Conference on Artificial Intelligence (AAAI 94): Workshop on Validation and Verification of Knowledge-Based Systems","article-title":"Validating dynamic properties of rule-based systems","author":"Preece","year":"1994"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB29","series-title":"Proceedings of 1992 European Conference on Artificial Intelligence (ECAI-92)","article-title":"Verifying knowledge bases by anomaly detection: an experience report","author":"Preece","year":"1992"},{"issue":"2","key":"10.1016\/S0169-023X(97)00019-0_BIB30","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S026988890000624X","article-title":"Principles and practice in verifying rule-based systems","volume":"7","author":"Preece","year":"1992","journal-title":"Knowledge Engineering Review"},{"issue":"2\/3","key":"10.1016\/S0169-023X(97)00019-0_BIB31","article-title":"Verifying expert systems: A logical framework and a practical tool","volume":"3","author":"Preece","year":"1992","journal-title":"Expert Systems with Applications"},{"issue":"2\/3","key":"10.1016\/S0169-023X(97)00019-0_BIB32","article-title":"Special issue on verification and validation","volume":"6","author":"Preece","year":"1993","journal-title":"International Journal of Expert: Research and Applications"},{"issue":"4","key":"10.1016\/S0169-023X(97)00019-0_BIB33","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","article-title":"Selecting software test data using a data flow information","volume":"SE-11","author":"Rapps","year":"1985","journal-title":"IEEE Transactions on Softwaree Engineering"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB34","series-title":"Artificial Intelligence","author":"Rich","year":"1983"},{"issue":"2","key":"10.1016\/S0169-023X(97)00019-0_BIB35_1","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1111\/j.1467-8640.1988.tb00119.x","article-title":"On the consistency of knowledge bases: The COVADIS system","volume":"4","author":"Rousset","year":"1988","journal-title":"Computational Intelligence (Canada)"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB35_2","series-title":"ECAI 88, Proc. European Conference on AI","first-page":"79","author":"Rousset","year":"1988"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB36","series-title":"NASA Contractor Report CR-4187","first-page":"137","article-title":"Quality measures and assurance for AI software","author":"Rushby","year":"1988"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB37","series-title":"NASA Contractor Report CR-187466","first-page":"93","article-title":"Evaluation of an expert system for fault detection, isolation and recovery in the mannered maneuvering unit","author":"Rushby","year":"1990"},{"issue":"1","key":"10.1016\/S0169-023X(97)00019-0_BIB38","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1055\/s-0038-1635547","article-title":"Validating the knowledge base of a therapy planning system","volume":"28","author":"Shwe","year":"1989","journal-title":"Methods of Information in Medicine (Germany)"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB39","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0004-3702(73)90011-8","article-title":"The structure of ill-structured problems","volume":"4","author":"Simon","year":"1973","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB40","first-page":"1012","author":"Software Engineering Technical Committee of the IEEE Computer Society","year":"1986"},{"issue":"4","key":"10.1016\/S0169-023X(97)00019-0_BIB41","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":"3","key":"10.1016\/S0169-023X(97)00019-0_BIB42","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1109\/TSE.1980.234485","article-title":"Theories of program testing and the application of revealing subdomains","volume":"SE-6","author":"Weyuker","year":"1980","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"10.1016\/S0169-023X(97)00019-0_BIB43","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/1042-8143(92)90013-Q","article-title":"KADS: A modelling approach to knowledge engineering","volume":"4","author":"Wielinga","year":"1992","journal-title":"Knowledge Acquisition"},{"key":"10.1016\/S0169-023X(97)00019-0_BIB44","series-title":"Proc. 193 Florida AI Research Symposium (FLAIRS 93)","article-title":"An effective logical framework for knowledge-based systems verification","author":"Zlatareva","year":"1993"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X97000190?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X97000190?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T05:00:09Z","timestamp":1578459609000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169023X97000190"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["S0169023X97000190"],"URL":"https:\/\/doi.org\/10.1016\/s0169-023x(97)00019-0","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}