{“id”：“https://openalex.org/W2108919851“，”doi“：”https://doi.org/10.1007/978-3-642-60085-2_3“，”title“：”Concurrent Logic/Constraint Programming:The Next 10 Years“，”display_name“：”并发逻辑/约束编程：The Next十年“，”publication_year“：1999，”publitation_date“：”1999-01-01“，”ids“：{”openalex“：”https://openalex.org/W2108919851“，”doi“：”https://doi.org/10.1007/978-3-642-60085-2_3“，”mag“：”2108919851“｝，”language“：”en“，”primary_location“：｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-60085-2_3“，”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“]，，“any_repository_has_fulltext”：假}，“authorships“：[{”author_position“：”first“，”author“：{”id“：”https://openalex.org/A5089745488“，”display_name“：”Kazunori Ueda“，”orcid“：”https://orcid.org/0000-0002-3424-1844}，“机构”：[{“id”：https://openalex.org/I150744194“，”display_name“：”早稻田大学“，”ror“：”https://ror.org/00ntfnx83“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I150744194“]}]，”国家“：[”JP“]，”is_corresponding“：true，”raw_author_name“：”Kazunori Ueda“，”raw _affiliation_strings“：[“早稻田大学信息与计算机科学系，2013年4月1日，日本东京新宿区大久保三町，169-8555”]，”afliations“：[{”raw _affiliation_string“：”1早稻田大学信息与计算机科学系，2013年4月，日本东京新宿区大久保3-chome，169-8555”，“institution_ids”：[“https://openalex.org/I150744194“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5089745488“]，”对应的机构ID“：[”https://openalex.org/I150744194“]，”apc_list“：null，”apc _payed“：nul，”fwci“：1.767，”has_fulltext“：false，”cited_by_count“：16，”citation_normalized_percentile“：{”value“：0.74043，”is_in_top_1_percent“：false，”is_in_top_10_percent.“：false}，”cited_by_percentile_year“：{”min“：82，”max“：83}，“biblio”：{“volume”：null、“issue”：nul、“first_page”：“53“，”last_page“：”71“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：｛”id“：”https://openalex.org/T10126“，”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.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.999，”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/T10772“，”“display_name”：“系统中的分布式容错和一致性”，“score”：0.998，“subfield”：{“id”：“https://openalex.org/subfields/1705“，”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“：”约束逻辑编程“，”score“：0.652918}，{”id“：”https://openalex.org/keywords/selection-logic“，”display_name“：”分离逻辑“，”score“：0.538719}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.534967}，{”id“：”https://openalex.org/keywords/description-logics网站“，”display_name“：”Description Logics“，”score“：0.528407}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.526732｝]，”concepts“：[｛”id“：”https://openalex.org/C204306468，“wikidata”：https://www.wikidata.org/wiki/Q5159106“，”display_name“：”并发约束逻辑编程“，”level“：5，”score“：0.7313825}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.56574863}，{”id“：”https://openalex.org/C173404611，“wikidata”：https://www.wikidata.org/wiki/Q528588“，”display_name“：”约束编程“，”level“：3，”score“：0.5519603}，{”id“：”https://openalex.org/C128838566，“wikidata”：https://www.wikidata.org/wiki/Q275603“，”display_name“：”逻辑编程“，”level“：2，”score“：0.53935313}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5152119}，{”id“：”https://openalex.org/C176783269，“wikidata”：https://www.wikidata.org/wiki/Q5164378“，”display_name“：”约束逻辑编程“，”level“：4，”score“：0.48624054}，{”id“：”https://openalex.org/C2776036281，“wikidata”：https://www.wikidata.org/wiki/Q48769818“，”display_name“：”Constraint（计算机辅助设计）“，”level“：2，”score“：0.4485475｝，｛”id“：”https://openalex.org/C44616089，“wikidata”：https://www.wikidata.org/wiki/Q30158686“，”display_name“：”约束满足“，”level“：3，”score“：0.2836812}，{”id“：”https://openalex.org/C50033165，“wikidata”：https://www.wikidata.org/wiki/Q15712089“，”display_name“：”归纳编程“，”level“：3，”score“：0.23883337}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.23812622}，{”id“：”https://openalex.org/C96315309，“wikidata”：https://www.wikidata.org/wiki/Q5508829“，”display_name“：”函数逻辑编程“，”level“：4，”score“：0.22292823}，{”id“：”https://openalex.org/C34165917，“wikidata”：https://www.wikidata.org/wiki/Q188267网址“，”display_name“：”编程范例“，”level“：2，”score“：0.20270047｝，｛”id“：”https://openalex.org/C126255220，“wikidata”：https://www.wikidata.org/wiki/Q141495“，”display_name“：”数学优化“，”level“：1，”score“：0.15620214}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.10724163}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C137631369，“wikidata”：https://www.wikidata.org/wiki/Q7617831“，”display_name“：”随机编程“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-60085-2_3“，”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}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“datasets”：【】，“versions”：【]，“referenced_works_count”：78，“referrenced_works”：https://openalex.org/W116294085","https://openalex.org/W142540200","https://openalex.org/W144089366","https://openalex.org/W14513273","https://openalex.org/W146437006","https://openalex.org/W1497205311","https://openalex.org/W1498170831","https://openalex.org/W1503973138","https://openalex.org/W1529612588","https://openalex.org/W1537629081","https://openalex.org/W1543638694","https://openalex.org/W1546468069","https://openalex.org/W1561375764","https://openalex.org/W1563855770","https://openalex.org/W157764157","https://openalex.org/W1583167984","https://openalex.org/W1586891858","https://openalex.org/W1589905862","https://openalex.org/W1591752798","https://openalex.org/W1714749550","https://openalex.org/W174743476","https://openalex.org/W1813469589","https://openalex.org/W1856371947","https://openalex.org/W191497389","https://openalex.org/W1975923086","https://openalex.org/W1977231480","https://openalex.org/W1982243747","https://openalex.org/W1991752978","https://openalex.org/W2008734514","https://openalex.org/W2013851688","https://openalex.org/W2025796387","https://openalex.org/W2051667248","https://openalex.org/W2053384008","https://openalex.org/W2054244583","https://openalex.org/W2057814731","https://openalex.org/W2072794470","https://openalex.org/W2076873328","https://openalex.org/W2079333278","https://openalex.org/W2085870410","https://openalex.org/W2091257550","https://openalex.org/W2111646587","https://openalex.org/W2119831128","https://openalex.org/W2125129987","https://openalex.org/W2127852846","https://openalex.org/W2128932399","https://openalex.org/W2137615967","https://openalex.org/W2143326699","https://openalex.org/W2163058466","https://openalex.org/W2164297069","https://openalex.org/W22657303","https://openalex.org/W2275773297","https://openalex.org/W2336543090","https://openalex.org/W2463035841","https://openalex.org/W258022877","https://openalex.org/W2589217375","https://openalex.org/W2612793397","https://openalex.org/W2912003593","https://openalex.org/W2987803397","https://openalex.org/W30151932","https://openalex.org/W3144368627","https://openalex.org/W38402508","https://openalex.org/W4232733934","https://openalex.org/W4233551746","https://openalex.org/W4234161979","https://openalex.org/W4236324644","https://openalex.org/W4243186596","https://openalex.org/W4246926559","https://openalex.org/W4256363426","https://openalex.org/W4285719527","https://openalex.org/W45179958","https://openalex.org/W46044049","https://openalex.org/W52128144","https://openalex.org/W588924597","https://openalex.org/W71255559","https://openalex.org/W80167165","https://openalex.org/W96430583","https://openalex.org/W97485410","https://openalex.org/W98437303“]，”related_works“：[”https://openalex.org/W4293391431","https://openalex.org/W2525531152","https://openalex.org/W2376476202","https://openalex.org/W2118850793","https://openalex.org/W2055808257","https://openalex.org/W1602018908","https://openalex.org/W1596719193","https://openalex.org/W1583555691","https://openalex.org/W1518466123","https://openalex.org/W1490546714“]，”abstract_inverted_index“：{”Concurrent“：[0]，”logic/constraint“：[1,53108]，”programming“：[2,54,96109]，”is“：[3,68]，”a“：[4,15,70103126136]，”simple“：[5]，”and“：[6,24,34,89145153]，”典雅“：[7]，”formalism“：[8]，”of“：[9,17,64,76,81,92105119128133156]，”concurrency“：[10120]，”that“：[11149]，“可以”：[12]，“可能”：[13]，“地址”：[14]，“lot”：[16]，“重要”：[18]，“未来”：[19]，“应用程序”：[20]，“包括”：[21]，“并行”：[22]，“分布式”：[23]，“智能”：[25]，“系统”。“：[26]，”Its“：[27]，”basic“：[28]，”concept“：[29]，”has“：[30,35110]，”been“：[31]，”extreme“：[32]，”stable“：[33]，”allowed“：[36]，”efficient“：[37]，”implementations。“：[38]，”“然而，”：[39]，“它的”：[40111]，“唯一性”：[41]，“使”：[42]，“这”：[43]，“范式”：[44,97]，“相反”：[45,57]，“困难”：[46]，“到”：[47,55,59,86114]，“感激。“：[48]，“许多”：[49]，“人”：[50]，“考虑”：[51]，“并发”：[52107]，“有”：[56]，“少”：[58]，“做”：[60]，“with”：[61116]，“the”：[62,74,82,87,90,93131]，“rest”：[63]，“logic”：[65,95]，“编程。“：[66]，“有”：[67]，“当然”：[69]，“基本”：[71]，“差异”：[72]，“在”：[73130]，“视图”：[75]，“计算”：[77]，“但是”：[78]，“小心”：[79]，“研究”：[80]，“区别”：[83]，“意志”：[84]，“领导”：[85]，“理解”：[88]，“增强”：[91]，“整体”：[94]，“通过”：[98]，“一个”：[99]，“分析”：[100]，“方法。“：[101]，”As“：[102]，”model“：[104]，”concurrency“：[106134]，”own“：[112]，”challenges“：[113]，”share“：[115]，”other“：117]，”formalisms“：+118]，”As“：[121]，”well。“：[122]，”他们“：[123]，”是：“：[124]，”（1）“：[125]，”对方“：[127]，”\u03bb-calculus“：[129]，”字段“：[132]，”二“：[135]，”通用“：[137]，”平台“：[138]，”用于“：[139]，”各种“：[140]，”非连续“：[141]，”形式“：[142]，”计算“：[144]，”三“：[146]，”类型“：[147]，“系统”：[148]，“覆盖”：[150]，“两者”：[151]，“逻辑”：[152]，“物理”：[154]，“方面”：[155]，“计算。“：[157]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=引用：W2108919851“，”counts_by_year“：[{”年份“：2018，”cited_by_count“：1}，{”年度“：2016，”cited_by_count”：1}.，{“年份”：2013，”citecd_by_count“:1}]，”updated_date“：”2024-09-18T17:16:54.091124“，”created_dates“：”2016-06-24“}