{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:27Z","timestamp":1725663987376},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568049"},{"type":"electronic","value":"9783540477501"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56804-2_38","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:40:46Z","timestamp":1330256446000},"page":"405-414","source":"Crossref","is-referenced-by-count":0,"title":["Integrating machine-learning techniques in knowledge-based systems verification"],"prefix":"10.1007","author":[{"given":"Hakim","family":"Lounis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"38_CR1","unstructured":"Laurent: \u201cVers une terminologie valide pour le domaine de la validation\u201d, actes des JFVAV, pp 1\u201315, Dourdan, Avril 1992."},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"Quinlan: \u201cLearning Efficient Classification Procedures and their Application to Chess End Games\u201d, in Machine Learning: An Artificial Intelligence Approach, R.S. Michalski, J.G.Carbonell & T.M.Mitchell (Eds.), Morgan Kaufmann 1983, pp 463\u2013482.","DOI":"10.1016\/B978-0-08-051054-5.50019-4"},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"Michalski: \u201cA Theory and a Methodology of Inductive Learning\u201d, in Machine Learning: An Artificial Intelligence Approach, R.S. Michalski, J.G.Carbonell & T.M.Mitchell (Eds.), Morgan Kaufmann 1983, pp 83\u2013134.","DOI":"10.1016\/B978-0-08-051054-5.50008-X"},{"key":"38_CR4","first-page":"239","volume":"5","author":"Quinlan","year":"1990","unstructured":"Quinlan: \u201cLearning Logical Definitions from Relations\u201d, in Machine Learning Journal, 5, pp 239\u2013266, 1990.","journal-title":"Machine Learning Journal"},{"key":"38_CR5","unstructured":"Bisson: \u201cConceptual Clustering in a First-Order Logic Representation\u201d, Proceeding of 10th ECAI, Vienna 1992."},{"key":"38_CR6","unstructured":"Nguyen & al.: \u201cChecking an Expert System Knoweldge Base for consistency and completeness\u201d, IJCAI 1985, pp 375\u2013379."},{"key":"38_CR7","unstructured":"Rousset: \u201cOn the Consistency of Knowledge Bases: The COVADIS System\u201d, ECAI 1988, pp 79\u201384."},{"key":"38_CR8","unstructured":"Loiseau: \u201cValidation, acquisition et mise au point interactive des BC: le syst\u00e8me COCO-X fond\u00e9 sur la coh\u00e9rence\u201d, th\u00e8se de doctorat, univerist\u00e9 de Paris-Sud, 1990."},{"key":"38_CR9","unstructured":"Ayel: \u201cD\u00e9tection d'incoh\u00e9rences dans les bases de connaissances: SACCO\u201d, th\u00e8se d'\u00e9tat, Chambery, 1987."},{"key":"38_CR10","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0004-3702(84)90024-9","volume":"22","author":"Politakis","year":"1984","unstructured":"Politakis & et. al.: \u201cUsing Empirical Analysis to Refine E.S Knowledge Bases\u201d, Artificial Intelligence 22, pp 23\u201348, 1984.","journal-title":"Artificial Intelligence"},{"key":"38_CR11","unstructured":"Wilkins: \u201cKnowledge base refinement using apprenticeship learning techniques. In Proceedings of the 7th National Conference on Artificial Intelligence, pp 646\u2013651, St. Paul, MN, August 1988."},{"key":"38_CR12","doi-asserted-by":"crossref","unstructured":"Danyluk: \u201cFinding new rules for incomplete theories: explicit biases for induction with contextual information\u201d. In proceedings of the 6th International Workshop on Machine Learning, pp 34\u201336, Ithaca, NY, June 1989.","DOI":"10.1016\/B978-1-55860-036-2.50014-X"},{"key":"38_CR13","volume-title":"PhD thesis","author":"Whitehall","year":"1990","unstructured":"Whitehall: \u201cKnowledge-Based Learning: An Integration of Deductive and Inductive Learning for Knowledge Base Completion\u201d, PhD thesis, University of Illinois, Urbana, IL, October 1990."},{"issue":"2","key":"38_CR14","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1023\/A:1022652016863","volume":"4","author":"Flann","year":"1989","unstructured":"Flann & Dietterich: \u201cA study of explanation-based methods for inductive learning\u201d. Machine Learning, 4 (2), pp 187\u2013226, 1989.","journal-title":"Machine Learning"},{"key":"38_CR15","doi-asserted-by":"crossref","unstructured":"Mooney & Ourston: \u201cInduction over the unexplained: Integrated learning of concepts with box explainable and conventional aspects\u201d. In proceedings of the 6th International Workshop on Machine Learning, pp 5\u20137, Ithaca, NY, June 1989.","DOI":"10.1016\/B978-1-55860-036-2.50005-9"},{"key":"38_CR16","unstructured":"Cohen: \u201cLearning from textbook knowledge: A case study. In proceedings of the 8th National Conference on Artificial Intelligence, pp 743\u2013748, Boston, MA, July 1990."},{"key":"38_CR17","doi-asserted-by":"crossref","unstructured":"Mitchell & al.: \u201cEBL: An Unifying View\u201d, ML Journal, vol 1, number 1, Kluwer Academic Publishers, 1986, pp 47\u201380.","DOI":"10.1007\/BF00116250"},{"key":"38_CR18","doi-asserted-by":"crossref","unstructured":"Cohen: \u201cAbductive Explanation-Based Learning: A Solution to the multiple Inconsistent Explanation Problem\u201d, in Machine Learning Journal, Vol 8, number 2, March 1992.","DOI":"10.1007\/BF00992863"},{"key":"38_CR19","unstructured":"Rajamoney & DeJong: \u201cThe Classification, Detection and Handling of Imperfect Theory Problems\u201d, IJCAI 1987, pp 205\u2013207."},{"key":"38_CR20","unstructured":"Matwin & Plante: \u201cA Deductive-Inductive Method For Theory Revision\u201d, IWML 1991, pp 160\u2013174."}],"container-title":["Lecture Notes in Computer Science","Methodologies for Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56804-2_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:07Z","timestamp":1605647167000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56804-2_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568049","9783540477501"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-56804-2_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}