{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{-“日期部分”:[[2024,9,9]],“日期时间”:“2024-09-09T14:02:18Z”,“时间戳”:1725890538708},“出版商位置”:“柏林,海德堡”,“参考计数”:21,“出版者”:“施普林格-柏林-海德堡“,”isbn-type“:[{”类型“:“打印”,“值”:“979”83540874805“},{”类型“:“电子”,“值”:“9783540874812”}],“内容域”:{“域”:[],“交叉标记限制”:false},“短容器标题”:[],“DOI”:“10.1007\/978-3-540-87481-2_7”,“类型”:“书籍章节”,“创建的”:{“日期部分”:[[2008,8,13]],“日期时间”:“2008-08-13T23:30:46Z”,“时间戳”:1218670246000},“页面”:“98-112”,“来源”:“Crossref”,“由计数引用“:4,“title”:[“Towards Machine Learning of Grammars and Compilers of Programming Languages”],“prefix”:“10.1007”,“author”:[{“given”:“Keita”,“family”:“Imada”,”sequence“:”first“,”affiliation“:[]},{“given”:“Katsuhiko”,《family》:“Nakamura”,“sequence”:“additional”,“affiliance”:[]]}],“member”:“297”,“reference”:[{“volume-title”:“解析、翻译和编译理论”,“年份”:“1972年”,“作者”:“A.V.Aho”,“key”:“7_CR1”,《非结构化》:“Aho,A.V.,Ullman,J.E.:解析、翻译与编译理论。Prentice-Hall,Englewood Cliffs(1972)”},{“key“:”7_CR2“series-title”:“人工智能课堂笔记”,“doi-asserted-by”:“出版商”,“首页”:“227”,“DOI”:“10.1007\/11872436_19”,“volume-title”:“语法推理:算法和应用”,“author”:“A.Clark”,“year”:“2006”,“unstructured”:“Clark,A.:确定性转导的大规模推理:Tenjinno问题1。收录人:Sakakibara,Y.、Kobayashi,S.、Sato,K.、Nishino,T.、Tomita,E.(编辑)ICGI 2006。LNCS(LNAI),第u00a04201卷,第227\u2013239页。Springer,Heidelberg(2006)“},{”key“:”7_CR3“,”series-title“:”人工智能课堂讲稿“,”doi-asserted-by“:”publisher“,”first page“:“44”,”doi“:”10.1007\/3-540-48751-4_6“,”volume-title“:“归纳逻辑编程”,”author“:”I.Bratko“,“year”:“1999”,“unstructured”:“Bratko,I.:在ILP中完善完全假设。收录:D\u017eeroski,S.,Flach,P.A.(eds.)ILP 1999。LNCS(LNAI),第u00a01634卷,第44\u201359页。Springer,Heidelberg(1999)“},{“key”:“7_CR4”,“doi-asserted-by”:“crossref”,“unstructured”:“Cussens,J.,Pulman,S.:将语言约束纳入归纳逻辑编程。In:Proc.CoNLL 2000和LLL 2000,pp.184\u2013193人工智能课堂讲稿”,“doi-asserted-by”:“publisher”,“first page”:“201”,“doi”:“10.1007\/11872436_17”,“volume-title”:“语法推理:算法和应用”,“author”:“A.Dubey”,“year”:“2006”,“unstructured”:“Dubey,A.,Jalote,P.,Aggarwal,S.K.:推断编程语言方言的语法规则。收录人:Sakakibara,Y.、Kobayashi,S.、Sato,K.、Nishino,T.、Tomita,E.(编辑)ICGI 2006。LNCS(LNAI),第u00a04201卷,第201\u2013213页。Springer,Heidelberg(2006)“},{”key“:”7_CR6“,”series-title“:”人工智能课堂讲稿“,”doi-asserted-by“:”publisher“,”first page“:“214”,”doi“:”10.1007\/978-3-540-73847-3_24“,”volume-title“:“归纳逻辑编程”,“author”:“D.C.Fredouille”,“year”:“2007”,“unstructured”:“Fredouille,D.C.等人:生物语法学习的ILP精炼算子。收录:Muggleton,S.、Otero,R.、Tamaddoni-Nezhad,A.(编辑)ILP 2006。LNCS(LNAI),第u00a04455卷,第214\u2013228页。Springer,Heidelberg(2007)“},{“key”:“7_CR7”,“nonstructured”:“de la Higuera,C.,Oncina,J.:学习上下文无关语言,PASCAL模式分析,静态模型和计算学习,第28页(2004),http:\/\/eprints.PASCAL network.org/archive\/000000061/”},{“volume title”:“自动机理论、语言和计算导论”,“year”:“1979年”,“作者”:“J.E.Hopcroft”,“key”:“7_CR8”,“非结构化”:“Hopcroff,J.E.,Ullman,J.E.:自动机理论、语言和计算导论。Addison-Wesley,Reading(1979)“},{“volume-title”:“问题解决的逻辑”,“year”:“1979”,“author”:“R.Kowalski”,“key”:“7_CR9”,“unstructured”:“Kowalsli,R.:问题解决的逻辑学。North-Holland,Amsterdam(1979)”},}“key“:”7_CR10“,“doi-asserted-by”:“publisher”,“first-page”:“245”,“doi”:“10.1007\/BF03037227”,“volume”:”13“,”作者“:”S。麻格尔顿”,“年份”:“1995年”,“非结构化”:“麻格尔顿,S.:反向牵制和编程。新一代计算\u00a013245\u2013286(1995)“,“journal-title”:“新一代计算机”},{“key”:“7_CR11”,“series-title”:《人工智能讲义》,“doi-asserted-by”:“publisher”,“first page”:《41》,“doi”:“10.1007\/3-540-46148-5_5”,“volume-title“人工智能:方法、系统和应用”,“author”:“A。Monsifrot,“年份”:“2002年”,“非结构化”:“Monsifrom,A.,Boodin,F.,Quiniou,R.:自动生成编译器启发式的机器学习方法。收录人:Scott,D.(编辑)AIMSA 2002。LNCS(LNAI),第u00a02443卷,第41\u201350页。Springer,Heidelberg(2002)“},{“key”:“7_CR12”,“unstructured”:“Moura,P.:定冠词语法规则,ISO\/IEC DTR 13211-3(2006)”},},“key“:”7_CR13“,”doi-asserted-by“:”publisher“,”first page“:“1384”,“doi”:“10.1016\/j.patcog.2005.01.004”,“volume”:”38“,”author“:”K.Nakamura“,”year“:”2005“,”unstructure“:”Nakamura,K.,Matsumoto,M.:基于自下而上分析和搜索的上下文无关语法的增量学习。模式识别\u00a0381384\u20131392(2005)“,”期刊标题“:”模式识别“},{“key”:“7_CR14”,“series-title”:“人工智能课堂讲稿”,“doi-asserted-by”:“publisher”,“first page”:”72“,“doi”:“10.1007\/11872436_7”,“volume-title”:”语法推理:算法与应用“,”作者“K.Nakamura”,“年份”:“2006”,“非结构化”:“Nakamura,K.:通过桥接规则生成和半最优规则集对上下文无关语法进行增量学习。收录人:Sakakibara,Y.、Kobayashi,S.、Sato,K.、Nishino,T.、Tomita,E.(编辑)ICGI 2006。LNCS(LNAI),第u00a04201卷,第72\u201383页。Springer,Heidelberg(2006)“},{”key“:”7_CR15“,”doi-asserted-by“:”crossref“,”doi“:”10.1007\/3-540-62927-0“,“volume-title”:“归纳逻辑程序设计的基础”,“author”:“S.H.Nienhuys-Cheng”,“year”:“1997”,“unstructured”:“Nienhuys Cheng,S.H.,de Wolf,R.:归纳逻辑程序的基础。Spring,Heidenberg(1997)”},},“key”:“7_CR16“,”doi-asserted-by“:”publisher“,”first page“:”231“,”doi“:”10.1016\/0004-3702(80)90003-X“,”volume“:“13”,”author“:”F.Pereira“,”year“:”1980“,”unstructured“:”Pereira,F.,Warren,D.H.D.:语言分析的定冠词语法:形式主义的调查以及与增强转换网络的比较。熟练工人。人工智能\u00a013231\u2013278(1980)“,”新闻标题“:”Jour。人工智能“},{”key“:”7_CR17“,”doi-asserted-by“:”crossref“,”first page“:“313”,”doi“:”10.1007\/BF03037572“,”volume“::”19“,”author“:”B.J.Ross“,”year“:”2001“,”unstructured“:”Ross,B.J.:基于逻辑的遗传编程与定子句翻译语法。新一代计算\u00a019,313\u2013337(2001)“,”journal-title“:”新一代计算“},{”key“:”7_CR18“,”doi-asserted-by“:”publisher“,”first page“:“15”,“doi”:“10.1016\/S0304-3975(97)00014-5”,“volume”:“185”,“author”:“Y.Sakakibara”,“year”:“1997”,“unstructured”:“Sakaki巴拉,Y.:语法推理的最新进展。理论计算机科学\u00a0185,15\u201345(1997)”,“journal-title”:“”理论计算机科学“},{”key“:”7_CR19“,”series-title“:”人工智能课堂讲稿“,”doi-asserted-by“:”crossref“,”first page“:“16”,“doi”:“10.1007\/978-3-540-30195-0_3”,“volume-title”:“语法推理:算法与应用”,“author”:“B.Starkie”,“year”:“2004”,“unstructured”:“Starkie,B.,Coste,F.,van Zaanen,M.:Ompalos上下文自由语法学习竞赛。收录:Paliouras,G.,Sakakibara,Y.(编辑)ICGI 2004。LNCS(LNAI),第u00a03264卷,第16\u201327页。Springer,Heidelberg(2004)“},{“key”:“7_CR20”,“series title”:“人工智能讲义”,“doi断言”:“publisher”,“首页”:“214”,“doi”:“10.1007\/1187236_18”,“volume title”:“语法推理:算法与应用”,“author”:“B.Starkie”,“year”:“2006”,“nonstructured”:“Starkie,B.,van Zaanen,M.,Estival,D.:Tenjinno机器翻译竞赛。收录人:Sakakibara,Y.、Kobayashi,S.、Sato,K.、Nishino,T.、Tomita,E.(编辑)ICGI 2006。LNCS(LNAI),第u00a04201卷,第214\u2013226页。Springer,Heidelberg(2006)“},{“key”:“7_CR21”,“doi-asserted-by”:“crossref”,“unstructured”:“Stephenson,M.,Martin,M.、O\u2019Relly,U.M.:元优化:用机器学习改进编译器启发法。In:Proc.of PLDI 2003,San Diego,pp.77\u201390(2003)”,“doi”:“10.1145\/7811.781141”}],“container-title”:[”计算机科学课堂讲稿”,“数据库中的机器学习和知识发现”],“原始标题”:[],“语言”:“en”,“链接”:[{“URL”:“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-87481-2_7.pdf”,“内容类型”:“未指定”,“content-version”:“vor”,“intended-application”:“相似性检查”}],“存放”:{date-parts“:[[2020,11,24]],“date-time”:“2020-11-24T02:38:16Z”,“timestamp”:1606185496000},“score”:1,“resource”:{“primary”:{“URL”:“http://\link.springer.com\/10.1007\/978-3-540-87481-2_7”},”subtitle“:[],”shorttitle“:[],”issued“:{”date-part“[null]}”,“ISBN”:[“9783540874805”,“9783540874812”],“references-count”:21,“URL”:“http:\/\/dx.doi.org/10.1007\/978-3-540-87481-2_7“,”关系“:{},”ISSN“:[”0302-9743“,”1611-3349“],”ISSN类型“:[”类型“:”打印“,”值“:”0302-9743“},”类型“:”电子“,”值“:”1611-3349“}],”主题“:[]}