{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,3]]，“日期-时间”：“2024-05-03T17:19:48Z”，“时间戳”：1714756788277}，“引用-计数”：62，“出版商”：“IEEE”，“许可证”：[{“开始”：}“日期-部分”：[[2021,6,29]]，”日期-时间“：”2021-06-29T00:00:00Z“，”timestamp“：1624924800000}，”content-version“：”vor“，“延迟天数”：0，“URL”：“https://ieeexplore.ieee.org/Xplorehelp\/downloads\/license-information\/ieee.html”｝，｛“开始”：｛“日期部分”：[[2021,6,29]]，“日期时间”：“2021-06-29T00:00:00Z”，“时间戳”：1624924800000｝，“内容版本”：“stm-asf”，“延迟天数”：0，“URL”：“https://doi.org/10.15223\/policy-029”｝，｛“开始”：｛“日期零件”：[[2021,6,29]]，“date-time”：“2021-06-29T00:00:00Z”，“timestamp”：1624924800000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-037”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[]，”published-print“：{”date-parts“：[2021,6,29]]}，“doi”：“10.1109\/lics52264.2021.9470585”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，“source”：“Crossref”，“is-referenced-by-count”：3，“title”：[“Living without Beth and Craig:Definitions and Interpoants in the Guarded and Two-Viable Fragments”]，“prefix”：“10.1109”，”author“[{”given“given”：”Jean Christoph“，“family”：“Jung”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Frank”，“family”：“Wolter”，”sequence“：“additional”，“ffiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“10.2307\/2272133”}，{“键”：“参考33”，“首页”：“79”，“article-title”：“明确完整的描述逻辑”，“author”：“ten cate”，“year”：“2006”，“journal-title“：”KR的Proc“}，{“key”：“ref32”，“artifle-title:”用概念和公式分隔正负数据示例：受限签名的情况“，“author”：“jung”，“年份”：“2020”，“日记标题”：“DL的Proc”}，“key“：”ref31“，“article-title”：“本体论下不完全数据的逻辑可分性”，“author”：“jung”，“year”：“2020”，“journal-title“：”KR的Proc“}，{“key”：“ref30”，“doi-asserted-by”：“publisher”，“doi”：“10.1162\/COLI_a_00088”}，“key“：”ref37“，”doi-assert-by“：”publisher“，”doi“：”10.1007\/978-319-06025-5_1 ref36“，”doi-asserted-by“：”publisher“，”doi“：“10.1016\/S1570-2464（07）80008-5”}，{“key”：“ref35”，“doi-asserted-by”：“publisher”，“doi”：“10.1023\/A:1015154431342”}“}，{”key“：”ref62“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/LICS.2019.8785658“}”，{“key”：“ref61”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/322234.32243”}，{“key”：”ref28“，”doi-assert-by“：”publisher“，”doi“：”10.1007\/s10994-009-5146-2“}，”key“：”ref27“，”doi-assertd-by“：”publisher“，”DI:“10.1007\/s 00012-009-0022-2”}“，：“publisher”，“doi”：“10.1016\/j.is.2019.03.002”}，{“key”：“ref2”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/978-3-540-45069-6_1”}，{“key”：“ref1”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1007\/s11229-008-9351-5“}，}“key”：”ref20“，”DOI-assert-by“：”publisher“，”DOI“：“10.1145\/3242953.3242958”}，{“key”：“ref21”，“首页”：“393”，“文章标题”：“为什么模态逻辑如此稳健地可判定？”，“author”：“gr\u00e4del”，“year”：“2001”，“journal title”：“进入21世纪的理论计算机科学的当前趋势”}，｛“key”：“ref24”，“doi断言者”：“publisher”，“doi”：“10.1007\/BF0294491”｝，｛“key”：“ref23”，“doi断言者”：“publisher”，“doi”：“10.2140\/pjm.19692.28.309”｝，｛“key”：“ref26”，“article-title”：“柱代数中的同素异形”，“author”：“andreka”，“year”：“1983”}，{“key”：“ref25”，“doi-asserted-by”：“publisher”，“doi”：“10.1305 \/ndjfl \/1039293067”}：“ICALP程序”}，{“key”：“ref51”，“first-page”：“989”，“article-title”：“表达描述逻辑中统一内插和遗忘的基础”，“author”：“lutz”，“year”：“2011”，“journal-title“：”IJCAI的Proc“}，{“key”：”ref59“，”first-page:“47”，“article-title”：“一致性的结果及其在定义理论中的应用”，“volume”：：“robinson”，“year”：“1956”｝，｛“key”：“ref58”，“doi断言者”：“publisher”，“doi”：“10.2178\/jsl\/1107298517”｝，｛“key”：“ref57”，“doi断言者”：“publisher”，“doi”：“10.2307\/2695090”｝，｛“key”：“ref56”，“author”：“maksimova”，“year”：“2005”，“期刊标题”：“模态和直觉逻辑中的插值和可定义”｝，｛“key”：“参考文献55”，“文章标题”：“双变量逻辑具有弱但不强的可定义性”，“author”：“andreka”，“year”：“2020”}，{“key”：“ref54”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.tcs.2014.08.015”}：“描述逻辑EL中统一插值和逼近的自动机理论方法”，“author”：“lutz”，“year”：“2012”，“journal-title”：“Proc of KR”}，{“key”：“ref10”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2108242.2108247”}泰德比”：“publisher”，“DOI”：“10.2168\/LMCS-12（1:5）2016”}，{“key”：“ref12”，“DOI-asserted-by”：“crossref”，”DOI“：”10.2168\/LMCS-10（2:3）2014“，”article-title“：”查询保护碎片“，”volume“：”10“，”author“：”b\u00e1r\u00e1'“，”year“：”2014“，“journal-title”：“Log-Meth Compute Sci”}、{“key”：”ref13“，“DOI-asserted-by”：“publisher”，“DOI”：“10.1145\/3375628”}，{“key”：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/3-540-48242-3_17”}，{“key”：“ref15”，“首页”：“98”，“article-title”：“重写保护否定查询”，“author”：“b\u00e1r\u00e1'”，“year”：“2013”，“journal-title“：”MFCS的进程“}”，{”key“：“ref16”，“article-titel”：“只包含有限数量符号的逻辑系统”，“作者“：”亨金“，”年“：“1967”}，{“key”：“ref17”，“doi-asserted-by”：“crossref”，“doi”：“10.1017\/978131616878”，“volume”：”9“，“author”：“otto”，“year”：“2017”，“journal-title”：“有界变量逻辑与有限模型计算研究”}，“doi-asserted-by”：“publisher”，“doi”：“10.2307\/421196”}，{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1613\/jair.4057”}，{“密钥”：“ref3”，“doi-assertd-by”：“publisher”，“DI:”10.1007\/978-3-540-78800-3_30 ted-by“：”crossref“，”author“：”benetikt“，”year“：”2016“，”journal-title“：“从证明中生成计划基于插值的查询重定格式方法”，“DOI”：“10.1007\/978-3-031-01856-5”}，{“key”：“ref8”，“DOI-asserted-by”：“publisher”，“DOI”：”10.1109\/LICS.1999.782585“}，}“key”：”ref7“，”DOI-assert-by“：”publisher“，”DOI“：”10.2307\/2586808“DOI”：“10.1145\/2814570”}，{“密钥”：“ref9”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/LICS.2000.855771”}，{“key”：“ref46”，“首页”：“2:1”，“article-title”：“是什么使查询确定性变体（un）可判定？（邀请谈话）”，“volume”：”155“，”author“：”marcinkowski“，”year“2020”，“journal-title“：”ICDT Proc“}，}”key“：”ref45“，”doi-assert-by“：”publisher“，”doi“：“10.1145\/1806907.1806913”}，{“key”：“ref48”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/jsl.2018.64”}42“，”doi-asserted-by“：”publisher“，”doi“：“10.1142\/S0218196710005662”}，{“key”：“ref41”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0022-4049（88）90042-4”}7.16770“，”文章标题“：“Living with beth and craig:Explicit definitions and interpolatents in description logics with nominal and role hierarchies”，“author”：“artale”，“year”：“2021”，“journal-title”：“Proc Of AAAI”}]，“event”：{“name”：“2020年第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）”]，“原始标题”：[]，“链接”：[{“URL”：“http://\xplorestaging.IEEE.org\/ielx7\/947097\/94470501\/09470585.pdf？arnumber=9470585”，“内容类型”：“未指定”，“content-version”：“vor”，“预期应用”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2023,1,3]]，“日期-时间”：“2023-01-03T07:31:25Z”，“时间戳”：1672731085000｝，“分数”：1，“资源”：｛“主”：｛“URL”：“https://ieeexplore.ieee.org/document\/947085\/”｝，“副标题”：[]，“短标题”：[]，“发布”：｛“日期部分”：[[2021,6,29]]｝，“引用计数”：62，“URL”：“http://\/dx.doi.org\/10.109\/lics52264.2021.9470585”，“关系”：{}，“主题”：[]，“发布”：{“日期-部件”：[[2021,6,29]]}}}