{“id”：“https://openalex.org/W3114442593“，”doi“：”https://doi.org/10.1145/3517128“，”title“：“并发多人游戏中联盟目标分配的时间逻辑”，“display_name”：“并发多人游戏中联盟目标分配的时间逻辑”，“publication_year”：2022，“publication_date”：“2022-10-20”，“ids”：｛”openalex“：”https://openalex.org/W3114442593“，”doi“：”https://doi.org/10.1145/3517128“，”mag“：”3114442593“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3517128“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：真，“oa_status”：“green”，“oa_url”：“”https://doi.org/10.1145/3517128“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5042482750“，”display_name“：”Sebastian Enqvist“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I161593684“，”display_name“：”斯德哥尔摩大学“，”ror“：”https://ror.org/05f0yaq80“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I161593684“]}]，”国家“：[”SE“]，”is_corresponding“：false，”raw_author_name“：”Sebastian Enqvist“，”raw _ afiliation_strings“：[“瑞典斯德哥尔摩大学哲学系”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A50666665696“，”display_name“：”Valentin Goranko“，”orcid“：”https://orcid.org/0000-0002-0157-1644}，“机构”：[{“id”：https://openalex.org/I24027795“，”display_name“：”约翰内斯堡大学“，”ror“：”https://ror.org/04z6c2n17“，”country_code“：”ZA“，”type“：“教育”，”世系“：[”https://openalex.org/I24027795“]}，{”id“：”https://openalex.org/I161593684“，”display_name“：”斯德哥尔摩大学“，”ror“：”https://ror.org/05f0yaq80“，”country_code“：”SE“，”type“：“教育”，”世系“：[”https://openalex.org/I161593684“]}]，”国家“：[”SE“，”ZA“]，”is_corresponding“：false，”raw_author_name“：”Valentin Goranko“，”raw _affiliation_strings“：[“瑞典斯德哥尔摩大学哲学系和（客座教授）南非约翰内斯堡大学智能系统研究所”]}]“countries_distiction_count”：2，”institutions_distinct_count“：2，”corresponding_author_ids“：[]，”correcponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nul，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：1，“cited_by_percentile_year”：{“min”：67，“max”：76}，“biblio”：{“volume”：23，“issue”：“4”，“first_page”：“1”，“last”_page“：”58“}，”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/T10456“，”“display_name”：“基于代理建模的方法和技术”，“score”：0.9969，“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/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9946，”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/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.590975}，{”id“：”https://openalex.org/keywords/modal-logics网站“，”display_name“：”模态逻辑“，”score“：0.50622}]，”概念“：[{”id“：”https://openalex.org/C135315306，“wikidata”：https://www.wikidata.org/wiki/Q866364“，”display_name“：”双向模拟“，”level“：2，”score“：0.75886905}，{”id“：”https://openalex.org/C153269930，“wikidata”：https://www.wikidata.org/wiki/Q430001“，”display_name“：”Decidability“，”level“：2，”score“：0.730479}，{”id“：”https://openalex.org/C167729594，“wikidata”：https://www.wikidata.org/wiki/Q17736“，”display_name“：”Axiom“，”level“：2，”score“：0.69937176}，{”id“：”https://openalex.org/C25016198，“wikidata”：https://www.wikidata.org/wiki/Q781833“，”display_name“：”时态逻辑“，”level“：2，”score“：0.65194935}，{”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”Extension（谓词逻辑）“，”level“：2，”score“：0.64703405｝，｛”id“：”https://openalex.org/C189950617，“wikidata”：https://www.wikidata.org/wiki/Q937228“，”“display_name”“：”属性（哲学）“，”级别“：2，”分数“：0.61582136}，{”id“：”https://openalex.org/C17020691，“wikidata”：https://www.wikidata.org/wiki/Q139677“，”display_name“：”运算符（生物学）“，”level“：5，”score“：0.61023074}，{”id“：”https://openalex.org/C4777664，“wikidata”：https://www.wikidata.org/wiki/Q1536492“，”display_name“：”线性时序逻辑“，”level“：2，”score“：0.52281106}，{”id“：”https://openalex.org/C2780801425，“wikidata”：https://www.wikidata.org/wiki/Q5164392“，”display_name“：”Construct（python库）“，”level“：2，”score“：0.4862808}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.45053408}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.44833452}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4387002}，{”id“：”https://openalex.org/C2777735758，“wikidata”：https://www.wikidata.org/wiki/Q817765“，”display_name“：”Path（computing）“，”level“：2，”score“：0.41367054}，{”id“：”https://openalex.org/C144237770，“wikidata”：https://www.wikidata.org/wiki/Q747534“，”display_name“：”数理经济学“，”level“：1，”score“：0.3240674}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.1173628}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：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/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C158448853，“wikidata”：https://www.wikidata.org/wiki/Q425218“，”display_name“：”Repressor“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C86339819，“wikidata”：https://www.wikidata.org/wiki/Q407384“，”display_name“：”转录因子“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：2.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3517128“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机器协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/2012.14195，“pdf_url”：https://arxiv.org/pdf/2012.14195“，”源“：｛”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”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“：”https://doi.org/10.1145/3517128“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”计算机械协会“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”score“：0.43，”display_name“：”和平、正义和强大的机构“}]，”grants“：[{”funder“：”https://openalex.org/F4320322581“，”funder_display_name“：”Vetenskapsr\u00e5det“，”award_id“：”2015-01774“}]，”datasets“：[]，”versions“：[]，”referenced_works_count“：38，”referrenced_works“：[”https://openalex.org/W1532044601","https://openalex.org/W193053345","https://openalex.org/W1976540310网址","https://openalex.org/W1982431152网址","https://openalex.org/W1998468461","https://openalex.org/W2018933130","https://openalex.org/W2048905609","https://openalex.org/W2057234686","https://openalex.org/W2076644510","https://openalex.org/W2077734015","https://openalex.org/W2088189323","https://openalex.org/W2096271480","https://openalex.org/W2108947407","https://openalex.org/W2109058602","https://openalex.org/W2120713972","https://openalex.org/W2133256831","https://openalex.org/W2160254449","https://openalex.org/W2250074872","https://openalex.org/W2262389240","https://openalex.org/W2301866194","https://openalex.org/W2471883051","https://openalex.org/W2493238591","https://openalex.org/W2516028194","https://openalex.org/W2903954122","https://openalex.org/W2908449277","https://openalex.org/W2912248071","https://openalex.org/W2912494578","https://openalex.org/W2964150129","https://openalex.org/W2979476432","https://openalex.org/W3124817010","https://openalex.org/W3125989314","https://openalex.org/W3149517233","https://openalex.org/W3161257624","https://openalex.org/W3189472968","https://openalex.org/W4205251501网址","https://openalex.org/W4211220176","https://openalex.org/W4213277014","https://openalex.org/W4295744948“]，”related_works“：[”https://openalex.org/W258311156","https://openalex.org/W2404739533","https://openalex.org/W2136485937","https://openalex.org/W2107608134","https://openalex.org/W1965551437","https://openalex.org/W1601172863","https://openalex.org/W1598641851","https://openalex.org/W1554045856","https://openalex.org/W1514211561","https://openalex.org/W1494173831“]，”ngrams_url“：”https://api.openalex.org/works/W3114442593/ngrams“，”“abstract_inverted_index”：{“We”：[0166]，“introduce”：[1]，“and”：[2,27184193210216]，“study”：[3]，“a”：[4,45,62,71,75,86116142176201208]，“natural”：[5]，“extension”：[6178]，“of”：[7,18,51,65,68,96137145151170179205]，“the”：[8,34,54,66,90,94,97106121132149171]，“Alternating”：[9]，“time”：[10]，“暂时”：[11,76172]，“逻辑”：[12]，“ATL”：[13]，“，“：[14，59，79，81，84131]，”被称为“：[15，33]，”时间“：[16]，”逻辑“：[17]，”联合“：[19]，”目标“：[20]，”分配“：[21]，”（TLCGA）。“：[22]，”It“：[23]，”features“：[24]，”one“：[25]，”new“：/26]，”quite“：[28]，”expressiver“：[29]，”coalinational“：[30,35,57]，”strategic“：[31]，”operator“：[32]，”goal“：[36,58173]，”assignment“：[37]，”操作符“：[38,77]，”\u2989“：[39108]，”\ u03b3“：[40,43109154]，”[41]，“where”：[42]，“is”：[44103115141]，“mapping”：[46]，“assigning”：[47]，“to”：[48139200]每个“：[49128]，”集合“：[50]，”玩家“：[52]，”in“：[53156175]，”游戏“：[55]，”its“：[56152182218]，”形式化“：[60]，”by“：[61161]，”路径“：[63]，”公式“：[64,72107]，”语言“：[67]，”TLCGA“：[69180215]，”即“：[70]，”前缀“：[73]，”with“：[74187198]，”X“：[78]，”U“：[80]，”or“：[82]，”G“：[83]，”resentating“：[85]，”temporalized“：[87]，”objective“：[88102153]，”对于“：[89120127196214]，”各自“：[91]，”联盟“：[92]，”描述“：[93]，”属性“：[95195]，”游戏“：[98159]，”on“：[99]，”which“：[100]，”that“：[10113126147]，”满意。“：[104]，”然后，“：[105]，”\u298a“：[110]，”直观地“：[111]，”说“：[112]，”那里“：[114]，”战略“：[117144]，”概况“：[118]，”\ u03a3“：[119134138162]，”大“：[122]，”联盟“：[123129]，”Agt“：[124]，”这样“：[125]，”C“：[130136140146164]，”限制“：[133]，”|“：[135163]，”集体“：[143]，“强制执行”：[148]，“满足”：[150]，“（C）”：[155]，“全部”：[157]，“结果”：[158]，“启用”：[160]，“.”：[165]，“建立”：[167]，“固定点”：[168]，“特征化”：[169]，“赋值”：[174]，“\u03bc-calculus”：[177]，“讨论”：[181]，“表达”：[183]，“图解”：[185]，“it”：[186197]，“some”：[188]，“示例”：[189]，“证明”：[190]，“双模拟”：[191]，“不变性”“：[192]，”轩尼诗\u2013Milner“：[194]，”尊重“：[199]，“适当”：[202]，“已定义”：[203]，“概念”：[204]，“互模拟”：[206]，“构造”：[207]，“声音”：[209]，“完整”：[211]，“公理”：[212]，“系统”：[213]，“获取”：[217]，“可判定性”：[219]，“via”：[220]，“有限”：[221]，“模型”：[222]，“属性。”：[223]}，“cited_by_api_url”：“https://api.openalex.org/works？filter=cites:W3114442593“，”counts_by_year“：[{”年“：2023，”cited_by_count“：1}]，”更新日期“：”2024-05-22T19:17:16.206776“，”创建日期“：“2021-01-05”}