{“id”：“https://openalex.org/W2189546154“，”doi“：”https://doi.org/10.1007/978-319-17822-6_16“，”title“：“具有广义原子的逻辑程序对良好语义的多项式逼近：案例研究”，”display_name“：”具有广义原子逻辑程序对健全语义的多项式近似：案例研究“，”publication_year“：2015，”publiation_date“：”2015-01-01“，”ids“：{”openalex“：”https://openalex.org/W2189546154“，”doi“：”https://doi.org/10.1007/978-319-17822-6_16“，”mag“：”2189546154“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-319-17822-6_16“，”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}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，”open_access“：{”is_oa“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5008138724“，”display_name“：”Md.Solimul Chowdhury“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I154425047“，”display_name“：”阿尔伯塔大学“，”ror“：”https://ror.org/0160cpw27“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I154425047“]}]，”国家“：[”CA“]，”is_corresponding“：true，”raw_author_name“：”Md.Solimul Chowdhury“，”raw _affiliation_strings“：[“加拿大埃德蒙顿阿尔伯塔大学计算科学系”]，”affiliations“：[{”raw _affiliation_string“：”加拿大埃德蒙敦阿尔伯塔学院计算科学系“，”institution_ids“：[https://openalex.org/I154425047“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5043237595“，”display_name“：”刘芳芳“，”兽人“：”https://orcid.org/0009-0008-2896-3622}，“机构”：[{“id”：https://openalex.org/I4210144930“，”display_name“：”保山学院“，”ror“：”https://ror.org/04t69c375“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I4210144930“]}，{”id“：”https://openalex.org/I113940042“，”display_name“：”上海大学“，”ror“：”https://ror.org/006teas31“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I113940042“]}]，”countries“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Fangfang Liu“，”raw _ afiliation_strings“：【”中国保山上海大学计算机与信息学院“】，”affiliations“：[{”raw _affiliation_strong“：”中国保善上海大学计算机和信息学院“，”institution_ids“：[“https://openalex.org/I4210144930","https://openalex.org/I113940042“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5007506428“，”display_name“：”吴晨“，”兽人“：”https://orcid.org/0000-0003-4951-6502}，“机构”：[{“id”：https://openalex.org/I142108993“，”display_name“：”西南大学“，”ror“：”https://ror.org/01kj4z117“，”country_code“：”CN“，”type“：“教育”，”世系“：[”https://openalex.org/I142108993“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”吴晨“，”raw _ afiliation_strings“：[“中国重庆西南大学计算机与信息科学学院”]，”affiliations“：[{”raw_ afiliation _string“：”中国重庆西南高校计算机与信息学院“，”institution_ids“：[https://openalex.org/I142108993“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5083682984“，”display_name“：”Arash Karimi“，”orcid“：”https://orcid.org/0000-0001-7618-094X}，“机构”：[{“id”：https://openalex.org/I154425047“，”display_name“：”阿尔伯塔大学“，”ror“：”https://ror.org/0160cpw27“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I154425047“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Arash Karimi“，”raw _affiliation_strings“：[“加拿大埃德蒙顿阿尔伯塔大学计算科学系”]，”affiliations“：[{”raw _affiliation_string“：”加拿大埃德蒙敦阿尔伯塔学院计算科学系“，”institution_ids“：]”https://openalex.org/I154425047“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5072151614“，”display_name“：”Jia-Huai You“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I154425047“，”display_name“：”阿尔伯塔大学“，”ror“：”https://ror.org/0160cpw27“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I154425047“]｝]，”国家“：[”CA“]，”is_correresponsing“：false，”raw_author_name“：”贾怀友“，”raw_affiation_strings“：[”加拿大埃德蒙顿阿尔伯塔大学计算科学系“]，”附属机构“：[｛”raw_affiation_string“：”加拿大埃德蒙顿阿尔伯塔大学计算科学系“，”institution_ids“：[”https://openalex.org/I154425047“]}]}]，”countries_disticont_count“：2，”institutions_disticent_count”：4，”corresponding_author_ids“：[”https://openalex.org/A5008138724“]，”对应的机构ID“：[”https://openalex.org/I154425047“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payd“：null，”has_fulltext“：false，”cited_by_count“：0，”cited_by_percentile_year“：”{“min”：0，“max”：70}，“biblio”：{“volume”：null：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/T11727“，”display_name“：”模糊逻辑和剩余格“，”score“：0.9989，”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/T10215“，”display_name“：”语义Web和本体开发“，”score“：0.9964，”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/constraint-logic-programming网站“，”display_name“：”Constraint Logic Programming“，”score“：0.610695｝，｛”id“：”https://openalex.org/keywords/modal-logics（https://openalex.org/keywords/modal-logics）“，”display_name“：”Modal Logics“，”score“：0.602449}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.598798}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.585847}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.58343}]，”concepts“：[{”id“：”https://openalex.org/C127001435，“wikidata”：https://www.wikidata.org/wiki/Q7595770“，”display_name“：”稳定模型语义“，”level“：4，”score“：0.6925027}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.61568356}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.6081908}，{”id“：”https://openalex.org/C89497691，“wikidata”：https://www.wikidata.org/wiki/Q7981058“，”display_name“：”良好的语义“，”level“：5，”score“：0.59325653}，{”id“：”https://openalex.org/C9672783，“wikidata”：https://www.wikidata.org/wiki/Q65122115“，”display_name“：”游戏语义“，”level“：5，”score“：0.568595}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5061421｝，｛”id“：”https://openalex.org/C2987117450，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑程序“，”level“：3，”score“：0.5014565}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.48975945｝，｛”id“：”https://openalex.org/C58041814，“wikidata”：https://www.wikidata.org/wiki/Q792533“，”display_name“：”公理语义“，”level“：5，”score“：0.4820936}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.47807002}，{”id“：”https://openalex.org/C2776036281，“wikidata”：https://www.wikidata.org/wiki/Q48769818“，”display_name“：”约束（计算机辅助设计）“，”level“：2，”score“：0.47636628}，{”id“：”https://openalex.org/C2834757，“wikidata”：https://www.wikidata.org/wiki/Q4925424“，”display_name“：”单调多边形“，”level“：2，”score“：0.45139784}，{”id“：”https://openalex.org/C176783269，“wikidata”：https://www.wikidata.org/wiki/Q5164378“，”display_name“：”约束逻辑编程“，”level“：4，”score“：0.4477173}，{”id“：”https://openalex.org/C45374587，“wikidata”：https://www.wikidata.org/wiki/Q12525525“，”display_name“：”Computation“，”level“：2，”score“：0.447482｝，｛”id“：”https://openalex.org/C311688，“wikidata”：https://www.wikidata.org/wiki/Q2393193“，”display_name“：”时间复杂性“，”level“：2，”score“：0.4154678}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.40124005}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.36797756}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.34359378}，{”id“：”https://openalex.org/C44616089，“wikidata”：https://www.wikidata.org/wiki/Q30158686“，”display_name“：”约束满足“，”level“：3，”score“：0.31742153}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.2740744}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.24209854}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.14277062}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.09127328}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.08599749}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-319-17822-6_16“，”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：17，“referenced_works“：[”https://openalex.org/W1606891084","https://openalex.org/W1862558385","https://openalex.org/W1919787233","https://openalex.org/W1968513265","https://openalex.org/W1988666619","https://openalex.org/W2011124182","https://openalex.org/W2046213250","https://openalex.org/W2100983017","https://openalex.org/W2115303419","https://openalex.org/W2116746190","https://openalex.org/W2151485489","https://openalex.org/W2153361264","https://openalex.org/W2157027735","https://openalex.org/W2158651374","https://openalex.org/W2163716430","https://openalex.org/W2171987376","https://openalex.org/W50549667“]，”related_works“：[”https://openalex.org/W2964282976","https://openalex.org/W280954255","https://openalex.org/W2353645762","https://openalex.org/W2211916015","https://openalex.org/W2189546154","https://openalex.org/W1970571555","https://openalex.org/W1607238569","https://openalex.org/W1578725873","https://openalex.org/W1565705080","https://openalex.org/W114547669“]，”ngrams_url“：”https://api.openalex.org/works/W2189546154/ngrams网站“，”“abstract_inverted_index”：{“The”：[0]，“基础良好”：[1,96126]，“semantics”：[2,16,53,97127]，“of”：[3,34,37,49,69120]，“normal”：[4]，“logic”：[5,42,99106144]，“programs”：[6,43100107145]，“has”：[7]，“two”：[8]，“main”：[9]，“utilities”，“：[10]，“one”：[11]，“being”：[12]，“an”：[13]，“高效”：[14]，“可计算”：[15]，“具有”：[17101108146]，“a“：[18,95112140]，”唯一“：[19]，”预期“：[20]，”模型，“：[21]，”和“：[22]，”该“：[23,32,38,52,60,67,81118125]，”其他“：[24]，”服务“：[25]，”作为“：[26]，”多项式“：[27]，”时间“：[28]，”约束“：[29]，“传播”：[30]，”对于“：[31,98124143]，”计算“：[33]，”答案“：[35]，”设置“：[36]，”相同“：[39]，”程序。“：[40]，“When”：[41]，“are”：[44]，“generalized”：[45102]，“to”：[46]，“support”：[47]，“constraints”：[48]，“variable”：[50]，“种类，”：[51]，“is”：[54]，“no”：[55]，“longer”：[56]，“tractable”：[57]，“which”：[58,74104]，“makes”：【59]，“second”：【61】，“utility”：【62】，“可疑。“：[63]，”This“：[64]，”paper“：[65]，”considers“：[66]，”possibility“：[68]，”tractable“：[70]，”but“：[71,84]，”incomplete“：[72]，”methods，“：[73]，”in“：[75,80]，”general“：[76]，”may“：[77]，”miss“：%78]，”information“：[79]，”computed“：[82]，”result“，”：[83]，”never“：[85]，”generates“：+86]，”“错误”：[87]，“结论”。“：[88]，”For“：[89]，”this“：[90135]，”goal“，：[91]，”we“，[92115]，”first“：[93]，”formulate“：[94]，”atoms“，：[103]，”generalizes“：[105]，”arbitral“：[109]，”aggregates/constraints/dl-atoms。“：[110]，”As“：[111]，”case“：[11314]，”study“：[114]，”show“：[116]，”that“：[117]，”method“：[119]，”removing“：[121]，”non-单调“：[122]，”dl-atoms“：[123]，”by“：[128]，”Eiter“：[129]，”et“：[130]，”al.“：[131]，”actually“：[132]，”falls“：%133]，”into“：[134]，”category。“：[136]，”我们“：[137]，”也“：[138]，”现在“：[139]，”研究“：[142]，”标准“：[147]，”集合。“：[148]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2189546154“，”counts_by_year“：[]，”updated_date“：”2024-06-18T21:28:22.566252“，”created_dates“：”2016-06-24“}“