{“id”：“https://openalex.org/W4309033907“，”doi“：”https://doi.org/10.1093/log.com/exac072“，”title“：”带聚合的递归规则：一个简单的统一语义“，”display_name“：”带有聚合的递推规则：一种简单的统一语义学“，”publication_year“：2022，”publiation_date“：”2022-11-14“，”ids“：{”openalex“：”https://openalex.org/W4309033907“，”doi“：”https://doi.org/10.1093/log.com/exac072“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1093/log.com/exac072“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S47057106“，”display_name“：”逻辑与计算杂志“，”issn_l“：”0955-792X“，”isn“：[”0955~792X“，“1465-363X”“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311648“，”“host_organization_name”：“牛津大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311647","https://openalex.org/P4310311648“]，”host_organization_lineage_names“：[”牛津大学“，”牛津大学出版社“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://arxiv.org/pdf/2007.13053“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”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“：false，”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_distinct_count“：1，”institutions_disting_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：4151，”currency“：”USD“，”value_USD“：4161，”provenance“：”doaj“}，”apc_payd“：null，”fwci“：0.665，”has_fulltext“：false，”cited_by_count百分位年份：{“最小”：76，“最大”：81}，“图书”：{体积：“32“，”issue“：”8“，”first_page“：”1659“，”last_page“：”1693“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9998，”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.9998，”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.9966，”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/T11303“，”“display_name”：“贝叶斯网络中的学习和推理”，“score”：0.9958，“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/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.518982}]，”concepts“：[{”id“：”https://openalex.org/C2185349，“wikidata”：https://www.wikidata.org/wiki/Q190558“，”display_name“：”否定“，”level“：2，”score“：0.7706794｝，｛”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.70052516}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.67765903}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.66171074}，{”id“：”https://openalex.org/C89497691，“wikidata”：https://www.wikidata.org/wiki/Q7981058“，”display_name“：”良好的语义“，”level“：5，”score“：0.64598686}，{”id“：”https://openalex.org/C61151141，“wikidata”：https://www.wikidata.org/wiki/Q7249983“，”display_name“：”证明语义“，”level“：5，”score“：0.645969}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.5616095}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.52854884}，{”id“：”https://openalex.org/C2776036281，“wikidata”：https://www.wikidata.org/wiki/Q48769818“，”display_name“：”约束（计算机辅助设计）“，”level“：2，”score“：0.48059058}，{”id“：”https://openalex.org/C146499914，“wikidata”：https://www.wikidata.org/wiki/Q5469969“，”display_name“：”形式语义（语言学）“，”level“：2，”score“：0.46573818}，{”id“：”https://openalex.org/C127001435，“wikidata”：https://www.wikidata.org/wiki/Q7595770“，”display_name“：”稳定模型语义“，”level“：4，”score“：0.45797962}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.41698283}，{”id“：”https://openalex.org/C2780876879，“wikidata”：https://www.wikidata.org/wiki/Q3054749“，”display_name“：”意义（存在）“，”级别“：2，”分数“：0.4153909}，{”id“：”https://openalex.org/C200065993，“wikidata”：https://www.wikidata.org/wiki/Q3954981“，”display_name“：”计算语义“，”level“：4，”score“：0.39427477}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.37357938}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.24052227}，{”id“：”https://openalex.org/C15744967，“wikidata”：https://www.wikidata.org/wiki/Q9418“，”display_name“：”心理学“，”等级“：0，”分数“：0.0}，{”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}，{”id“：”https://openalex.org/C542102704，“wikidata”：https://www.wikidata.org/wiki/Q183257“，”display_name“：”心理治疗师“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1093/log.com/exac072“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S47057106“，”display_name“：”逻辑与计算杂志“，”issn_l“：”0955-792X“，”isn“：[”0955~792X“，“1465-363X”“]，”is_oa“：false，”is_in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311648“，”“host_organization_name”：“牛津大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311647","https://openalex.org/P4310311648“]，”host_organization_lineage_names“：[”牛津大学“，”牛津大学出版社“]，”type“：”journal“｝，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/2007.13053，“pdf_url”：https://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，”is_core“：fase，”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”：“https://arxiv.org/abs/2007.13053，“pdf_url”：https://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，”is_core“：fase，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，”sustainable_development_goals“：[｛”score“：0.41，”display_name“：”优质教育“，”id“：”https://metadata.un.org/sdg/4“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：64，”referrenced_works“：【”https://openalex.org/W1487563773","https://openalex.org/W1509428113","https://openalex.org/W1511011071","https://openalex.org/W1768000531","https://openalex.org/W1968513265","https://openalex.org/W1975880448","https://openalex.org/W1976924726","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/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/W2097366413","https://openalex.org/W2099792091","https://openalex.org/W2106500031","https://openalex.org/W2107489588","https://openalex.org/W2111353076","https://openalex.org/W2113644983","https://openalex.org/W2151485489","https://openalex.org/W2155996966","https://openalex.org/W2171987376","https://openalex.org/W2260928372","https://openalex.org/W2473447172","https://openalex.org/W2523273910","https://openalex.org/W2557780633","https://openalex.org/W2562091408","https://openalex.org/W2602753196","https://openalex.org/W2725233680","https://openalex.org/W2733732676","https://openalex.org/W2894189715","https://openalex.org/W2911497883","https://openalex.org/W2911601159","https://openalex.org/W2912258941","https://openalex.org/W2913032347","https://openalex.org/W2942176634","https://openalex.org/W2948906765","https://openalex.org/W2950923141","https://openalex.org/W2962822920","https://openalex.org/W2963037560","https://openalex.org/W2963165327","https://openalex.org/W2963222651","https://openalex.org/W2964250337","https://openalex.org/W2980569716","https://openalex.org/W2982276314","https://openalex.org/W3030774843","https://openalex.org/W3101449588","https://openalex.org/W3104034370","https://openalex.org/W3104110719","https://openalex.org/W3158896062","https://openalex.org/W4212881215","https://openalex.org/W4231016000","https://openalex.org/W4243228837","https://openalex.org/W4254084324","https://openalex.org/W4309416381","https://openalex.org/W4376598721“]，”related_works“：[”https://openalex.org/W91938043","https://openalex.org/W2950641724","https://openalex.org/W2755706355","https://openalex.org/W2415302829","https://openalex.org/W2109790275","https://openalex.org/W2081930115","https://openalex.org/W1990759781","https://openalex.org/W1626176828","https://openalex.org/W1572426677","https://openalex.org/W144630327“]，”ngrams_url“：”https://api.openalex.org/works/W4309033907/ngrams“，”abstract_inverted_index“：｛”abstract“：[0]，”Complex“：[1]，”推理“：[2]，”problems“：[3]，”are“：[4]，”most“：[5516]，”clearly“：[6]，”and“：[7,22,59，82106145152]，”easy“：[8]，”specified“：[9]，”using“：[10,87]，”logic“：[11]，”rules“：[12]，”but“：[13]，”require“：[14]，”recursive“：[15,5 0,63]，“规则”：[16,32,51,64]，“与”：[17,52,65108]，“聚合“：[18,85119]，”例如“：[19,31]，”作为“：[20]，”计数“：[21]，”总和“：[23]，”用于“：[24,49,62]，”实用“：[25]，”应用程序。“：[26]，”不幸的是，“：[27]，”the“：[28，55，76，98104131154165]，”意为“：[29]，”of“：[30，75，97103142]，”has“：[33]，”been“：[34]，”a“：[35，46，94139]，”重大“：[36]，”挑战“：[37]，”领先“：[38]，”to“：[39，71121438]，”many“：[40]，”不同意“：[41]，”语义。“：[42110]，”This“：[43]，”paper“：[44]，”descriptions“：[45]，”unified“：[47,56]，”semantics“：[48,58,61105137149]，”aggregation“：[53]，”extending“：[54]，”founded“：[57]，”constraint“：[60]，”negation“。“：[66]，”The“：[67]，”key“：[68]，”idea“：[69]，”is“：[70150]，”support“：[72]，”simple“：[73,89151]，”expression“：[74]，”difference“：[77,80]，”subsidents“：[78]，”underved“：[79]，”semantics“：+81,99]，”orthogonally“：[83]，”interlate“：+84]，”operations“：[86]，”their“：[88]，”usual“:[90]，”meansing。“：[91]，“We”：[92133]，“present”：[93114]，“formal”：[95]，“definition”：[96]，“prove”：[100]，“important”：[101]，“properties”：[102]，“compare”：%107]，“prior”：[109]，“In”：%11]，“specific”：[112]，“We”：[C13127161]，“an”：[115]，“efficient”：[116]，“inference”：117]，“over”：[118173]，“that”：[12147]，“给出”：[121]，“精确”：[122]，“答案”：[123]，“全部”：[125158]，“示例“：[126]，“have”：[128]，“studed”：[129]，“from”：[130]，“literature”。“：[132]，”也“：[134]，”应用“：[135]，”我们的“：[136148]，”宽“：[140]，”范围“：[141]，”挑战“：[143167]，”示例，“：[144168]，”显示“：[146]，”匹配“：[153]，”期望“：[155]，”结果“：[156]，”in“：[157]，”案例。“：[159]，”最后，“：[160]，”描述“：[162]，”实验“：[163]，”开启“：[164]，”展示“：[169]，”意外“：[170]，”高级“：[171]，”性能“：[172]，”已知“：[174]，”系统“：[175]，”当“：[176]，”它们“：[177]，”可以“：[178]，”计算“：[179]，”正确“：[180]，”回答。“：[181]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4309033907“，”counts_by_year“：[{“年份”：2024，”cited_by_count“：1}，{“年度”：2023，”cited_by_count”：1}]，”updated_date“：”2024-06-28T03:06:26.511092“，”created_date:“2022-11-21”}“