Pub Date : 1989-10-01DOI: 10.1007/3-540-51734-0_62
Peter A. Flach
{"title":"Second-order Inductive Learning","authors":"Peter A. Flach","doi":"10.1007/3-540-51734-0_62","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_62","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"334 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115272403","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1989-10-01DOI: 10.1007/3-540-51734-0_60
Gunther Sablon, L. D. Raedt, M. Bruynooghe
{"title":"Generalizing Multiple Examples in Explanation Based Learning","authors":"Gunther Sablon, L. D. Raedt, M. Bruynooghe","doi":"10.1007/3-540-51734-0_60","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_60","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131883759","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1989-10-01DOI: 10.1007/3-540-51734-0_71
N. Chuzhanova
{"title":"Inductive Synthesis of Programs for Symbolic Sequences Processing","authors":"N. Chuzhanova","doi":"10.1007/3-540-51734-0_71","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_71","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133370591","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1989-10-01DOI: 10.1007/3-540-51734-0_72
Guntis Barzdins
{"title":"Inductive Synthesis of Encoding for Algebraic Abstract Data Types","authors":"Guntis Barzdins","doi":"10.1007/3-540-51734-0_72","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_72","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117001013","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1989-10-01DOI: 10.1007/3-540-51734-0_64
Manfred Kerber
{"title":"Some Aspects of Analogy in Mathematical Reasoning","authors":"Manfred Kerber","doi":"10.1007/3-540-51734-0_64","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_64","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131332784","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1989-10-01DOI: 10.1007/3-540-51734-0_51
Y. Kodratoff, M. Franová, D. Partridge
{"title":"Why and How Program Synthesis?","authors":"Y. Kodratoff, M. Franová, D. Partridge","doi":"10.1007/3-540-51734-0_51","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_51","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"102 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131349528","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 1989-10-01DOI: 10.1007/3-540-51734-0_52
M. Bruynooghe, D. D. Schreye
{"title":"Some Thoughts on the Role of Examples in Program Transformation and its Relevance for Explanation-based Learning","authors":"M. Bruynooghe, D. D. Schreye","doi":"10.1007/3-540-51734-0_52","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_52","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122075468","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}