{“id”：“https://openalex.org/W2124270180“，”doi“：”https://doi.org/10.1016/j.jal.2008.10.04“，”title“：“使用Prolog和约束处理规则进行基于假设的推理的可执行规范”，”display_name“：”Prolog and Constraint Handling Rules进行基于假设推理的可运行规范“，”publication_year“：2009，”publitation_date“：”2009-09-01“，”ids“：{”openalex“：”https://openalex.org/W2124270180“，”doi“：”https://doi.org/10.1016/j.jal.2008.10.04“，”mag“：”2124270180“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.jal.2008.10.04“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S164898596“，”display_name“：”应用逻辑期刊/应用逻辑期刊（在线）“，”issn_l“：”1570-8683“，”issn“：[”1570-8683“，”1570-8691“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”http://akira.ruc.dk/~henning/publications/HypoReason2008_HC.pdf“，”any_repository_has_fulltext“：true}，”作者“：[{“author_position”：“first”，“author”：{“id”：“https://openalex.org/A50225849“，”display_name“：”Henning Christiansen“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I107707843“，”display_name“：”罗斯基勒大学“，”ror“：”https://ror.org/014axpa37“，”country_code“：”DK“，”type“：“教育”，”世系“：[”https://openalex.org/I107707843“]}]，”国家“：[”DK“]，”is_corresponding“：true，”raw_author_name“：”Henning Christiansen“，”raw _ afiliation_strings“：[“PLIS研究小组：丹麦罗斯基勒大学通信、商业和信息技术系编程、逻辑和智能系统，邮政信箱260，DK-4000罗斯基勒”]，”从属关系“：[{”raw_affiliation_string“：”研究小组PLIS：编程、逻辑和智能系统，罗斯基勒大学通信、商业和信息技术系，邮政信箱260，DK-4000，丹麦罗斯基勒“，“institution_ids”：[“https://openalex.org/I107707843“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A50225849“]，”对应的机构ID“：[”https://openalex.org/I107707843“]，”apc_list“：null，”apc _ paid“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：11，”cited_by_percentile_year“：{”min“：86，”max“：87}，”biblio“：{“volume”：“7”，“issue”：“3”，“first_page”：“341”，“last_page”：”“362”}，“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“：”Artificial Intelligence“｝，”field“：｛”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“：”Artificial Intelligence“｝，”field“：｛”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.9976，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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.993，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”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“：”约束逻辑编程“，”score“：0.629432}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.554475}，{”id“：”https://openalex.org/keywords/nonmonotonic-reasoning（https://openalex.org/keywords/nonmonotonic-reasoning）“，”display_name“：”非单调推理“，”score“：0.546362｝，｛”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.535232}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.528646}]，”concepts“：[{”id“：”https://openalex.org/C81721847，“wikidata”：https://www.wikidata.org/wiki/Q163468“，”display_name“：”Prolog“，”level“：2，”score“：0.8445003｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.74421394}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7097745}，{”id“：”https://openalex.org/C160145156，“wikidata”：https://www.wikidata.org/wiki/Q778586“，”display_name“：”Executable“，”level“：2，”score“：0.7086365}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.6279688}，{”id“：”https://openalex.org/C173404611，“wikidata”：https://www.wikidata.org/wiki/Q528588“，”display_name“：”约束编程“，”level“：3，”score“：0.56930745}，{”id“：”https://openalex.org/C176783269，“wikidata”：https://www.wikidata.org/wiki/Q5164378“，”display_name“：”约束逻辑编程“，”level“：4，”score“：0.506748}，{”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.46784222}，{”id“：”https://openalex.org/C2776036281，“wikidata”：https://www.wikidata.org/wiki/Q48769818“，”display_name“：”约束（计算机辅助设计）“，”level“：2，”score“：0.46732298}，{”id“：”https://openalex.org/C195344581，“wikidata”：https://www.wikidata.org/wiki/Q2555318“，”display_name“：”自动推理“，”level“：2，”score“：0.42735916}，{”id“：”https://openalex.org/C2778012447，“wikidata”：https://www.wikidata.org/wiki/Q1034415“，”display_name“：”Scope（computer science）“，”level“：2，”score“：0.42204422}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.39578012}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.30054668}，{”id“：”https://openalex.org/C44616089，“wikidata”：https://www.wikidata.org/wiki/Q30158686“，”display_name“：”约束满足“，”level“：3，”score“：0.28970873}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.122039676}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.11114025}，{”id“：”https://openalex.org/C137631369，“wikidata”：https://www.wikidata.org/wiki/Q7617831“，”display_name“：”随机编程“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1016/j.jal.2008.10.04“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S164898596“，”display_name“：”应用逻辑杂志/应用逻辑杂志（在线）“，”issn_l“：”1570-8683“，”isn“：[”1570-86 83“，“1570-8691”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P4310320990“，”“host_organization_name”：“Elsevier BV”，“host_organization_lineage”：[“https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：null，“licence_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.331.479，“pdf_url”：http://akira.ruc.dk/~henning/publications/HypoReason2008_HC.pdf“，”源“：{“id”：“https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”宾夕法尼亚州立大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”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.331.479，“pdf_url”：http://akira.ruc.dk/~henning/publications/HypoReason2008_HC.pdf“，”源“：{“id”：“https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”宾夕法尼亚州立大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，”sustainable_development_goals“：[]，”grants“：[]，”dataset“：[]，”version“：[]，”referenced_works_count“：25，”referenced_works“：[”https://openalex.org/W1519044014","https://openalex.org/W1579337158","https://openalex.org/W197605110","https://openalex.org/W1987005090","https://openalex.org/W1998787753","https://openalex.org/W2034781759","https://openalex.org/W2041726556","https://openalex.org/W2056806607","https://openalex.org/W2071787143","https://openalex.org/W2078139775","https://openalex.org/W2079333278","https://openalex.org/W2092911568","https://openalex.org/W2094159214","https://openalex.org/W2105505307网址","https://openalex.org/W2143342293","https://openalex.org/W2158937425","https://openalex.org/W2469671329","https://openalex.org/W2495340223","https://openalex.org/W2497449838","https://openalex.org/W2525927050","https://openalex.org/W2714497087","https://openalex.org/W2911319454","https://openalex.org/W4206370914","https://openalex.org/W4247154112","https://openalex.org/W573428649“]，”related_works“：[”https://openalex.org/W2525470665","https://openalex.org/W2510050445","https://openalex.org/W2491239989","https://openalex.org/W2365168741","https://openalex.org/W2020731817","https://openalex.org/W200657494","https://openalex.org/W1596719193","https://openalex.org/W1591778271","https://openalex.org/W1591583250","https://openalex.org/W1536334038“]，”ngrams_url“：”https://api.openalex.org/works/W2124270180/ngrams网站“，”“abstract_inverted_index”：{“Constraint”：[0]，“Handling”：[1]，“Rules”：[2]，“（CHR）”：[3]，“is”：[4,28,79118]，“an”：[5]，“extension”：[6]，“to”：[7]，“Prolog”：[8,40,69]，“which”：[9,34]，“opens”：[10]，“up”：[11]，“a”：[12,44109124]，“spectrum”：[13]，“of”：[14,347]6,63,75108]，“基于假设”：[15,32,76]，“推理”：[16,33,77]，“in”：[17,39,66]，“逻辑”：[18,83]，“程序“：[19]，”无“：[20]，”附加“：[21106]，”解释“：[22]，”开销。“：[23]，”绑架“：[24]，”with“：[25,43,86127]，”integrity“：[26]，”constraints“：[27]，”one“：/29]，”example“：[30]，”can“：[35]，”be“：[36]，”implemented“：[37,51]，”directly“：[38]，”and“：[41,49,68,88,90116]，”CHR“：[42,67]，”indicable“：[45]，”use“：[46]，”available“：[48]，”effectively“：[50]，“设施。“：[52]，”The“：[53]，”present“：[54]，”paper“：[55101]，”declaimes“：[56]，”The“：[57100105121]，”semantic“：[58]，”foundations“：[59]，”for“：[60112]，”this“：【61】，”way“：【62】，”doing“：【64】，”abstration“：【65】，”as“：【70，72，96】，”well“：【71】，”other“：%73】，”examples“：【74】，”that“：【78120]，“可能”，：[80]，“包括”：[81]，“假设”：[82]，“编程”：[84]，“假设“：[85]，”优先级“：[87]，”范围“：[89]，”非单调“：[91]，”推理。“：[92]，“示例”：[93]，“是”：[94]，“表示”：[95]，“可执行”：[97]，“代码”：[98]，“so”：[99]，“可以”：[102]，“也”：[103]，“服务”：[104]，“目的”：[107]，“实用”：[110]，“指南”：[111]，“开发”：[113]，“这样”：[114]，“程序”：[115]，“it”：[117]，“演示”：[119]，“方法”：[122]，“提供”：[123]，“无缝”：[125]，“集成”：[126]，“现有”：[128]，“约束“：[129]，”解算器。“：[130]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2124270180”，“counts_by_year”：[｛“year”：2015，“cited_by_count”：2｝，｛“year”：2014，“cited_by_count”：3｝，｛“year”：2013，“cited_by_count”：2｝]，“updated_date”：“2024-06-19T04:45:44.048921”，“created_date”：“2016-06-24”｝