{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T05:04:26Z","timestamp":1676005466471},"reference-count":18,"publisher":"Hindawi Limited","issue":"9","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":7913,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[1994]]},"DOI":"10.1002\/int.4550090904","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T21:36:08Z","timestamp":1183930568000},"page":"809-837","source":"Crossref","is-referenced-by-count":7,"title":["A comprehensive framework for knowledge-base verification and validation"],"prefix":"10.1155","volume":"9","author":[{"given":"Scott W.","family":"French","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Hamilton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"98","reference":[{"key":"10.1002\/int.4550090904-BIB1","author":"Rushby","year":"1991","unstructured":", and , An Introduction to Formal Specification and Verification Using EHDM, SRI International Computer Science Laboratory Technical Report, 1991."},{"key":"10.1002\/int.4550090904-BIB2","author":"Rushby","year":"1989","unstructured":"Quality Measures and Assurance for AI Software, NASA Langley Research Center Technical Report NASA CR-4187, 1989."},{"key":"10.1002\/int.4550090904-BIB3","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/64.193050","volume":"8","author":"Yen","year":"1993","journal-title":"IEEE Expert"},{"key":"10.1002\/int.4550090904-BIB4","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1145\/130994.131002","volume":"35","author":"Chandrasekaran","year":"1992","journal-title":"Commun. ACM"},{"key":"10.1002\/int.4550090904-BIB5","year":"1990","unstructured":"University of Houston-Clear Lake (UHCL)\/RICIS Committee, Expert System Verification and Validation Survey, RICIS Contract No. 069, Delivery No. 4\u2014Final Report, 1990."},{"key":"10.1002\/int.4550090904-BIB6","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1109\/69.54718","volume":"2","author":"Jacob","year":"1990","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"10.1002\/int.4550090904-BIB7","author":"Brachman","year":"1985","unstructured":"and , \u201cAn overview of the KL-ONE knowledge representation system,\u201d Cogn. Sci., 171\u2013216 (1985)."},{"key":"10.1002\/int.4550090904-BIB8","author":"Schmolze","year":"1983","unstructured":"and , \u201cClassification in the KL-ONE knowledge representation system,\u201d In Proceedings of the Eighth International Joint Conference on Artificial Intelligence (IJCAI), 1983."},{"key":"10.1002\/int.4550090904-BIB9","author":"MacGregor","year":"1987","unstructured":"and , The LOOM Knowledge Representation Language, USC\/Information Sciences Institute Technical Report ISI\/RS-87-188, 1987."},{"key":"10.1002\/int.4550090904-BIB10","author":"Yen","year":"1990","unstructured":", and , \u201cCLASP: Integrating term subsumption systems and production systems,\u201d IEEE Trans. Knowl. Data Eng., (1990)."},{"key":"10.1002\/int.4550090904-BIB11","author":"Clancey","year":"1985","unstructured":"and , Representing Control Knowledge as Abstract Tasks and Metarules, Stanford Knowledge Systems Laboratory Memo No. KSL 85-16, 1985."},{"key":"10.1002\/int.4550090904-BIB12","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/0004-3702(82)90039-X","volume":"18","author":"Georgeff","year":"1982","journal-title":"Artif. Intell."},{"key":"10.1002\/int.4550090904-BIB13","author":"Howden","year":"1990","unstructured":"\u201cComments analysis and programming errors,\u201d IEEE Trans. Software Eng., 1990."},{"key":"10.1002\/int.4550090904-BIB14","author":"Genesereth","year":"1983","unstructured":"\u201cAn overview of meta-level architectures,\u201d In Proceedings of American Association for Artificial Intelligence, 1983."},{"key":"10.1002\/int.4550090904-BIB15","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1147\/sj.132.0115","volume":"13","author":"Stevens","year":"1974","journal-title":"IBM Syst. J."},{"key":"10.1002\/int.4550090904-BIB16","volume-title":"Peter's Quotations: Ideas for Our Time","author":"Peter","year":"1979","unstructured":"Peter's Quotations: Ideas for Our Time, William Morrow, New York, 1979."},{"key":"10.1002\/int.4550090904-BIB17","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1109\/32.48935","volume":"16","author":"Olender","year":"1990","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1002\/int.4550090904-BIB18","year":"1983","unstructured":"Rockwell International, Space Shuttle Orbiter Operational Level C Functional Subsystem Software Requirements: Sequence Requirements, NASA\/Johnson Space Center Report No. STS 83-0026C, 1983."}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fint.4550090904","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/int.4550090904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:34:27Z","timestamp":1675956867000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/int.4550090904"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":18,"journal-issue":{"issue":"9","published-print":{"date-parts":[[1994]]}},"URL":"https:\/\/doi.org\/10.1002\/int.4550090904","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}