Pub Date : 1989-10-01DOI: 10.1007/3-540-51734-0_68
Inguna Greitane
{"title":"Probabilistic Inductive Inference of Indices in Enumerable Classes of Total Recursive Functions","authors":"Inguna Greitane","doi":"10.1007/3-540-51734-0_68","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_68","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"13 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":"123287122","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_56
R. Freivalds, Juris Viksna
{"title":"Inductive Inference up to Immune Sets","authors":"R. Freivalds, Juris Viksna","doi":"10.1007/3-540-51734-0_56","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_56","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"12 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":"115912750","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_59
S. Kurtz, Carl H. Smith
{"title":"A Refutation of Barzdins' Conjecture","authors":"S. Kurtz, Carl H. Smith","doi":"10.1007/3-540-51734-0_59","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_59","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"22 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":"124611270","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_58
O. Maler, A. Pnueli
{"title":"Learning omega-Regular Languages from Queries and Counter-Examples (A Preliminary Report)","authors":"O. Maler, A. Pnueli","doi":"10.1007/3-540-51734-0_58","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_58","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"49 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":"123745267","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_65
R. Goebel
{"title":"A Sketch of Analogy as Reasoning with Equality Hypotheses","authors":"R. Goebel","doi":"10.1007/3-540-51734-0_65","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_65","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"13 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":"132202344","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_67
D. Poetschke
{"title":"Analogical Reasoning for Second Generation Expert Systems","authors":"D. Poetschke","doi":"10.1007/3-540-51734-0_67","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_67","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"6 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120900516","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_70
Steffen Lange
{"title":"Towards a Set of Inference Rules for Solving Divergence in Knuth-Bendix Completion","authors":"Steffen Lange","doi":"10.1007/3-540-51734-0_70","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_70","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"97 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":"127380861","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_49
R. Freivalds, E. Kinber, Rolf Wiehagen
{"title":"Inductive Inference from Good Examples","authors":"R. Freivalds, E. Kinber, Rolf Wiehagen","doi":"10.1007/3-540-51734-0_49","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_49","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"101 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":"117251704","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_54
T. Yokomori
{"title":"Learning Context-Free Languages Efficiently - A Report on Recent Results in Japan","authors":"T. Yokomori","doi":"10.1007/3-540-51734-0_54","DOIUrl":"https://doi.org/10.1007/3-540-51734-0_54","url":null,"abstract":"","PeriodicalId":432322,"journal":{"name":"Analogical and Inductive Inference","volume":"290 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":"122773192","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}