{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,4,29]]，“日期-时间”：“2024-04-29T18:27:33Z”，“时间戳”：1714415253381}，“引用-计数”：48，“出版商”：“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.9470712”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2021,7,7]]，“date-time”：“2021-07-07T20:14:07Z”，“timestamp”：1625688847000}，“source”：“Crossref”，“is-referenced-by-count”：5，“title”：[“A Bunched Logic for Conditional Independence”]，“prefix”：“10.1109”，”author“[{”given“give”：“Jialu”，“family”：“Bao”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Simon”，“family”：“Docherty”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Justin”，“family”：“Hsu”，“序列”：“附加”，“从属”：[]}，}“giving”：“Alexandra”，“家族”：“Silva”，“sequence”:“additionable”，“abfiliation“：[]]}]，“member”：“263”，“reference”：[{“key”：”ref39“，“doi-asserted-by”：”publisher“，“doi”：“10.1016\/j.entcs.2018.03.028“}，{“键”：“参考38”，“doi断言者”：“crossref”，“首页”：“107”，“doi”：“10.1016\/j.aim.2020.107239”，“文章标题”：“马尔可夫核、条件独立性和有效统计定理的综合方法”，“卷”：“370”，“作者”：“fritz”，“年”：“2020”，“期刊标题”：“数学进展”}，{“key”：“ref33”，“doi断言者”：“publisher”，“doi”：“10.1007\/s11229-008-9415-6”}，{“key”：“ref32”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3373718.3394773”}193“}，{”key“：”ref37“，”doi-asserted-by“：”publisher“，”doi“：“10.1017\/S0960129518000488”}，{“key”：“ref36”，“首页”：“21:1”，“文章标题”：“贝叶斯推理中影响的形式语义”，“卷”：“83”，“作者”：“jacobs”，“年”：“0”}“，”doi“：”10.1214\/aos\/1176349407“}，{”key“：“ref10”，“author”：“pearl”，“year”：“1985”，“journal-title”：“Graphoids关联关系推理的基于图形的逻辑”}，{“key”：“ref40”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/CBO9781139084673”}“，”文章标题“：“关于改变数据结构的程序的本地推理”，“author”：“o\u2019hearn”，“year”：“0”}，{“key”：“ref13”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-030-29026-9_8”}、{“密钥”：“ref14”，“article-title”：“捆绑逻辑：统一方法”，“author”:“docherty”，“年份”：“2019”，“新闻标题”：“Ph D论文”}和{“key”：“参考15”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/11944836_33”}，{“key”：“ref16”，“doi-asserted-by”：”publisher“，”doi“：”10.1007\/978-3-319-71237-6_10“}，”{“key”：”ref17“，”doi-assert-by“：”publister“，”doi“：“10.1016\/j.tcs.2003.11.020”}、{“key”：“ref18”，“doi-asserted-by”“doi”：“10.1016\/j.jlap.2011.04.005”}，{“key”：“ref19”，“文章标题”：“A Bunched Logic for Conditional Independence”，“author”：“bao”，“year”：“0”，“journal-title”：“IEEE计算机科学逻辑研讨会（LICS）”}，{“key”：“ref28”，“first-page”：“374”，“article-title“：“The Logic of representating dependencies by directed graphs”，“author”:“pearl”，“year”：：“概率编程推断的新方法”，“author”：“wood”，“year”：“2014”，“journal-title”：“国际人工智能与统计会议（AISTATS）冰岛雷克雅未克”}，{“key”：“ref27”，“doi-asserted-by”：“publisher”，“doi”：“10.1023\/A:1016734104787”}：“Church：生成模型的语言”，“author”：“goodman”，“year”：“2012”，“journal-title”：“CoRR”}，{“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2933575.2935313”}ted-by“：”publisher“，”doi“：”10.1145\/3158147“}，{”key“：”ref8“，“author”：“barocas”，“year”：“2019”，“journal-title”：“Fairness and Machine Learning”}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3371125”}“，”author“：”barthe“，”year“：”2019“，“journal-title”：“ACM程序设计语言会议录”}，{“key”：“ref1”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0022-0000（81）90036-2”}/0168-0072（89）90032-8“}，{“键”：“参考45”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-319-89884-1_5”}，{“key”：“ref48”，“doi-asserted-by”：”crossref“，”author“：”lauritzen“，”year“：”1996“，”journal-title“：”Graphical Models“，”doi“：”10.1093\/oso\/978052295.001 \/0890-5401（91）90052-4“}，{“key”：“ref47”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/BF01220868”}，{“key”：“ref21”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1007\-BFb0092872“}，}“key”：”ref42“，“doo-asserted-by”：”crossref“，”first page“：”271“，”DOI“：”10.1016\/j.tcs.2006.12.035“，”article-title“：”Resources，concurrency，and local reasoning“，”volume“：“375”，“author”：“ohearn”，“year”：“2007”，“journal-title”：“理论计算机科学”}，{“key”：“ref24”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/320557.320571”}ted-by“：”publisher“，”doi“：”10.1145\/3290347“}，{”key“：”ref26“，“doi-asserted-by”：“publisher”，“doi”：“10.1111\/j.2517-6161.1979.tb01052.x”}，{“key”：“ref43”，“doo-asserted-by”：”crossref“，”first page“：”227“，”doi“：”10.1016\/j.tcs.2006.12.034“，”article-title“：”并发分离逻辑的语义“，”volume“：“375”，“author”：“brookes”，“year”：“2007”，“journal-title”：“理论计算机科学”}，{“键”：“参考25”，“volume”：“8”，“author”：“abiteboul”，“year”：“1995”，“journal-title”：“Foundations of Databases”}]，“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 \/947097\/9470712.pdf？arnumber=9470712”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2023,20]11.5]]，“日期-时间”：“2023-11-05T19:51:12Z”，“时间戳”：1699213872000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/ieexplore.ieee.org/document\/9470712\/”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2021,6,29]]｝，“引用次数”：48，“URL”：“http:\/\/dx.doi.org/10.1109\/lics52242.021.94 70712”，“关系”：｛｝，“主题”：[]，“已发布”：{“日期部分”：[[2021,6,29]]}}