{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:00:40Z","timestamp":1725627640692},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540168089"},{"type":"electronic","value":"9783642713859"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/978-3-642-71385-9_17","type":"book-chapter","created":{"date-parts":[[2011,11,2]],"date-time":"2011-11-02T06:20:41Z","timestamp":1320214841000},"page":"164-179","source":"Crossref","is-referenced-by-count":1,"title":["Learning Expert Knowledge and Theorem Proving"],"prefix":"10.1007","author":[{"given":"Yves","family":"Kodratoff","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Bollinger T. Th\u00e8se de 3\u00e8me cycle, LRI, Universit\u00e9 Paris-Sud, 1986."},{"key":"17_CR2","unstructured":"Buchanan B.G., Feigenbaum E.A., Lederberg J. \u201cA heuristic programming study of theory formation in sciences\u201d, Proceedings of the Second International Joint Conference on Artificial Intelligence, Londres 1971, pages 40\u201348."},{"key":"17_CR3","volume-title":"Pattern-directed inference systems","author":"BG Buchanan","year":"1978","unstructured":"Buchanan B.G., Mitchell T.M. \u201cModel-directed learning of production rules\u201d, in Pattern-directed inference systems,Waterman D.A. and Hayes-Roth F. eds., Academic Press, New York 1978."},{"key":"17_CR4","unstructured":"P. Brazdil, \u201cExperimental Learning Model\u201d, Proc. 3rd AISB meeting, Hamburg 1978, pp. 46\u201350."},{"key":"17_CR5","unstructured":"Bundy A., Silver B., Plummer D. \u201cAn Analytical Comparison of Some Rule Learning Programs\u201d, Univ. Edinburgh, DAI Res. paper 125, 1984."},{"key":"17_CR6","unstructured":"Cohen B., Sammut C.: \u201cProgram synthesis through concept learning\u201d. in Automatic Program Construction Techniques, Biermann A.W., Guiho G., Kodratoff Y. eds, Macmillan Publishing Company,1984, pp. 517\u2013552. Macmillan Publishing Company,1984, pp. 463\u2013482."},{"key":"17_CR7","unstructured":"E. J. F. Costa \u201cD\u00e9r\u00e9cursivation automatique en utilisant des syst\u00e8mes de r\u00e9\u00e9criture de termes\u201d, Th\u00e8se, Paris 1982. Publication Interne LRI 118."},{"key":"17_CR8","unstructured":"Dejong G., \u201cGeneralizations Based on Explanations\u201d, Proc. 7th UCAI, 1981, pp. 67\u201369."},{"key":"17_CR9","unstructured":"\u201cExplanation-Based Learning: An Alternative view\u201d, Technical Report UU.U-ENG-86\u20132208, Univ. of Illinois, 1986."},{"key":"17_CR10","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0004-3702(81)90002-3","volume":"16","author":"RS Michalski","year":"1981","unstructured":"Dietterich G.T., Michalski R.S.: \u201cInductive learning of structural descriptions: Evaluation criteria and comparative review of selected methods\u201d Artificial Intelligence Journal 16, 1981, 257\u2013294.","journal-title":"Artificial Intelligence Journal"},{"key":"17_CR11","unstructured":"Ganascia J.G. \u201cComment oublier \u00e0 l\u2019aide de contre-exemples?\u201d Actes du congr\u00e8s AFCET RFIA, Grenoble, Novembre 1985."},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1145\/359488.359503","volume":"21","author":"F Hayes-Roth","year":"1978","unstructured":"Hayes-Roth F., McDermott J.: \u201cAn interference matching technique for inducing abstractions\u201d, C. ACM 21, 1978, 401\u2013411.","journal-title":"C. ACM"},{"key":"17_CR13","first-page":"417","volume":"2","author":"Y Kodratoff","year":"1983","unstructured":"Kodratoff Y., \u201cGeneralizing and Particularizing as the Techniques of Learning\u201d, Computers and Artificial Intelligence 2, 1983, 417\u2013441.","journal-title":"Computers and Artificial Intelligence"},{"key":"17_CR14","unstructured":"Kodratoff Y., Ganascia J.-G., Clavieras B., Bollinger T., Tecuci G., \u201cCareful generalization for concept learning\u201d Proc. ECAI-84, Pisa 1984, pp. 483\u2013492. Now also available in Advances in Artificial Intelligence, T. O\u2019Shea editor, pp. 229\u2013238, North - Holland Amsterdam 1985."},{"key":"17_CR15","unstructured":"Kodratoff Y., Duval B., \u201cAutomated Deduction in an Inconsistent and Uncertain Database\u201d, Proc ECAI - 86, to appear."},{"key":"17_CR16","first-page":"215","volume-title":"Machine Learning, An Artificial Intelligence Approach","author":"Y Kodratoff","year":"1986","unstructured":"Kodratoff Y., Ganascia J.-G., \u201cImproving the Generalization Step in Learning\u201d, in Machine Learning, An Artificial Intelligence Approach,Volume 2, Michalski, R.S., Carbonell, J. G., Mitchell, T.M. (eds), Morgan-Kaufmann 1986, pp. 215\u2013244."},{"key":"17_CR17","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1016\/S0020-7373(83)80030-3","volume":"18","author":"P Langley","year":"1983","unstructured":"Langley P. \u201cLearning Search Strategies through discrimination\u201d, Int. J. Man-Machine Studies 18, 1983, 513\u2013541.","journal-title":"Int. J. Man-Machine Studies"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Lebowitz M., \u201cIntegrated Learning: Controlling Explanation\u201d, Cognitive Science 10, 1986, to appear.","DOI":"10.1207\/s15516709cog1002_5"},{"key":"17_CR19","unstructured":"Michalski R. M., Chilauski R. L. \u201cLearning by Being Told and Learning from Examples: An Experimental Comparison of the Two Methods of Knowledge Acquisition in the Context of Developing an Expert System for Soybean Disease Diagnosis\u201d, Internatl. J. of Policy Analysis and Information Systems 4, 1980."},{"key":"17_CR20","unstructured":"Michalski R. M., Davis J. H., Bisht V. S., Sinclair J. B. \u201cPLANT\/ds: An Expert Consulting System for the Diagnostic of Soybean Diseases\u201d, Proc. ECM-82, Orsay 1982, pp. 133\u2013138."},{"key":"17_CR21","first-page":"517","volume-title":"Automatic Program Construction Techniques","author":"RS Michalski","year":"1984","unstructured":"Michalski R.S., \u201cInductive Learning as Rule-guided Transformation of Symbolic Descriptions: a Theory and Implementation\u201d, in Automatic Program Construction Techniques, Biermann A.W., Guiho G., Kodratoff Y. eds, Macmillan Publishing Company, 1984, pp. 517\u2013552."},{"key":"17_CR22","unstructured":"Mitchell T.M.: \u201cLearning and Problem Solving\u201d Proc. UCAI-83, Karlsruhe 1983, pp. 1139\u20131151."},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"Mitchell T.M., Utgoff P.E., Banerji R. \u201cLearning by experimentation, acquiring and refining problem-solving heuristics\u201d,in Machine Learning, an Artificial Intelligence Approach, Michalski R.S., Carbonell J.G., Mitchell T.M. eds, Tioga Publishing Company 1983, pp. 163\u2013190, now distributed in the USA by Morgan Kaufmann and in Europe by Springer Verlag.","DOI":"10.1016\/B978-0-08-051054-5.50010-8"},{"key":"17_CR24","unstructured":"Mitchell T. M., Mahadevan S., Steinberg L. I., \u201cLeap: A Learning Apprentice for VLSI Design\u201d, Proc. UCAI-85, Los Angeles 1985, pp. 573\u2013580."},{"key":"17_CR25","first-page":"47","volume":"1","author":"Ke","year":"1986","unstructured":"Mitchell T. M., Keller R. M., Kedar-Cabelli S. T. \u201cExplanation-Based Generalization: A Unifying View\u201d, Machine Learning 1, 47\u201380, 1986.","journal-title":"Machine Learning"},{"key":"17_CR26","unstructured":"Nicolas J. \u201cLes strat\u00e9gies de contr\u00f4le dans l\u2019apprentissage \u00e0 partir d\u2019exemples\u201d, Comptes-Rendus Journ\u00e9e Fran\u00e7aise sur l\u2019Apprentissage, Rapport de Recherche LRI 259, Universit\u00e9 Paris-Sud, 1986."},{"key":"17_CR27","unstructured":"Plotkin, G.D., \u201cA Note on Inductive Generalization\u201d, in Machine Intelligence, Meltzer, B. and Michie, D. (Eds.), Americain Elsevier, New York, 1970."},{"key":"17_CR28","unstructured":"Porto A., \u201cLogical Action Systems\u201d, Proc. Logic Programming Workshop\u201983, Portugal July 1983, pp. 192\u2013203."},{"key":"17_CR29","doi-asserted-by":"crossref","unstructured":"Quinlan J. R., \u201cLearning Efficient Classification Procedures and their Application to Chess End Games\u201d in Machine Learning, An Artificial Intelligence Approach, Michalski, R.S., Carbonell, J. G., Mitchell, T.M. (Eds.), Tioga Publishing Company, 1983, pp. 463\u2013482, now distributed in the USA by Morgan Kaufmann and in Europe by Springer Verlag.","DOI":"10.1016\/B978-0-08-051054-5.50019-4"},{"key":"17_CR30","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1037\/h0042519","volume":"65","author":"F Rosenblatt","year":"1958","unstructured":"Rosenblatt F. \u201cThe perceptron: A probabilistic model for information storage and organization in the brain\u201d, Psychological Review 65, 1958, 386\u2013407.","journal-title":"Psychological Review"},{"key":"17_CR31","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1147\/rd.33.0210","volume":"3","author":"AL Samuel","year":"1959","unstructured":"Samuel A.L. \u201cSome studies in Machine Learning using the game of checkers\u201d, IBM Journal of Research and Development 3, 1959, 211\u2013229.","journal-title":"IBM Journal of Research and Development"},{"key":"17_CR32","first-page":"71","volume-title":"Computer and Thought","author":"AL Samuel","year":"1963","unstructured":"Samuel A.L. \u201c Some studies in Machine Learning using the game of checkers\u201d, in Computer and Thought, Feigenbaum E.A. et Feldman J. editeurs, McGraw-Hill New-York 1963, pp 71\u2013105."},{"key":"17_CR33","first-page":"647","volume-title":"Machine Learning, An Artificial Intelligence Approach","author":"B Silver","year":"1986","unstructured":"Silver B., \u201cPrecondition Analysis: Learning Control Information\u201d, in Machine Learning, An Artificial Intelligence Approach, Volume 2, Michalski R. S., Carbonell J. G., Mitchell T. M. eds, Morgan Kaufmann, Los Altos 1986, pp. 647\u2013670."},{"key":"17_CR34","unstructured":"Touretzky D. S., Hinton G. E. \u201cConnectionist Inference Architecture, Proc. UCAI-85, Los Angeles, 1985, pp. 238\u2013243."},{"key":"17_CR35","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0004-3702(80)90038-7","volume":"14","author":"SA Vere","year":"1980","unstructured":"Vere S.A.: \u201cMultilevel counterfactuals for generalizations of relational concepts and productions\u201d Artificial Intelligence J. 14,1980, 139\u2013164.","journal-title":"Artificial Intelligence J"},{"key":"17_CR36","unstructured":"[Ve Vere, S.A., \u201cConstrained N-to-1 Generalizations\u201d, unpublished draft, 23, Feb, 1981."},{"key":"17_CR37","unstructured":"Vrain C. \u201cContre-exemples: explications d\u00e9duites de l\u2019\u00e9tude des pr\u00e9dicats\u201d, Actes congr\u00e8s AFCET RF-IA, Grenoble 1985, pp. 145\u2013159."},{"key":"17_CR38","volume-title":"The Psychology of Computer Vision","author":"PH Winston","year":"1975","unstructured":"Winston P. H., \u201cLearning Structural Descriptions from Examples\u201d, in The Psychology of Computer Vision, Winston P.H. (eds), Ch. 5, McGraw Hill 1975."}],"container-title":["Informatik-Fachberichte","GWAI-86 und 2. \u00d6sterreichische Artificial-Intelligence-Tagung"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-71385-9_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T18:12:10Z","timestamp":1606241530000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-71385-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540168089","9783642713859"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-71385-9_17","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1986]]}}}