{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T00:14:49Z","timestamp":1648858489248},"reference-count":18,"publisher":"Elsevier BV","issue":"5-6","license":[{"start":{"date-parts":[[1999,10,1]],"date-time":"1999-10-01T00:00:00Z","timestamp":938736000000},"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,10]]},"DOI":"10.1016\/s0950-7051(99)00018-0","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:33:54Z","timestamp":1027636434000},"page":"317-325","source":"Crossref","is-referenced-by-count":3,"title":["Knowledge modelling for a generic refinement framework"],"prefix":"10.1016","volume":"12","author":[{"given":"R","family":"Boswell","sequence":"first","affiliation":[]},{"given":"S","family":"Craw","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0950-7051(99)00018-0_BIB1","series-title":"KADS: A Principled Approach to Knowledge Based Systems Development","year":"1993"},{"key":"10.1016\/S0950-7051(99)00018-0_BIB2","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0004-3702(94)90028-0","article-title":"Theory refinement combining analytical and empirical methods","volume":"66","author":"Ourston","year":"1994","journal-title":"Artificial Intelligence"},{"issue":"2","key":"10.1016\/S0950-7051(99)00018-0_BIB3","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF01007461","article-title":"Refinement of first-order horn-clause domain theories","volume":"19","author":"Richards","year":"1995","journal-title":"Machine Learning"},{"key":"10.1016\/S0950-7051(99)00018-0_BIB4","series-title":"Revision of Production System Rule-bases","author":"Murphy","year":"1994"},{"key":"10.1016\/S0950-7051(99)00018-0_BIB5","series-title":"Automatic Refinement of Expert System Knowledge Bases. Research Notes in Artificial Intelligence","author":"Ginsberg","year":"1988"},{"issue":"2","key":"10.1016\/S0950-7051(99)00018-0_BIB6","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1006\/ijhc.1996.0012","article-title":"Refinement complements verification and validation","volume":"44","author":"Craw","year":"1996","journal-title":"International Journal of Human\u2013Computer Studies"},{"key":"10.1016\/S0950-7051(99)00018-0_BIB7","series-title":"Automating the Refinement of Knowledge-based Systems","author":"Craw","year":"1990"},{"key":"10.1016\/S0950-7051(99)00018-0_BIB8","unstructured":"G. Palmer, S. Craw, An extensible knowledge refinement tool, Technical Report 96\/2, SCMS, Robert Gordon University, 1996."},{"issue":"6","key":"10.1016\/S0950-7051(99)00018-0_BIB9","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1109\/64.642963","article-title":"Building a composite syntax for expert system shells","volume":"12","author":"Johnson","year":"1997","journal-title":"IEEE Expert"},{"key":"10.1016\/S0950-7051(99)00018-0_BIB10","series-title":"Expert Systems: Principles and Programming","author":"Giarratano","year":"1998"},{"key":"10.1016\/S0950-7051(99)00018-0_BIB11","volume":"3","author":"Alvey","year":"1987"},{"key":"10.1016\/S0950-7051(99)00018-0_BIB12","unstructured":"P.T. Baffes, R.J. Mooney, Symbolic revision of theories with M-of-N rules, in: R. Bajcsy (Ed.), Proceedings of the 13th IJCAI Conference, Chambery, France, 1993, pp. 1135\u20131140."},{"key":"10.1016\/S0950-7051(99)00018-0_BIB13","first-page":"493","article-title":"Knowledge base refinement as improving an incorrect and incomplete domain theory","volume":"3","author":"Wilkins","year":"1990"},{"key":"10.1016\/S0950-7051(99)00018-0_BIB14","unstructured":"M.J. Pazzani, Student loan relational domain, in: UCI Repository of Machine Learning Databases [C.J. Merz, P.M. Murphy, UCI Repository of machine learning databases (http:\/\/www.ics.uci.edu\/\u223cmlearn\/MLRepository.html). Irvine, CA: University of California, Department of Information and Computer Science, 1996], 1993."},{"key":"10.1016\/S0950-7051(99)00018-0_BIB15","unstructured":"G. Palmer, Applying Krust to a new KBS tool: experience with Kappa, Technical Report 95\/9, SCMS, Robert Gordon University, October 1995."},{"key":"10.1016\/S0950-7051(99)00018-0_BIB16","series-title":"The role of test cases in automated knowledge refinement","author":"Palmer","year":"1996"},{"key":"10.1016\/S0950-7051(99)00018-0_BIB17","series-title":"Knowledge refinement to debug and maintain a tablet formulation system","author":"Craw","year":"1997"},{"key":"10.1016\/S0950-7051(99)00018-0_BIB18","unstructured":"R. Boswell, Knowledge Refinement for a Formulation System. PhD thesis, School of Computer and Mathematical Sciences, The Robert Gordon University, 1998."}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705199000180?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705199000180?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T03:21:00Z","timestamp":1555644060000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950705199000180"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,10]]},"references-count":18,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[1999,10]]}},"alternative-id":["S0950705199000180"],"URL":"https:\/\/doi.org\/10.1016\/s0950-7051(99)00018-0","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[1999,10]]}}}