{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:43:24Z","timestamp":1725911004851},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319641607"},{"type":"electronic","value":"9783319641614"}],"license":[{"start":{"date-parts":[[2017,9,17]],"date-time":"2017-09-17T00:00:00Z","timestamp":1505606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-64161-4_5","type":"book-chapter","created":{"date-parts":[[2017,9,16]],"date-time":"2017-09-16T09:03:32Z","timestamp":1505552612000},"page":"93-105","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge Engineering of System Refinement What We Learnt from Software Engineering"],"prefix":"10.1007","author":[{"given":"Rainer","family":"Knauf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,17]]},"reference":[{"key":"5_CR1","volume-title":"Software Validation","author":"AF Ackermann","year":"1984","unstructured":"Ackermann, A.F., Fowler, P.J., Ebenau, R.G.: Software Validation. Elsevier, Amsterdam (1984)"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Adrion, W., Branstadt, M., Cherniavsky, J.: Validation, verification and testing of computer software. ACM Computing Surveys, pp. 159\u2013182 (1982)","DOI":"10.1145\/356876.356879"},{"key":"5_CR3","unstructured":"Cao, T.M., Compton, P.: A consistency-based approach to knowledge base refinement. In: Proceedings of the 18th International Florida Artificial Intelligence Research Society Conference, pp. 221\u2013225 (2005)"},{"key":"5_CR4","volume-title":"Knowledge Based Systems in Artificial Intelligence","author":"R Davis","year":"1982","unstructured":"Davis, R., Lenat, D.B.: Knowledge Based Systems in Artificial Intelligence. McGraw Hill Int. Book Company, New York (1982)"},{"key":"5_CR5","unstructured":"Djelouah, R., Duval, B., Loiseau, S.: Interactive refinement of a knowledge base. In: Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, pp. 325\u2013330 (2004)"},{"key":"5_CR6","volume-title":"Automatic Refinement of Expert System Knowledge Bases","author":"A Ginsberg","year":"1988","unstructured":"Ginsberg, A.: Automatic Refinement of Expert System Knowledge Bases. Pitman Publishing, London (1988)"},{"key":"5_CR7","unstructured":"Ginsberg, A.: Theory revision via prior operationalization. In: Proceedings of the 7th National Conference on Articial Intelligence (AAAI-88), pp. 590\u2013595 (1988)"},{"key":"5_CR8","unstructured":"Ginsberg, A.: Theory reduction, theory revision, and retranslation. In: Proceedings of the 9th National Conference on Artificial Intelligence (AAAI-90), Boston, MA, pp. 777\u2013782 (1990)"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(88)90012-4","volume":"35","author":"A Ginsberg","year":"1988","unstructured":"Ginsberg, A., Weiss, S.M., Politakis, P.: Automatic knowledge base refinement for classification systems. Artif. Intell. 35, 197\u2013226 (1988)","journal-title":"Artif. Intell."},{"key":"5_CR10","unstructured":"Knauf, R.: Inferenzmethoden. Script and slights to a course on Inference Methods, available (in German). http:\/\/www.tu-ilmenau.de\/ki\/lehre\/"},{"key":"5_CR11","unstructured":"Knauf, R.: Validating rule-based systems. A complete methodology. Aachen: Shaker, Berichte aus der Informatik, Ilmenau, Technische Universitt, Habilitationsschrift (Habilitation Thesis, in German) (2000). ISBN 3-8265-8293-4"},{"key":"5_CR12","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0888-613X(95)00035-F","volume":"13","author":"CXF Liang","year":"1995","unstructured":"Liang, C.X.F., Valtorta, M.: Refinement of uncertain rule bases via reduction. Int. J. Approx. Reason. 13, 95\u2013126 (1995)","journal-title":"Int. J. Approx. Reason."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Quinlan, J.: Learning effcient classification procedures and their application to chess end games. Michalsky et al. (eds.): Machine Learning: An Artificial Intelligence Approach, Palo Alto, CA Tioga Publishing Corp. (1983)","DOI":"10.1016\/B978-0-08-051054-5.50019-4"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Wiratunga, N., Susan Craw, S.: Incorporating backtracking in knowledge refinement. In: Vermesan \/ Coenen (eds): Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice. Proceedings of the 5th European Conference on Validation and Verication (EUROVAV 99), Boston, MA Kluwer Academic Publishers, pp. 193\u2013205 (1999)","DOI":"10.1007\/978-1-4757-6916-6_13"},{"key":"5_CR15","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/0957-4174(94)90034-5","volume":"7","author":"NP Zlatareva","year":"1994","unstructured":"Zlatareva, N.P., Preece, A.D.: State of the art in automated validation of knowledge based systems. Expert Syst. Appl. 7, 151\u2013167 (1994)","journal-title":"Expert Syst. Appl."}],"container-title":["Advances in Intelligent Systems and Computing","Synergies Between Knowledge Engineering and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64161-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T11:26:17Z","timestamp":1570101977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64161-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,17]]},"ISBN":["9783319641607","9783319641614"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64161-4_5","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2017,9,17]]}}}