{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,16]]，“日期-时间”：“2024-04-16T13:07:23Z”，“时间戳”：1713272843549}，“引用-计数”：40，“发布者”：“IEEE”，“许可证”：[{“开始”：{-“日期-零件”：[2021,6,29]]，”“日期-时刻”：“2011-06-29T00:00:00Z“，”timestamp“：1624924800000}，”content-version“：“stm-asf”，“delay-in-days”：0，“URL”：“https:\\/doi.org\/10.15223\/policy-029”}，{“start”：{“date-parts”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”7“}]，”内容域“：{”域“：[]，”交叉标记限制“：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2021,6,29]]}，“DOI”：“10.1109\/lics52264.2021.9470616”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：162568884700}，”源“Crossref”，“is-referenced-by-count”：3，“title”：[“透视多人游戏”]，“前缀”：“10.1109”，“author”：[{“given”：“Orna”，“family”：“Kupferman”，“sequence”：“first”，“affiliation”：[}“name”：“The Hebrew University，School of Computer Science and Engineering，Israel”}]}，{“给定”：“Noam”，“家庭”：“Shenwald”，“序列”：“additional”，“从属关系”：[[{”name“The Herbew Unity，Scholl of Compute Sciences and Engineence，Israle”}]]，“member”：“263”，“reference”：[{“key”：“ref39”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0022-0000（86）90026-7”}，{“密钥”：“ref38”，“doi-assertd-by”：“publisher”，“DI:”10.1016\/0022-000（84）90034-5“}，}“key:”ref33“，”doi-assert-by“：”publisher“，”doi“：”10.1017\/CBO9780511800481“}”，{”key“：“ref32”，“doi-asserted-by”：“publisher”，“doi”：“10.1073\/pnas.36.1.48”}，{“key”：“ref31”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（94由“：”publisher“，”doi“：”10.1007\/BFb0035790“}插入，{”key“：”ref35“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/75277.75293”}，{“key”：“ref34”，“doi-asserted-by”：”publisher“，”doi“：”10.1016\/0304-3975（81）90110-9“}，”{“密钥”：“ref10”，“”doi-assert-by“：”publister“，”doi“：“10.2168\/LMCS-11（2:9）2015”}，“doi”：“10.1006\/inco.1994.1092”}，{“key”：“ref11”，“doi-asserted-by”：“publisher”，“DOI”：“10.1016\/j.ic.2016.10.010”}，{“key”：“ref12”，“DOI-asserted-by”：“publisher”，“DOI:”10.4114\/ia.v14i46.1530“}”，{”key“：”ref13“，”DOI-assert-by“：”publisher“，”DOI“：”10.1007\/978-3642-162-48_1“}，”key：“ref14”，“首页”：“287”，“article-title”：“？-常规游戏的算法信息不完全”，“作者”：“chatterjee”，“年份”：“2006”，“journal-title”：“欧洲计算机科学协会第十五届年度大会逻辑卷4207计算机科学讲义”}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1109”\/FSKD.2007.458“}，}“key:”ref16“，”first page“：”121:1“，”article-title“：”the complex of rational synthesis“，”author“：”condurache“，“year”：“2016”，“journal-title”：“LIPIcs自动化语言和编程第43届国际学术会议第55卷”}，{“key”：“ref17”，“article-title“：“不完全信息和完全回忆语义下的模型检查ATL是不可判定的”，“volume”：”abs 1102 4225“，“author”：“dima”，“year”：“2011”，“johnal-title:”CoRR“}，”{“key”：：“ref18”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/3-540-15648-8_7”}，{“key”：“ref19”，“DOI-asserted-by”：“publisher”，“DOI:”10.1145\/3209108.3209164“}，“key“：”ref28“，”DOI-assert-by“：”publisher“，”DOI“：”10.1007\/978-1-4612-0017-8 \/5“}，{“key”：“ref27”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1109\/SFCS.2005.66”}，{“key”：“ref3”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2875421”}，{“密钥”：“ref6”，“首页”：“217”，“文章标题”：“基于论证的联盟结构推理模型”，“author”：“amgoud”，”年份“：“2005”，“journal-title”：“第二届多智能体系统论证国际研讨会，计算机科学讲义4049卷”}，{“key”：“ref29”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10009-012-0236-z”}：“具有Büchi目标的并发游戏中的纳什均衡”，“作者”：“布耶”，“年份”：“2011年”，“新闻标题”：“LIPIcs软件技术和理论计算机科学基础第13卷第31次会议”}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.24963\/ijcai.2019\/5”}：“修复多层游戏”，“卷”：“42”，“作者”：“almagor”，“年份”：“2015”，“新闻标题”：“LIPIcs”}，{“key”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-28729-9_20”}“，”首页“：”71“，”文章标题“：“关于有限状态切换系统的推理”，“author”：“fisman”，“year”：“2009”，“journal-title”：“第五届国际海法验证会议计算机科学讲义第6405卷”}，{“key”：“ref22”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.ic.2018.02.023”}：“10.1007\/978-3642-12002-2_16”}，{“key”：“ref24”，“doi-asserted-by”：“publisher”，“doi”：“10.107\/s10472-016-9508-8”}86-5_6“}，{“key”：“ref25”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.2019.8785662”｝]，“event”：｛“name”：“2021第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”，“location”：“Rome，Italy”，“start”：｛“date parts”：[[2021,6,29]]｝，“end”：｛“date parts”：[[2021,7,2]}｝，“container title”：[“2021第36届ACM\/IEEE计算机科学逻辑研讨会（LICS）”]，“original title”：[]，“link”：[｛“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/9470497\/9470501\/09470616.pdf？arnumber=9470616”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2022,8,2]，“date-time”：”2022-08-02T23:01:47Z“，“timestamp”：1659481307000}，“score”：1，“resource”“：{”primary“:{”URL“：“https:\/\/ieeexplore.iee.org\/document\/9470616\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期部分”：[2021,6,29]]}，”引用计数“：40，”URL“：”http://\/dx.doi.org\/10.109\/lics52264.2021.9470616 6,29]]}}}