{“id”：“https://openalex.org/W2008075205“，”doi“：”https://doi.org/10.1016/s0304-3975（96）00238-1“，”title“：”域理论中的默认值“，”display_name“：”领域理论中的缺省值“，“publication_year”：1997，”publication_date“：”1997-04-01“，”ids“：{”openalex“：”https://openalex.org/W2008075205“，”doi“：”https://doi.org/10.1016/s0304-3975（96）00238-1“，”mag“：”2008075205“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s0304-3975（96）00238-1“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”host_organization_name“：”爱思唯尔BV“，”host_organization_lineage“：[”https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”article“，”type_crossref“：”期刊文章“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/s0304-3975（96）00238-1“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”first“，”auther“：{”id“：”https://openalex.org/A5046662102“，”display_name“：”张国强“，”orcid“：”https://orcid.org/0000-0003-3781-6874“}，”机构“：[]，”国家“：[[]，”is_corresponding“：false，”raw_author_name“：”张国强“，”raw_affiliation_strings“：[]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5019204872“，”display_name“：”William C.Rounds“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”Williams“，”raw _affiliation_string“：[]}]，“countries_distict_count”：0，“institutions_distinact_count”：“0，”corresponding_author_ids“：[】，”correcponding_institution_ids“货币”：“USD”，“value_usd“：2690，”provenance“：”doaj“}，”apc_payed“：{”value“：2680，”currency“：”usd“，”value_usd:2690，“provenance”：“doaj”}，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：5，“citected_by_percentile_year”：{“min”：74，“max”：76}，《图书》：{卷：“177”，“发行”：“1”，“”first_page“：”155“，”last_page“：”182“}，”is_retracted“：false，”is_paratext“：false，”主主题“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9996，”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.9996，”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.9975，“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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9842，”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/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.572487}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.50658}]，”concepts“：[{”id“：”https://openalex.org/C69637215，“wikidata”：https://www.wikidata.org/wiki/Q702362“，”display_name“：”Default“，”level“：2，”score“：0.6209067}，{”id“：”https://openalex.org/C36503486，“wikidata”：https://www.wikidata.org/wiki/Q11235244“，”display_name“：”域（数学分析）“，”level“：2，”score“：0.43482617}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.42402577｝，｛”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.41872966}，{”id“：”https://openalex.org/C144133560，“wikidata”：https://www.wikidata.org/wiki/Q4830453“，”display_name“：”Business“，”level“：0，”score“：0.23291755｝，｛”id“：”https://openalex.org/C10138342，“wikidata”：https://www.wikidata.org/wiki/Q43015“，”display_name“：”Finance“，”level“：1，”score“：0.08682355}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.07309988}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s0304-3975（96）00238-1“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”host_organization_name“：”爱思唯尔BV“，”host_organization_lineage“：[”https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/s0304-3975（96）00238-1“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S90727058“，”display_name“：”理论计算机科学“，”issn_l“：”0304-3975“，”isn“：[”0304-975“，”1879-2294“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”host_organization_name“：”爱思唯尔BV“，”host_organization_lineage“：[”https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”score“：0.81，”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：10，”refernced_works“：[”https://openalex.org/W1544564247","https://openalex.org/W1991508422","https://openalex.org/W1996347293","https://openalex.org/W2031928405","https://openalex.org/W2080142817","https://openalex.org/W2139772363","https://openalex.org/W2155322595","https://openalex.org/W2945259913","https://openalex.org/W4253283415","https://openalex.org/W58546540“]，”related_works“：[”https://openalex.org/W4388409052","https://openalex.org/W3164703356","https://openalex.org/W3124386825","https://openalex.org/W3111031756","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2742773638","https://openalex.org/W2534994603","https://openalex.org/W1979597421","https://openalex.org/W1532293414“]，”ngrams_url“：”https://api.openalex.org/works/W2008075205/ngrams“，”“abstract_inverted_index”：{“This”：[0206]，“paper”：[1]，“uses”：[2]，“ideas”：[3,21,23]，“from”：[4]，“artifical”：[5]，“intelligence”：[6]，“to”：[7,28150217]，“show”：[8107161]，“how”：/9]，“default”：[10,49138182201]，“concepts”：[11]，“can”：[12130]，“be”：[131204218]，“determined”：[14]，“超过”：[15118]，“斯科特”：[16,58120197]，“域名”：[17190]，“我们“：[18,42,63140]，”组合“：[19]，”这些“：[20]，”与“：[22164]，”产生“：[24]，”在“：[25,37,44,56,65123188199]，”领域“：[26]，”理论“：[27]，”棚“：[29]，“一些”：[30]，“光”：[31]，“在”：[32115]，“属性”：[34]，“的”：[35,48,60,74,90112271 37145170210]，“非单调性”：[36]，“a”：[38,46,61119143168175192221]，“通用“：[39]，”模型理论“：[40]，”设置。“：[41]，”考虑“：[43]，”特定“：[45124]，”概念“：[47,69,89111136]，”非单调“：[50,91113172]，”蕴涵“：[51,92114202]，”介于“：[52]，”素数“：[53116]，”开放“：[54]，”集合“：[55183]，”拓扑“：[59]，”域。“：[62]，”调查“：[64]，”什么“：[66]，”方式“：[67]，”这个“：[68]，”服从“：[70]，”所谓的“：[72]，”法律“：[73]，”谨慎“：[75,78,97102128156]，”单调“：[76]，”和“：[77,86]，”切割“：[79]，”，“：[80]，”提议“：[81]，”由“：[82]，”加巴伊“：[83]，”克劳斯“：[84]，“莱曼”：[85]，“魔法师。“：[87]，“我们的”：[88]，“做”：[93100]，“不”：[94]，“必然”：[95]，“满足”：[96101]，“单调”：[98]，“但”：[99]，“剪切。“：[103]，”In“：[104158]，”fact“：[105]，”we“：[106160]，”that“：[108162]，”any“：[109]，”合理“：[110]，”open“：[117]，”domain“：[121]，”令人满意“：[122155]，”law“：[126]，”cut“：[129]，”specifically“：[132]，”represent“：[133]，”using“：[134]，”our“：[135]，”entailment“。“：[139173]，”“also”：[141]，“give”：[142]，“variety”：[144]，“sufficient”：[146]，“conditions”：[147]，“for”：[148180196]，“defaults”：[149163]，“induce”：[151]，“cumulative”：%152171]，“ents”：%153]，“these”：[154181]，“单调。“：[157]，”特别“，”：[159]，”独特“：[165186]，”扩展“：[166187]，”是“：[167]，”表示“：[169]，”此外，“：[174]，”简单“：[176]，”表征“：[177193]，”is“：[178194207215]，”给定“：[179195]，”其中“：[184200]，”确定“：[185]，”连贯“：[189]，”最后，“：191]，”域“：[198212]，”必须“：[203]，“累计。“：[205]，”class“：[209]，”daisy“：[211]，”；“：[213]，”it“：[214]，”shown“：[216]，”cartesian“：[219]，”closed“，”：[220]，“pure”：[222]，“domain-theoretic”：[223]，“result”。“：[224]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2008075205“，”counts_by_year“：[]，”updated_date“：”2024-05-27T18:40:21.619100“，”创建日期“：”2016-06-24“}