{“id”：“https://openalex.org/W1639901403“，”doi“：”https://doi.org/10.1007/978-3-642-60085-2_17“，”title“：“稳定模型和替代逻辑编程范式”，”display_name“：”稳定模型和备选逻辑编程范式“，”publication_year“：1999，”publiation_date“：”1999-01-01“，”ids“：{”openalex“：”https://openalex.org/W1639901403“，”doi“：”https://doi.org/10.1007/978-3-642-60085-2_17“，”mag“：”1639901403“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-60085-2_17“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210212235“，”display_name“：”人工智能“，”issn_l“：”1431-0066“，”isn“：[”1431-066“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，“type”：“book-series”}，“license”：null，“licence_id”：null，“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://www.cs.uky.edu/~marek/paperss.dir/00.dir/alternative.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5048411051“，”display_name“：”Victor W.Marek“，”orcid“：”https://orcid.org/0000-0002-1369-5177}，“机构”：[{“id”：https://openalex.org/I143302722“，”display_name“：”肯塔基大学“，”ror“：”https://ror.org/02k3smh20“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I143302722“]｝]，”国家“：[”美国“]，”is_correresponsing“：false，”raw_author_name“：”维克多·W·马雷克“，”raw_affiation_strings“：[”美国肯塔基大学列克星敦分校计算机科学系“]，”附属机构“：[｛”raw_affiation_string“：”美国肯塔基大学列克星敦分校计算机科学系“，”institution_ids“：[”https://openalex.org/I143302722“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5079794036“，”display_name“：”Miros\u0142aw Truszczy\u0144ski“，”orcid“：”https://orcid.org/0000-0001-7277-1232}，“机构”：[{“id”：https://openalex.org/I143302722“，”display_name“：”肯塔基大学“，”ror“：”https://ror.org/02k3smh20“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I143302722“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Miroslaw Truszczy\u0144ski“，”raw_affiliation_strings“：[“美国肯塔基大学列克星敦分校计算机科学系”]，”affiliations“：[{”raw_affiliation_string“：”美国肯塔基列克星顿大学计算机科学系“，”institution_ids“：[https://openalex.org/I143302722“]}]}]，”institution_assertions“：[]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]、“correspending_institution_ids“：[].”apc_list“：null，”apc_payed“：null.，”fwci“：28.713，”has_fulltext“：false，”cited_by_count，“：721，”citation_normalized_percentile“：{”value“：0.99957，”is_in_top_1_perce nt“：true，”is_in_top_10_percent“：true}，”cited_by_percentile_year“：{”min“：99，”max“：100}，“biblio”：{“volume”：null，“issue”：nul，“first_page”：“375”，“last_page”：“398”}，《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/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9963，“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.9956，”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/horn-clause网站“，”display_name“：”Horn子句“，”score“：0.681407}，{”id“：”https://openalex.org/keywords/programming-language-semantics网站“，”display_name“：”编程语言语义“，”score“：0.56343}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”Constraint Logic Programming“，”score“：0.55399｝，｛”id“：”https://openalex.org/keywords/wellfounded-semantics“，”display_name“：”良好的语义“，”score“：0.53075004}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.528151}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.515584}]，”concepts“：[{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.6838122}，{”id“：”https://openalex.org/C189790780，“wikidata”：https://www.wikidata.org/wiki/Q933932“，”display_name“：”Horn子句“，”level“：3，”score“：0.681407}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6353977｝，｛”id“：”https://openalex.org/C96315309，“wikidata”：https://www.wikidata.org/wiki/Q5508829“，”display_name“：”函数逻辑编程“，”level“：4，”score“：0.62514895}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6135518}，{”id“：”https://openalex.org/C127001435，“wikidata”：https://www.wikidata.org/wiki/Q7595770“，”display_name“：”稳定模型语义“，”level“：4，”score“：0.5494057}，{”id“：”https://openalex.org/C89497691，“wikidata”：https://www.wikidata.org/wiki/Q7981058“，”display_name“：”良好的语义“，”level“：5，”score“：0.53075004}，{”id“：”https://openalex.org/C50033165，“wikidata”：https://www.wikidata.org/wiki/Q15712089“，”display_name“：”归纳编程“，”level“：3，”score“：0.5154479}，{”id“：”https://openalex.org/C34165917，“wikidata”：https://www.wikidata.org/wiki/Q188267网址“，”display_name“：”编程范例“，”level“：2，”score“：0.44902927}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4455524}，{”id“：”https://openalex.org/C173404611，“wikidata”：https://www.wikidata.org/wiki/Q528588“，”display_name“：”约束编程“，”level“：3，”score“：0.42982948}，{”id“：”https://openalex.org/C184337299，“wikidata”：https://www.wikidata.org/wiki/Q1437428“，”display_name“：”语义（计算机科学）“，”level“：2，”score“：0.4271435}，{”id“：”https://openalex.org/C81721847，“wikidata”：https://www.wikidata.org/wiki/Q163468“，”display_name“：”Prolog“，”level“：2，”score“：0.4142422}，{”id“：”https://openalex.org/C203659156，“wikidata”：https://www.wikidata.org/wiki/Q6934805“，”display_name“：”多模逻辑“，”level“：3，”score“：0.41093934}，{”id“：”https://openalex.org/C156325763，“wikidata”：https://www.wikidata.org/wiki/Q1930895“，”display_name“：”操作语义“，”level“：3，”score“：0.26923686}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.25278664}，{”id“：”https://openalex.org/C207648694，“wikidata”：https://www.wikidata.org/wiki/Q1189746“，”display_name“：”表示语义“，”level“：4，”score“：0.17441687}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.16642165}，{”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.09924352｝，｛”id“：”https://openalex.org/C137631369，“wikidata”：https://www.wikidata.org/wiki/Q7617831“，”display_name“：”随机编程“，”level“：2，”score“：0.0872764}]，”mesh“：[]，”locations_count“：3，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-60085-2_17“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4210212235“，”display_name“：”人工智能“，”issn_l“：”1431-0066“，”isn“：[”1431-066“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/P431031965“，”“host_organization_name”：“Springer Nature”，“host_organization_lineage”：[“https://openalex.org/P431031965“]，”host_organization_lineage_names“：[”Springer Nature“]，”type“：”book series“｝，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.50.581，“pdf_url”：网址：http://www.cs.uky.edu/~marek/papers.dir/00.dir/alternative.pdf“，”源“：{“id”：“https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://arxiv.org/abs/cs/9809032“，”pdf_url“：空，”源“：{”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”：nul，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.50.581，“pdf_url”：网址：http://www.cs.uky.edu/~marek/papers.dir/00.dir/alternative.pdf“，”源“：{“id”：“https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，“grants”：[]、“datasets”：[]，“versions”：[】，“referenced_works_count”：54，“referrenced_works”：]”https://openalex.org/W125178576","https://openalex.org/W12663474网址","https://openalex.org/W1494051470","https://openalex.org/W1503579182","https://openalex.org/W1504169145","https://openalex.org/W1504434797网址","https://openalex.org/W1514729613","https://openalex.org/W1530765221","https://openalex.org/W1536217426","https://openalex.org/W1541434994","https://openalex.org/W155421715","https://openalex.org/W1557218957","https://openalex.org/W1558832481","https://openalex.org/W1560971821","https://openalex.org/W1578088218","https://openalex.org/W158212583","https://openalex.org/W1595761884","https://openalex.org/W1597862920","https://openalex.org/W1602972790","https://openalex.org/W1667362966","https://openalex.org/W1766332311","https://openalex.org/W1774324140","https://openalex.org/W194413726","https://openalex.org/W1968513265","https://openalex.org/W1979064340","https://openalex.org/W1984280364","https://openalex.org/W1984715534","https://openalex.org/W1985819576","https://openalex.org/W1986133180","https://openalex.org/W1988882917","https://openalex.org/W2007993940","https://openalex.org/W2010160994","https://openalex.org/W2011039300","https://openalex.org/W2026906867","https://openalex.org/W2038181165","https://openalex.org/W2043182143","https://openalex.org/W2047885920","https://openalex.org/W2090079575","https://openalex.org/W2100738443","https://openalex.org/W2111353076","https://openalex.org/W2143382644","https://openalex.org/W2152131859","https://openalex.org/W2155322595","https://openalex.org/W2162621793","https://openalex.org/W2165372647","https://openalex.org/W2212036697","https://openalex.org/W2408006898","https://openalex.org/W2611415697","https://openalex.org/W3162232164","https://openalex.org/W3747978","https://openalex.org/W4206031975","https://openalex.org/W4233253115","https://openalex.org/W73864267","https://openalex.org/W83671853“]，”related_works“：[”https://openalex.org/W2965093858","https://openalex.org/W2951214771","https://openalex.org/W2556685378","https://openalex.org/W2515292966","https://openalex.org/W2187205908","https://openalex.org/W2161391467","https://openalex.org/W2073311296","https://openalex.org/W2043198854","https://openalex.org/W1979420104","https://openalex.org/W1602680690“]，”abstract_inverted_index“：{”In“：[0,81124]，”this“：[1,82]，”paper“：[2]，”we“：[3]，”reexamine“：[4]，”the“：[5,74106112119131136146167]，”place“：[6]，”and“：[7,16,62155]，”role“：[8]，”of“：[9,33,55,76,96121153159176182]，”stable“：[10,34,98101180]，”model“：[11,23,35]，”semantics“：[12,36]，“In”：[13145174]，“logic”：[14,41,52,57,60,63122138184]，“编程“：[15,42,53,61,64139]，“对比度”：[17]，“it”：[18]，“with”：[19,65]，“a”：[20,40,84,89,94150]，“least”：[21]，“Herbrand”：[22]，“approach”：[24,70115169]，“to”：[25,39,49105143178]，“Horn”：[26,56]，“programs”。“：[27123185]，“我们”：[28133161]，“证明”：[29]，“那”：[30,44135164]，“固有”：[31]，“特征”：[32]，“自然”：[37]，“领先”：[38]，“系统”：[43140]，“提供”：[45]，“一个”：[46156]，“有趣”：[47]，“替代”：[48]，“更多”：[50]，“传统”：[51]，“风格”：[54]，“编程”：[58]，“分层”：[59]，“基础充分”：[66]，“语义。“：[67]，”The“：[68]，”proposed“：[69]，”is“：[71141171]，”based“：[72]，”on“：[73118]，”interpretation“：[75]，”program“：[77,85]，”clauses“：[78]，”as“：[79]，”constraints。“：[80]，”设置“：[83]，”做“：[86]，”不“：[87]，”描述“：[88]，”单一“：[90]，”预期“：[91]，”模型“：[92]，”但是“：[93]，”系列“：[95]，”它的“：[97]，”型号。“：[99]，”这些“：[100]，”模型“：[102181]，”编码“：[103]，”解决方案“：[104]，”约束“：[107]，”满意度“：[108]，”问题“：[109]，”描述“：[110]，”通过“：[111]，”程序。“：[113]，“我们的”：[114]，“强加”：[116]，“限制”：[117]，“语法”：[120]，“特殊”，：[125]，“函数”：[126]，“符号”：[127]，“是”：[128]，“消除”：[129]，“来自”：[130]，“语言”。“：[132]，”争论“：[134]，”结果“：[137]，”协调一致“：[142]，”问题“：[144]，”类“：[147]，”NP，“：[148]，”有“：[149]，”定义良好“：[151]，”域“：[152]，”应用程序“：[154]，”新兴“：[157]，”方法论“：[158]，”编程。“：[160]，“点”：[162]，“出”：[163]，“什么”：[165]，“使”：[166]，“整体”：[168]，“可行”：[170]，“最近”：[172]，“进度”：[173]，“实现”：[175]，“算法”：[177]，“计算”：[179]，“命题”：[183]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W1639901403“，”counts_by_year“：[{年：2024，”cited_by_count“：6}，{年“：2023，”cited_by_count”：17}，“年”：2022，“年份”：2017，“引用_ by_count”：27}，{“年份”:2016，“引用_by_counts”：37}，}“年份“：2015，”引用_by_count“：37}，{“年份”：2014，“引用_by-count”：28}，}“年份“：2013，”引用_by/count“:39}，”年份“：2012，”引用_ by_counts“：56}]，“更新日期”：“2024-09-19T20:32:04.998355”，“创建日期”：”2016-06-24“}