{“id”：“https://openalex.org/W1488857024“，”doi“：”https://doi.org/10.1007/978-3-540-24725-8_7“，”title“：”分类器的ML-Like推理“，”display_name“：”分类程序的ML-Lake推理”，“publication_year”：2004，“publiation_date”：“2004-01-01”，“ids”：{“openalex”：“https://openalex.org/W1488857024“，”doi“：”https://doi.org/10.1007/978-3-540-24725-8_7“，”mag“：”1488857024“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-24725-8_7，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-24725-8_7.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007/978-3-540-24725-8_7.pdf“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5055733288“，”display_name“：”Cristiano Calcagno“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I47508984“，”display_name“：”伦敦帝国理工学院“，”ror“：”网址：https://ror.org/041kmwe10“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I47508984“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Cristiano Calcagno“，”raw _ afiliation_strings“：[“英国伦敦帝国理工学院”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5060518986“，”display_name“：”Eugenio Moggi“，”orcid“：”https://orcid.org/0000-0001-8018-6543}，“机构”：[{“id”：https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I83816512“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Eugenio Moggi“，”raw _ afiliation_strings“：[“DISI，Univ.of Genova，Italy”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5008976751“，”display_name“：”Walid Taha“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I74775410“，”display_name“：”莱斯大学“，”ror“：”https://ror.org/008zs3103“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I74775410“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Walid Taha“，”raw _ afiliation_strings“：[“莱斯大学，德克萨斯州，美国”]}]“countries _ distinct_count”：3，”institutions _ disting_count“：3，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，“出处”：“doaj”}，“apc_payd“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：41，”cited_by_percentile_year“：，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“｝｝，｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9941，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“｝｝，｛”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9873，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/type-in-ference网站“，”display_name“：”类型推断“，”score“：0.549672}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.533321}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.518109}，{”id“：”https://openalex.org/keywords/programming-language-semantics（https://openalex.org/keywords/programming-language-semantics）“，”display_name“：”编程语言语义“，”score“：0.516511}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.507022}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.85029763}，{”id“：”https://openalex.org/C2776214188，“wikidata”：https://www.wikidata.org/wiki/Q408386“，”display_name“：”推断“，”级别“：2，”分数“：0.7805017}，{”id“：”https://openalex.org/C95623464，“wikidata”：https://www.wikidata.org/wiki/Q1096149“，”display_name“：”分类器（UML）“，”级别“：2，”分数“：0.75051916｝，｛”id“：”https://openalex.org/C198370458，“wikidata”：https://www.wikidata.org/wiki/Q586459“，”display_name“：”类型推断“，”level“：3，”score“：0.72385025}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.6073655}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.5295908}，{”id“：”https://openalex.org/C79581498，“wikidata”：https://www.wikidata.org/wiki/Q1367530“，”display_name“：”Suite“，”level“：2，”score“：0.5222581}，{”id“：”https://openalex.org/C106135958，“wikidata”：https://www.wikidata.org/wiki/Q7291993“，”display_name“：”随机子空间方法“，”level“：3，”score“：0.43641937}，{”id“：”https://openalex.org/C204321447，“wikidata”：https://www.wikidata.org/wiki/Q30642“，”display_name“：”自然语言处理“，”level“：1，”score“：0.3844223}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.324698}，{”id“：”https://openalex.org/C166957645，“wikidata”：https://www.wikidata.org/wiki/Q23498“，”display_name“：”考古学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C95457728，“wikidata”：https://www.wikidata.org/wiki/Q309“，”display_name“：”History“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-24725-8_7，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-24725-8_7.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer Science+Business Media“]，”type“：”系列丛书“｝，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-24725-8_7，“pdf_url”：https://link.springer.com/content/pdf/10.1007/978-3-540-24725-8_7.pdf，“源”：{“id”：https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，”dataset“：【]，”versions“：【〕，”referenced_works_count“：24，”https://openalex.org/W1492943981","https://openalex.org/W1556604985","https://openalex.org/W1578672210","https://openalex.org/W1972301184","https://openalex.org/W1987203566","https://openalex.org/W1987421013","https://openalex.org/W1988177568","https://openalex.org/W1991751536","https://openalex.org/W1999500280","https://openalex.org/W2009775190","https://openalex.org/W2016076634","https://openalex.org/W2029408547","https://openalex.org/W2037575886","https://openalex.org/W2041562780","https://openalex.org/W2059019165","https://openalex.org/W2073378225","https://openalex.org/W2074674709","https://openalex.org/W2096314727","https://openalex.org/W2134291411","https://openalex.org/W2157117208","https://openalex.org/W2296536988","https://openalex.org/W2736423681","https://openalex.org/W4206013133","https://openalex.org/W4240476803“]，”related_works“：[”https://openalex.org/W4297831890","https://openalex.org/W2963764498","https://openalex.org/W2888937984","https://openalex.org/W2804371217","https://openalex.org/W2407804800","https://openalex.org/W2389865566","https://openalex.org/W2388864896网址","https://openalex.org/W2068383718","https://openalex.org/W1964832275","https://openalex.org/W1941412300“]，”ngrams_url“：”https://api.openalex.org/works/W1488857024/ngrams“，”“abstract_inverted_index”：{“Environment”：[0]，“classifiers”：[1,25,94]，“were”：[2,95102]，“proposed”：[3]，“as”：[4]，“a”：[5,54]，“new”：[6113]，“approach”：%7]，“to”：[8104]，“typeing”：[9]，“multi-stage”：[10]，“languages.”：[11]，“Safety”：[12]，“was”：[13,26,32]，“ested”：[14]，[15,33,91,97]，“the”：[16,22,27,41,46,57,78,86112]，“simply-typed”：[17]，“和“：[18,82,84,99]，”let-polymorphic“：[19]，”设置。“：[20]，”While“：[21]，”motivation“：[23]，”for“：[24,45,60,88]，”可行性“：[28]，”of“：[29,56,80]，”inference，“：[30]，”this“：[31]，”fact“：[34]，”not“：[35]，”established。“：[36]，”This“：[37，65]，”paper“：[38]，”starts“：[39]，”with“：[40]，”observation“：[42]，”that“：[43]，”推理“：[44，62]，”full“：[47]，”基于分类器“：[48]，”system“：[49，59]，”failed。“：[50]，”We“：[51]，”then“：[52]，”identified“：[53]，”subset“：[55]，”original“：[58]，”which“：[61,67]，”is“：[63]，”possible。“：[64]，”子集“：[66]，”使用“：[68]，”隐式“：[69]，”分类器“：[70]，”保留“：[71]，”重要“：[72]，”表达性“：[73]，”（例如“：[74]，”it“：[75]，”can“：[76]，”嵌入“：[77]，”calculi“：[79]，”Davies“：[81]，”Pfenning）“：[83]，”消除“：[85]，”需要“：[87]，”标识符“：[89]，“名称”：[90]，“术语”。“：[92]，“隐式”：[93]，“已实现”：[96]，“MetaOCaml”：[98]，“否”：[100]，“更改”：[101]，“需要”：[103]，“生成”：[105]，“an”：[106]，“现有”：[107]，“测试”：[108]，“套件”：[109]，“可接受”：[110]，“by”：[111]，“类型”：[114]，“检查程序”。“：[115]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1488857024“，”counts_by_year“：[{“年份”：2021，”cited_by_count“：1}，{“年度”：2017，”cited_by_count”：4}，}“年份“：2014，”citecd_by_count“：2}，”{“年”：2012，”citted_by_count“:3}]，”updated_date“：”2024-05-11T03:07:31.638601“，”created_dated“：”2016-06-24“}