{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T16:21:38Z","timestamp":1725639698350},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540518389"},{"type":"electronic","value":"9783642751820"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-3-642-75182-0_50","type":"book-chapter","created":{"date-parts":[[2011,12,6]],"date-time":"2011-12-06T04:49:27Z","timestamp":1323146967000},"page":"516-526","source":"Crossref","is-referenced-by-count":1,"title":["Validation Methods and Tools for Knowledge-Based Systems (Valid)"],"prefix":"10.1007","author":[{"given":"R.","family":"L\u00f3pez de M\u00e1ntaras","sequence":"first","affiliation":[]},{"given":"P. F.","family":"Kerdiles","sequence":"additional","affiliation":[]},{"given":"H.","family":"Larsen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"50_CR1","volume-title":"Measuring Quality of Concept Descriptions","author":"F Bergadano","year":"1988","unstructured":"F. Bergadano, S. Matwin, R.S. Michalski, J. Zhang Measuring Quality of Concept Descriptions. Proc. 3th European Working Session on Learning, Turing Institute, Glasgow, October 1988."},{"key":"50_CR2","unstructured":"G. Edin, P. Rooke, T. Rangecroft, J. Breuker, F. Hayes. Task J1: The KADS Handbook (CSI-J1 -HB-001) Esprit project 1098: A Methodology for the Development of Knowledge-Based Systems."},{"key":"50_CR3","unstructured":"A. Ginsberg, S. Weiss SEEK2: a generalized approach to automatic knowledge base refinement. IJCAI-85, p. 367\u2013374."},{"key":"50_CR4","volume-title":"Artificial Intelligence","author":"A Ginsberg","year":"1988","unstructured":"A. Ginsberg Metalinguistic refinement of expert system knowledge bases Artificial Intelligence, Pitman Publ. (1988)"},{"key":"50_CR5","first-page":"585","volume-title":"Proceedings AAAI","author":"A Ginsberg","year":"1988","unstructured":"A. Ginsberg Knowledge-Base Reduction: a new approach to checking knowledge bases for inconsistency and redundancy Proceedings AAAI 1988, 585\u2013589."},{"issue":"4","key":"50_CR6","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"2","author":"TJ MacCabe","year":"1984","unstructured":"TJ. MacCabe A complexity measure IEE transactions on software engineering, volume2, number 4, December 1984, pp. 308\u2013320.","journal-title":"IEE transactions on software engineering"},{"key":"50_CR7","first-page":"67","volume-title":"Knowledge Base Verification","author":"TA Nguyen","year":"1987","unstructured":"T.A. Nguyen, W.A. Perkins, T.J. Laffey, D. Pecora Knowledge Base Verification AI Magazine, summer 1987, pp. 67\u201375."},{"key":"50_CR8","first-page":"15","volume-title":"Detection d\u2019incoherences et d\u2019incompletitudes dans les bases de regies: le systeme INDE","author":"E Pipard","year":"1988","unstructured":"E. Pipard Detection d\u2019incoherences et d\u2019incompletitudes dans les bases de regies: le systeme INDE. Proceedings AVIGNON 1988, 15\u201333."},{"key":"50_CR9","first-page":"79","volume-title":"proc. 8 Journ\u00e9es Internationales Avignon","author":"MC Rousset","year":"1988","unstructured":"M.C. Rousset On teh Consistency of Knowledge Bases: The COVADIS System proc. 8 Journ\u00e9es Internationales Avignon, 1988, pp. 79\u201384."}],"container-title":["Informatik-Fachberichte","Wissensbasierte Systeme"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-75182-0_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T02:36:34Z","timestamp":1606271794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-75182-0_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540518389","9783642751820"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-75182-0_50","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1989]]}}}