{“id”：“https://openalex.org/W3044562230“，”doi“：”https://doi.org/10.1007/978-3-030-93100-1_11“，”title“：”带聚合的递归规则：简单统一语义“，”display_name“：”带有聚合的递归规律：简单统一语义学“，”publication_year“：2021，”publiation_date“：”2021-12-16“，”ids“：{”openalex“：”https://openalex.org/W3044562230“，”doi“：”https://doi.org/10.1007/978-3-030-93100-1_11“，”mag“：”3044562230“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-93100-1_11“，”pdf_url“：空，”源“：{”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/P4310319965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：http://arxiv.org/pdf/2007.13053“，”any_repository_has_fulltext“：true｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A5068274526“，”display_name“：”Yanhong A.Liu“，”orcid“：”https://orcid.org/0000-0002-5742-6489}，“机构”：[{“id”：https://openalex.org/I59553526“，”display_name“：”石溪大学“，”ror“：”https://ror.org/05qghxh33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I59553526“]}]，”国家“：[”美国“]，”is_corresponding“：true，”raw_author_name“：”Yanhong A.Liu“，”raw _ afiliation_strings“：[“美国石溪大学计算机科学系，石溪”]，”affiliations“：[{”raw_ afiliation _string“：”美国石溪州立大学计算机科学学院，石溪，“institution_ids”：[“https://openalex.org/I59553526“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5021474885“，”display_name“：”Scott D.Stoller“，”orcid“：”https://orcid.org/0000-0002-8824-6835}，“机构”：[{“id”：https://openalex.org/I59553526“，”display_name“：”石溪大学“，”ror“：”https://ror.org/05qghxh33“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I59553526“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Scott D.Stoller“，”raw_affiliation_strings“：[“美国石溪大学计算机科学系，石溪”]，”affiliations“：[{”raw_affiliation_string“：”美国石溪州立大学计算机科学学院，石溪，“institution_ids”：[“https://openalex.org/I59553526“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5068274526“]，”对应的机构ID“：[”https://openalex.org/I59553526“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”fwci“：0.511，”has_fulltext“：false，”cited_by_count“：2，”cited_by_percentile_year“：{“min”：72，“max”：77}，“biblio”：{“volume”：null、“issue”：null，“first_page”：“156”，“last_page”：“179”}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9999，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9999，”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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9982，”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/T11596“，”“display_name”：“分布式约束优化问题和算法”，“score”：0.9981，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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/temporal-reasoning（https://openalex.org/keywords/temporal-reasoning）“，”display_name“：”时间推理“，”score“：0.55274}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.533148}，{”id“：”https://openalex.org/keywords/spacial-reasoning网站“，”display_name“：”Spatial Reasoning“，”score“：0.52393}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.512018}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.501499}]，”concepts“：[{”id“：”https://openalex.org/C2185349，“wikidata”：https://www.wikidata.org/wiki/Q190558“，”display_name“：”Negation“，”level“：2，”score“：0.7506734}，{”id“：”https://openalex.org/C61151141，“wikidata”：https://www.wikidata.org/wiki/Q7249983“，”display_name“：”证明语义“，”level“：5，”score“：0.6764137}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.6593895}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.6461203}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.6329619}，{”id“：”https://openalex.org/C89497691，“wikidata”：https://www.wikidata.org/wiki/Q7981058“，”display_name“：”有充分依据的语义“，”level“：5，”score“：0.6105122｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5008099}，{”id“：”https://openalex.org/C146499914，“wikidata”：https://www.wikidata.org/wiki/Q5469969“，”display_name“：”形式语义（语言学）“，”level“：2，”score“：0.49730065}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.4957932}，{”id“：”https://openalex.org/C127001435，“wikidata”：https://www.wikidata.org/wiki/Q7595770“，”display_name“：”稳定模型语义“，”level“：4，”score“：0.45627704}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4556059}，{”id“：”https://openalex.org/C2776036281，“wikidata”：https://www.wikidata.org/wiki/Q48769818“，”display_name“：”约束（计算机辅助设计）“，”level“：2，”score“：0.4526928}，{”id“：”https://openalex.org/C150607116，“wikidata”：https://www.wikidata.org/wiki/Q4677421“，”display_name“：”动作语义“，”level“：5，”score“：0.45028928}，{”id“：”https://openalex.org/C200065993，“wikidata”：https://www.wikidata.org/wiki/Q3954981“，”display_name“：”计算语义“，”level“：4，”score“：0.42882943}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.3601187}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”Mathematics“，”level“：0，”score“：0.25131544｝，｛”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-030-93100-1_11“，”pdf_url“：空，”源“：{”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”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://arxiv.org/abs/2007.13053，“pdf_url”：http://arxiv.org/pdf/2007.13053，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://arxiv.org/abs/2007.13053，“pdf_url”：http://arxiv.org/pdf/2007.13053，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：56，“refernced_works”：[”https://openalex.org/W1487563773","https://openalex.org/W1509428113","https://openalex.org/W1511011071","https://openalex.org/W1540263588","https://openalex.org/W1768000531","https://openalex.org/W1968513265","https://openalex.org/W1975880448","https://openalex.org/W1984715534","https://openalex.org/W1988666619","https://openalex.org/W2003531456","https://openalex.org/W2004414305","https://openalex.org/W2006396461","https://openalex.org/W2011124182","https://openalex.org/W2016531106","https://openalex.org/W2029702617","https://openalex.org/W2042629502","https://openalex.org/W2043182143","https://openalex.org/W2044701300","https://openalex.org/W2057947069","https://openalex.org/W2063061546","https://openalex.org/W2064864283","https://openalex.org/W2093089155","https://openalex.org/W2094818741","https://openalex.org/W2097366413","https://openalex.org/W2099792091","https://openalex.org/W2106500031","https://openalex.org/W2107489588","https://openalex.org/W2111353076","https://openalex.org/W2145067417","https://openalex.org/W2151485489","https://openalex.org/W2155996966","https://openalex.org/W2162832844","https://openalex.org/W2171987376","https://openalex.org/W2473447172","https://openalex.org/W2562091408","https://openalex.org/W2725233680","https://openalex.org/W2733732676","https://openalex.org/W2894189715","https://openalex.org/W2911601159","https://openalex.org/W2942176634","https://openalex.org/W2948906765","https://openalex.org/W2950923141","https://openalex.org/W2962822920","https://openalex.org/W2962969935","https://openalex.org/W2963037560","https://openalex.org/W2963165327","https://openalex.org/W2963222651","https://openalex.org/W2964250337","https://openalex.org/W2973251466","https://openalex.org/W2982276314","https://openalex.org/W2995445566","https://openalex.org/W3030774843","https://openalex.org/W3101449588","https://openalex.org/W3104034370","https://openalex.org/W3104110719","https://openalex.org/W4212881215“]，”related_works“：[”https://openalex.org/W61858522","https://openalex.org/W4309033907","https://openalex.org/W4287705001","https://openalex.org/W34897425","https://openalex.org/W3044562230","https://openalex.org/W2950641724","https://openalex.org/W2084921023","https://openalex.org/W2043182143","https://openalex.org/W1990759781","https://openalex.org/W1504969661“]，”ngrams_url“：”https://api.openalex.org/works/W3044562230/ngrams网站“，”abstract_inverted_index“：｛”复杂“：[0]，”推理“：[1]，”问题“：[2]，”are“：[3]，”most“：[4148]，”clearly“：[5]，”and“：[6，21，58，81104143]，”easy“：[7]，”specified“：[8]，”using“：[9，86]，”logic“：[10]，”rules“：[11]，”but“：[12]，”require“：[13]，”recursive“：[14，49，62]，”rules“：[15,31,50,63]，“与”：[16,51,64106]，“聚合”：[17,81417]，“这样”：[18,30]，“如“：[19]，”计数“：[20]，”总和“：[22]，”对于“：[23,48,61]，”实际“：[24]，”应用程序。“：[25]，”“不幸，”：[26]，“the”：[27,54,75,96102129147]，“meansing”：[28]，“of”：[29,74,95101140]，“has”：[32]，“been”：[33]，“a”：[34,45137]，“significant”：[35]，“challenge”：[36]，“leading”：[3]，“to”：[38,70122136]，“many”：[39]，“differenting”：[40]，“语义。“：[41108]，”This“：[42]，”paper“：[43]，”descriptions“：[44]，”unified“：[46,55]，”semantics“：[47,57,60135]，”aggregation“：[52]，”extending“：[53]，”founded“：[56]，”constraint“：[59]，”negation“。“：[65]，”The“：[66]，”key“：[67]，”idea“：[68]，”is“：[69]，”support“：[71]，”simple“：[72,88]，”expression“：[73]，”difference“：[76,79]，”subsidents“：[77]，”undernald“：[78]，”semantics“：+80,97103]，”orthographically“：[82]，”interpreslate“：+83]，”operations“：[85]，”their“：[87]，”usual“:[89]，”meansion“。“：[90]，“We”：[91131]，“present”：[92112]，“formal”：[93]，“definition”：[94]，“prove”：[98]，“important”：/99]，“properties”：[100]，“compare”：[105]，“prior”：[107]，“In”：/109]，：[119]，“精确”：[120]，“答案”：[121]，“全部”：[123151]，“示例”：[124]，“有“：[126]，”研究“：[127]，”来自“：[128]，”文学。“：[130]，”也“：[132]，”应用“：[133]，”我们的“：[134153]，”宽“：[138]，”范围“：[139]，”挑战性“：[141149]，”示例，“：[142]，”执行“：[144]，”实验“：[145]，”on“：[146]，”ones“：[150]，”确认“：[152]，”分析“：[154]，”结果。“：[155]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3044562230“，”counts_by_year“：[{”年份“：2022，”cited_by_count“：1}，{”年“：2020，”cited_by_count”：1}]，”更新日期“：”2024-06-19T18:25:37.338088“，”创建日期“：“2020-07-29”}