｛“id”：“https://openalex.org/W2149954414“，”doi“：”https://doi.org/10.1007/3-540-16780-3_126“，”title“：”How to clear a block:“Plan formation in situational logic”，“display_name”：“How to clear a block:Plan formance in situation logic”、“publication_year”：1986，“publication_date”：“1986-01-01”，“ids”：{“openalex”：“https://openalex.org/W2149954414“，”doi“：”https://doi.org/10.1007/3-540-16780-3_126“，”mag“：”2149954414“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-16780-3_126“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”issn“：[”0302-9743“，”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“：”图书系列“}，”license“：null，”license_id“：null，”version“：null，”is_accepted“：false，”is_published“：false｝，”type“：”图书章节“，”type_crossref“：”图书章节“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url“：null”，“any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5034436241“，”display_name“：”Zohar Manna“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I97018004“，”display_name“：”斯坦福大学“，”ror“：”https://ror.org/00f54p054“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I97018004“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Zohar Manna“，”raw _ afiliation_strings“：[“Weizmann Institute，Stanford University，USA”]，“affiliations”：[{“raw_affiliation_string”：“Weizman Institutes，Stanford-University”，“institution_ids”：[”https://openalex.org/I97018004“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5048556134“，”display_name“：”Richard Waldinger“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1298353152“，”display_name“：”SRI International“，”ror“：”https://ror.org/05s570m15“，”country_code“：”US“，”type“：“非营利”，”世系“：[”https://openalex.org/I1298353152“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Richard Waldinger“，”raw _ afiliation_strings“：[“SRI International，USA”]，”affiliations“：[{”raw_ afiliation _string“：”SRI Internation，USA“，”institution_ids“：[https://openalex.org/I1298353152“]}]}]，”countries_distinct_count“：1，”institutions_distinact_counts“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payd”：null，“fwci”：0.792，“has_fulltext”：false，“cited_by_count”：6，“cited_by_by_percent”ile_year“：{“最小”：76，“最大”：78}，“书目”：{”volume“：null，”issue“：nul，”first_page“：”622“，”last_page“：”640“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9992，”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.9992，”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.9986，“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/T10906“，”display_name“：”人工智能规划与推理“，”score“：0.9923，”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/probabilistic-plan-识别“，”display_name“：”概率计划识别“，”score“：0.55423}，{”id“：”https://openalex.org/keywords/constraint-logic-programming（https://openalex.org/keywords/constraint-logic-programming）“，”display_name“：”约束逻辑编程“，”score“：0.534352}，{”id“：”https://openalex.org/keywords/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.529262}，{”id“：”https://openalex.org/keywords/case-based-reasoning网站“，”display_name“：”基于事例的推理“，”score“：0.524033}，{”id“：”https://openalex.org/keywords/planning-systems网站“，”display_name“：”规划系统“，”score“：0.518434}]，”概念“：[{”id“：”https://openalex.org/C96146094，“wikidata”：https://www.wikidata.org/wiki/Q609057“，”display_name“：”Unification“，”level“：2，”score“：0.79509234}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6539738}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.6340159}，{”id“：”https://openalex.org/C9114305，“wikidata”：https://www.wikidata.org/wiki/Q1428317“，”display_name“：”情境伦理“，”level“：2，”score“：0.5022757}，{”id“：”https://openalex.org/C2776505523，“wikidata”：https://www.wikidata.org/wiki/Q4785468“，”display_name“：”计划（考古）“，”级别“：2，”分数“：0.48028418｝，｛”id“：”https://openalex.org/C144791301，“wikidata”：https://www.wikidata.org/wiki/Q1548746“，”display_name“：”二阶逻辑“，”level“：4，”score“：0.43358982｝，｛”id“：”https://openalex.org/C2776214188，“wikidata”：https://www.wikidata.org/wiki/Q408386“，”display_name“：”推断“，”级别“：2，”分数“：0.42548797}，{”id“：”https://openalex.org/C2777210771，“wikidata”：https://www.wikidata.org/wiki/Q4927124“，”display_name“：”Block（置换群论）“，”level“：2，”score“：0.42217356}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.42120886}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4105347}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.34196526}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.3403349}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.23383394}，{”id“：”https://openalex.org/C169896238，“wikidata”：https://www.wikidata.org/wiki/Q1644136“，”display_name“：”高阶逻辑“，”level“：3，”score“：0.22035259}，{”id“：”https://openalex.org/C102993220，“wikidata”：https://www.wikidata.org/wiki/Q387196“，”display_name“：”描述逻辑“，”level“：2，”score“：0.16536897}，{”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.101707876}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C166957645，“wikidata”：https://www.wikidata.org/wiki/Q23498“，”display_name“：”考古学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C95457728，“wikidata”：https://www.wikidata.org/wiki/Q309“，”display_name“：”History“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-16780-3_126“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”issn“：[”0302-9743“，”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}]，“best_oa_location”：nuld，“sustainable_development_goals”：[{“score”：0.8，“id”：“https://metadata.un.org/sdg/11“，”display_name“：”可持续城市和社区“}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：9，”referrenced_works“：[”https://openalex.org/W1537435730","https://openalex.org/W1613651675","https://openalex.org/W2012436850","https://openalex.org/W2047669821","https://openalex.org/W2053547980","https://openalex.org/W2088350978","https://openalex.org/W2122586059","https://openalex.org/W2337392266","https://openalex.org/W4236387090“]，”related_works“：[”https://openalex.org/W3171337446","https://openalex.org/W2794344379","https://openalex.org/W2616882931","https://openalex.org/W2595286499","https://openalex.org/W2471908688","https://openalex.org/W2367630557","https://openalex.org/W2183792531","https://openalex.org/W2115512867","https://openalex.org/W1845283042","https://openalex.org/W101666983“]，”ngrams_url“：”https://api.openalex.org/works/W214954414/ngrams（英文）“，”“abstract_inverted_index”：{“问题”：[0]，“in”：[1,9]，“robot”：[2]，“规划”：[3,64]，“are”：[4]，“接近”：[5]，“by”：[6]，“证明”：[7]，“定理”：[8,59]，“a”：[10,50]，“新”：[11]，“公式”：[12]，“of”：[13,34,42,58]，“情境”：[14,4]，”逻辑。“：[15]，”：[16]，“面向机器”：[17]，“演绎表”：[18]，“推理”：[19]，“系统”：[20]，“是”：[21]将“：[22]，”改为“：[23，31，69]，”this“：[24]，”logic“：[25]，”with“：[26]，”special“：[27]，”attention“：[28]，”being“：[29]，”payd“：[30]，”the“：[32，43，54，62]，”derivation“：[33]，”conditional“：[35]，”and“：[36，40]，”recursive“：[37]，”plans“。“：[38]，”方程“：[39]，”等价物“：[41]，”逻辑“：[45]，”有“：[46,66]，”被“：[47,67]，”构建“：[48]，”进入“：[49]，”统一“：[51]，”算法“：[52]，”用于“：[53,60]，”系统。“：[55]，”归纳“：[56]，”证明“：[57]，”偶数“：[61]，”最简单“：[63]，”问题“：[65]，”发现“：[68]，”要求“：[70]，”挑战“：[71]，”概括。“：[72]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2149954414“，”counts_by_year“：[{”年“：2019，”cited_by_count“：1}]，”更新日期“：”2024-06-22T07:12:29.704093“，”创建日期“：“2016-06-24”}