{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T22:26:00Z","timestamp":1776205560072,"version":"3.50.1"},"reference-count":48,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[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-029"},{"start":{"date-parts":[[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","type":"proceedings-article","created":{"date-parts":[[2021,7,7]],"date-time":"2021-07-07T20:14:07Z","timestamp":1625688847000},"page":"1-14","source":"Crossref","is-referenced-by-count":16,"title":["A Bunched Logic for Conditional Independence"],"prefix":"10.1109","author":[{"given":"Jialu","family":"Bao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Docherty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Justin","family":"Hsu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandra","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2018.03.028"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/j.aim.2020.107239","article-title":"A synthetic approach to markov kernels, conditional independence and theorems on su?cient statistics","volume":"370","author":"fritz","year":"2020","journal-title":"Advances in Mathematics"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-008-9415-6"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/3373718.3394773"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-90050-6_11"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511611193"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129518000488"},{"key":"ref36","first-page":"21:1","article-title":"A formal semantics of influence in bayesian reasoning","volume":"83","author":"jacobs","year":"0"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-13345-3_1"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1214\/aos\/1176349407"},{"key":"ref10","author":"pearl","year":"1985","journal-title":"Graphoids A graph-based logic for reasoning about relevance relations"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139084673"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2307\/421090"},{"key":"ref12","first-page":"1","article-title":"Local reasoning about programs that alter data structures","author":"o\u2019hearn","year":"0"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29026-9_8"},{"key":"ref14","article-title":"Bunched logics: a uniform approach","author":"docherty","year":"2019","journal-title":"Ph D Dissertation"},{"key":"ref15","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-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.11.020"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2011.04.005"},{"key":"ref19","article-title":"A Bunched Logic for Conditional Independence","author":"bao","year":"0","journal-title":"IEEE Symposium on Logic in Computer Science (LICS)"},{"key":"ref28","first-page":"374","article-title":"The logic of representing dependencies by directed graphs","author":"pearl","year":"0"},{"key":"ref4","first-page":"1024","article-title":"A new approach to probabilistic programming inference","author":"wood","year":"2014","journal-title":"International Conference on Artificial Intelligence and Statistics (AISTATS) Reykjavik Iceland"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016734104787"},{"key":"ref3","article-title":"Church: a language for generative models","author":"goodman","year":"2012","journal-title":"CoRR"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2935313"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70066-1"},{"key":"ref5","doi-asserted-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"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535850"},{"key":"ref9","first-page":"55:1","article-title":"A probabilistic separation logic","author":"barthe","year":"2019","journal-title":"Proceedings of the ACM on Programming Languages"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90036-2"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(94)90020-5"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/0168-0072(89)90032-8"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89884-1_5"},{"key":"ref48","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198522195.001.0001","author":"lauritzen","year":"1996","journal-title":"Graphical Models"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/BF01220868"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0092872"},{"key":"ref42","doi-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":"Theoretical Computer Science"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/320557.320571"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480923"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1142\/p595"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3290347"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1111\/j.2517-6161.1979.tb01052.x"},{"key":"ref43","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/j.tcs.2006.12.034","article-title":"A semantics for concurrent separation logic","volume":"375","author":"brookes","year":"2007","journal-title":"Theoretical Computer Science"},{"key":"ref25","volume":"8","author":"abiteboul","year":"1995","journal-title":"Foundations of Databases"}],"event":{"name":"2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Rome, Italy","start":{"date-parts":[[2021,6,29]]},"end":{"date-parts":[[2021,7,2]]}},"container-title":["2021 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9470497\/9470501\/09470712.pdf?arnumber=9470712","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,5]],"date-time":"2023-11-05T19:51:12Z","timestamp":1699213872000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9470712\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,29]]},"references-count":48,"URL":"https:\/\/doi.org\/10.1109\/lics52264.2021.9470712","relation":{},"subject":[],"published":{"date-parts":[[2021,6,29]]}}}