{“id”：“https://openalex.org/W2096583652“，”doi“：”https://doi.org/10.1007/978-3-642-20920-8_18“，”title“：“关于机器人导航的后置条件到推理的动态认识代数”，”display_name“：“对于机器人导航的后置条件到理性的动态认识数学”，”publication_year“：2011，”publitation_date“：”2011-01-01“，”ids“：{”openalex“：”https://openalex.org/W2096583652“，”doi“：”https://doi.org/10.1007/978-3-642-20920-8_18“，”mag“：”2096583652“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-20920-8_18“，”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“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5004198002“，”display_name“：”Alexander J.Horn“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I40120149“，”display_name“：”牛津大学“，”ror“：”https://ror.org/052gg0110“，”country_code“：”GB“，”type“：“教育”，”世系“：[”https://openalex.org/I40120149“]}]，”countries“：[”GB“]，”is_corresponding“：true，”raw_author_name“：”Alexander Horn“，”raw _affiliation_strings“：【”牛津大学计算实验室，英国牛津“】，”affiliations“：[{”raw _affiliation_string“：”牛津大学计算机实验室，英国https://openalex.org/I40120149“]}]}]，”countries_disticont_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[“https://openalex.org/A5004198002“]，”对应的机构ID“：[”https://openalex.org/I40120149“]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：null，”has_fulltext“：false，”cited_by_count“：2，”cited_by_percentile_year“：{”min“：76，”max“：79}，“biblio”：{“volume”：null、“issue”：null，“first_page”：“161”，“last_page”：“175”}，，“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/T10215“，”display_name“：”语义Web和本体开发“，”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/T11596“，”“display_name”：“分布式约束优化问题和算法”，“score”：0.9929，“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/epsitemic-logic（https://openalex.org/关键词/认知逻辑）“，”display_name“：”认识逻辑“，”score“：0.563353}，{”id“：”https://openalex.org/keywords/temporal-reasoning（https://openalex.org/keywords/temporal-reasoning）“，”display_name“：”时间推理“，”score“：0.535515}，{”id“：”https://openalex.org/keywords/spacial-reasoning网站“，”display_name“：”Spatial Reasoning“，”score“：0.532622}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.531973｝，｛”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”Modal Logics“，”score“：0.525218}]，”concepts“：[{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.7951354}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.6301727}，{”id“：”https://openalex.org/C9376300，“wikidata”：https://www.wikidata.org/wiki/Q168817“，”display_name“：”代数数“，”level“：2，”score“：0.5778192}，{”id“：”https://openalex.org/C39685927，“wikidata”：https://www.wikidata.org/wiki/Q173183“，”display_name“：”布尔代数“，”level“：2，”score“：0.47857738}，{”id“：”https://openalex.org/C125773388，“wikidata”：https://www.wikidata.org/wiki/Q792542“，”display_name“：”公理系统“，”level“：3，”score“：0.47145066}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.45730025}，{”id“：”https://openalex.org/C2777796570，“wikidata”：https://www.wikidata.org/wiki/Q2351326“，”display_name“：”动态逻辑（数字电子）“，”level“：4，”score“：0.45090476}，{”id“：”https://openalex.org/C90509273，“wikidata”：https://www.wikidata.org/wiki/Q11012“，”display_name“：”Robot“，”level“：2，”score“：0.44299015}，{”id“：”https://openalex.org/C12426560，“wikidata”：https://www.wikidata.org/wiki/Q189569“，”display_name“：”基础（线性代数）“，”级别“：2，”分数“：0.41143715}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.39771885｝，｛”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.31278086}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.26155376}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.25150102}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.106236845}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”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/C172385210，“wikidata”：https://www.wikidata.org/wiki/Q5339“，”display_name“：”晶体管“，”电平“：3，”分数“：0.0}，{”id“：”https://openalex.org/C165801399，“wikidata”：https://www.wikidata.org/wiki/Q25428“，”display_name“：”Voltage“，”level“：2，”score“：0.0｝，｛”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-20920-8_18“，”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：19，“referenced_works“：[”https://openalex.org/W1530131999","https://openalex.org/W1762364904","https://openalex.org/W1889694011","https://openalex.org/W1965338471","https://openalex.org/W1978289112","https://openalex.org/W2005494946","https://openalex.org/W2055334450","https://openalex.org/W2075277371","https://openalex.org/W2093397547","https://openalex.org/W2125004756","https://openalex.org/W2129219543","https://openalex.org/W2159131252","https://openalex.org/W2167121581","https://openalex.org/W2587962973","https://openalex.org/W29488690","https://openalex.org/W3157429349","https://openalex.org/W4210411973","https://openalex.org/W4211144022","https://openalex.org/W4213255959“]，”related_works“：[”https://openalex.org/W4300725361","https://openalex.org/W4232127999","https://openalex.org/W329313523","https://openalex.org/W2962692142","https://openalex.org/W2386897142","https://openalex.org/W2262032878","https://openalex.org/W2116374711","https://openalex.org/W1771651560","https://openalex.org/W1640180556","https://openalex.org/W1605727975“]，”ngrams_url“：”https://api.openalex.org/works/W2096583652/ngrams网站“，”“abstract_inverted_index”：{“动态”：[0]，“认知”：[1,32,51]，“代数”：[2,52]，“建立”：[3]，“伽罗瓦”：[4]，“连接”：[5]，“和”：[6,76]，“量子数”：[7]，“as”：[8]，“a”：[9,27,78]，“基础”：[10]，“for”：[11,84]，“推理”：[12]，“关于”：[13]，“知识”：[14]，”in：[15,60]，“多代理”：[16]，“系统”：[17]，“收件人”：[18]，“日期”：[19]，“这些”：[20,46]，“代数公理”：[21]，“方法”：[22]，“有”：[23]，“一直”：[24]，“受限”：[25]，“到”：[26，53]，“正”：[28]，“片段”：[29]，“of”：[30，62，67，72]，“动态”：[31，50]，“逻辑”：[33]，“与”：[34]，“通信”：[35]，“事件”：[36，56]，“仅限。“：[37]，“This”：[38]，“paper”：[39]，“proposes”：[40]，“Boolean”：[41]，“algebral”：[42,70]，“extensions”：[43]，“which”：[44,85]，“convertive”：[45]，“limitions”：【47】，“by”：【48】，“generalizing”：【49】，“scenarios”：【54】，“where”：【55】，“can”：【57】，“change”：【58】，“facts”：【59】，“form”：[61]，“post”条件。“：[63]，”As“：[64]，”an“：[65]，”application“：[66]，”the“：[68]，”new“：/69]，”treatment“：[71]，”post-conditions“：[73]，”we“：%74]，”device“：[75]，”solve“：[77]，”topological“：[79]，”map-based“：[80]，”robot“：[81]，”navigation“：+82]，”example“：[83]，”current“：[86]，”axiomatics“：[87]，”are“：[88]，”不足。“：[89]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2096583652“，”counts_by_year“：[{”年份“：2021，”cited_by_count“：1}，{”年“：2012，”cited_by_count”：1}]，”更新日期“：”2024-06-15T18:39:42.312282“，”创建日期“：“2016-06-24”}