{“id”：“https://openalex.org/W30003877“，”doi“：”https://doi.org/10.1007/978-3-642-30743-0-39“，”title“：“具有广义规则的逻辑程序的良好支持语义”，”display_name“：”具有广义规则逻辑程序的较好支持语义“，”publication_year“：2012，”publiation_date“：”2012-01-01“，”ids“：{”openalex“：”https://openalex.org/W30003877“，”doi“：”https://doi.org/10.1007/978-3-642-30743-0-39“，”mag“：”30003877“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-30743-0-39“，”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”：true，“oa_status”：“green”，“oa_url”：https://research-repository.griffith.edu.au/bitstream/10072/47944/1/81139_1.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”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_corresponding“：false，”raw_author_name“：”Jia-Huai You“，”raw _affiliation_strings“：[“加拿大阿尔伯塔大学计算科学系”]，”affiliations“：[{”raw _affiliation_string“：”加拿大阿尔伯达大学计算机科学系”，“institution_ids”：[“https://openalex.org/I154425047“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5018193643“，”display_name“：”一洞神“，”兽人“：”https://orcid.org/0000-0002-2841-7233}，“机构”：[{“id”：https://openalex.org/I19820366“，”display_name“：”中国科学院“，”ror“：”https://ror.org/034t30j35“，”country_code“：”CN“，”type“：“政府”，”世系“：[”https://openalex.org/I19820366“]}]，”国家“：[”CN“]，”is_corresponding“：false，”raw_author_name“：”Yi-Dong Shen“，”raw _ afiliation_strings“：[“中国科学院计算机科学国家重点实验室”]，”affiliations“：[{”raw _affiliation_strong“：”中国科学院计算科学国家重点实验室”，“institution_ids”：[“https://openalex.org/I19820366“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5031190010“，”display_name“：”Kewen Wang“，”orcid“：”https://orcid.org/0000-0002-0542-3761}，“机构”：[{“id”：https://openalex.org/I11701301“，”display_name“：”格里菲斯大学“，”ror“：”https://ror.org/02sc3r913“，”country_code“：”AU“，”type“：“教育”，”世系“：[”https://openalex.org/I11701301“]}]，”国家“：[”AU“]，”is_corresponding“：false，”raw_author_name“：”Kewen Wang“，”raw _affiliation_strings“：[“澳大利亚格里菲斯大学计算与信息技术学院”]，”affiliations“：[{”raw _affiliation_string“：”澳大利亚格里菲思大学计算与信息技术学院”，“institution_ids”：[“https://openalex.org/I11701301“]}]}]，”countries_distinct_count“：3，”institutions_disting_count”：3，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：0.343，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_b y_count“：1，”cited_by_percentile_year“：{”min“：69，”max“：75}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”576“，”last_page“：”591“}，“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/T10456“，”“display_name”：“基于代理建模的方法和技术”，“score”：0.9972，“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.9892，“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/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.572342}，{”id“：”https://openalex.org/keywords/desolution-frameworks（https://openalex.org/关键词/论证框架）“，”display_name“：”Argumentation Frameworks“，”score“：0.538055}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”描述逻辑“，”score“：0.526381｝，｛”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.522718}]，”concepts“：[{”id“：”https://openalex.org/C127001435，“wikidata”：https://www.wikidata.org/wiki/Q7595770“，”display_name“：”稳定的模型语义“，”level“：4，”score“：0.82360864｝，｛”id“：”https://openalex.org/C89497691，“wikidata”：https://www.wikidata.org/wiki/Q7981058“，”display_name“：”良好的语义“，”level“：5，”score“：0.8014015}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6927319}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.60779977}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.59427834}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.5921906}，{”id“：”https://openalex.org/C182620335，“wikidata”：https://www.wikidata.org/wiki/Q2852531“，”display_name“：”答案集编程“，”level“：3，”score“：0.5279571}，{”id“：”https://openalex.org/C2987117450，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑程序“，”level“：3，”score“：0.52156895}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5096934}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.47378942}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.44510952}，{”id“：”https://openalex.org/C9672783，“wikidata”：https://www.wikidata.org/wiki/Q65122115“，”display_name“：”游戏语义“，”level“：5，”score“：0.4231505}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.3051058}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-30743-0-39“，”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://hdl.handle.net/10072/47944，“pdf_url”：https://research-repository.griffith.edu.au/bitstream/10072/47944/1/81139_1.pdf，“源”：{“id”：https://openalex.org/S4377196263“，”display_name“：”Griffith Research Online（Griffith-University）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I11701301“，”“host_organization_name”：“格里菲斯大学”，“host_organization_lineage”：[“https://openalex.org/I11701301“]，”host_organization_lineage_names“：[”Griffith University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/10072/47944，“pdf_url”：https://research-repository.griffith.edu.au/bitstream/10072/47944/11/81139_1.pdf，“源”：{“id”：https://openalex.org/S4377196263“，”display_name“：”Griffith Research Online（Griffith-University）“，”issn_l“：null，”issn“：null，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I11701301“，”“host_organization_name”：“格里菲斯大学”，“host_organization_lineage”：[“https://openalex.org/I11701301“]，”host_organization_lineage_names“：[”Griffith University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”score“：0.6，”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：26，”refernced_works“：[”https://openalex.org/W1494751716","https://openalex.org/W1520574003","https://openalex.org/W1553315960","https://openalex.org/W1694306392","https://openalex.org/W1800801472","https://openalex.org/W1919787233","https://openalex.org/W1968513265","https://openalex.org/W1969965298","https://openalex.org/W1997714358","https://openalex.org/W2054357915","https://openalex.org/W2064864283","https://openalex.org/W2069156007","https://openalex.org/W2072190298","https://openalex.org/W2076698873","https://openalex.org/W2087432892","https://openalex.org/W2100320308","https://openalex.org/W2100983017","https://openalex.org/W2105869173","https://openalex.org/W2134039900","https://openalex.org/W2136179811","https://openalex.org/W2145648043","https://openalex.org/W2151485489","https://openalex.org/W2155322595","https://openalex.org/W2171987376","https://openalex.org/W2211916015","https://openalex.org/W4238006255“]，”related_works“：[”https://openalex.org/W2980564926","https://openalex.org/W2611359631","https://openalex.org/W2529281881","https://openalex.org/W2402208197","https://openalex.org/W2211916015","https://openalex.org/W2189546154","https://openalex.org/W2113913457","https://openalex.org/W1634236444","https://openalex.org/W1607801167网址","https://openalex.org/W118508415“]，”ngrams_url“：”https://api.openalex.org/works/W30003877/ngrams“，”abstract_inverted_index“：｛”Logic“：[0]，”programming“：[1]，”under“：[2]，”the“：[3,21,26,66,81,84,88117]，”stable“：[4,668119]，”model“：[5]，”semantics“：[6,669106120]，”has“：[7,31]，”been“：[8,32]，”extended“：[9]，”to“：[10,19]，”任意“：[11,58]，”formulas.“：[12]，”A“：[13]，”question“：”[14]，“of”：[15，23，28，54，77，90，96121]，“interest”：[16]，“is”：[17]，“how”：[18]，“characterize“：[20]，”property“：[22]，”well-supportedness“：[24,78]，”in“：[25,36,61116]，”sense“：[27]，”Fages“：[29]，”which“：[30,52]，”considered“：[33]，”a“：[34,74]，”bordoner“：[35]，”answer“：[37]，”set“：[38]，”编程。“：[39]，”In“：[40]，”this“：[41,45]，”paper“：[42]，”we“：[C3100]，”address“：[44,87]，”issue“：[46,89]，”by“：[47]，”considering“：[48]，”general“：[49,75,97122]，”logic“：[50112]，”programs“：[51,72]，”compose“：[53]，”disjunctive“：55]，”rules“：[56]，”with“：57]，”命题“：[59]，“公式”：[60]，“规则”：[62]，“正文”。“：[63]，“我们”：[64,86]，“定义”：[65]，“合理”：[67118]，“对于”：[70,93107]，“这些”：[71]，“提议”：[73]，“概念”：[76]，“和”：[79110]，“显示”：[80101]，“关系”：[82]，“介于”：[83]，“两者之间”。“：[85]，”计算“：[91]，”复杂性“：[92]，”各种“：[94]，”类“：[95]，”程序。“：[98123]，”最后，“：[99]，”that“：[102]，”previous“：[103]，”proposed“：[104]，”well-supported“：%105]，”aggregate“：[108]，”programs“：%109113]，”description“：[111]，”are“：[114]，”rooted“：+115]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W30003877“，”counts_by_year“：[{”年“：2014，”cited_by_count“：1}]，”更新日期“：”2024-06-21T12:06:34.023115“，”创建日期“：“2016-06-24”}