{"id":"https://openalex.org/W4405432368","doi":"https://doi.org/10.1145/3704894","title":"Bluebell: An Alliance of Relational Lifting and Independence for Probabilistic Reasoning","display_name":"Bluebell: An Alliance of Relational Lifting and Independence for Probabilistic Reasoning","publication_year":2025,"publication_date":"2025-01-07","ids":{"openalex":"https://openalex.org/W4405432368","doi":"https://doi.org/10.1145/3704894"},"language":"en","primary_location":{"id":"doi:10.1145/3704894","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704894","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3704894","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064550758","display_name":"Jialu Bao","orcid":"https://orcid.org/0000-0002-2353-350X"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jialu Bao","raw_affiliation_strings":["Cornell University, Ithaca, USA"],"raw_orcid":"https://orcid.org/0000-0002-2353-350X","affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013899049","display_name":"Emanuele D\u2019Osualdo","orcid":"https://orcid.org/0000-0002-9179-5827"},"institutions":[{"id":"https://openalex.org/I189712700","display_name":"University of Konstanz","ror":"https://ror.org/0546hnb39","country_code":"DE","type":"education","lineage":["https://openalex.org/I189712700"]},{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Emanuele D'Osualdo","raw_affiliation_strings":["MPI-SWS, Saarbr\u00fccken, Germany","University of Konstanz, Konstanz, Germany"],"raw_orcid":"https://orcid.org/0000-0002-9179-5827","affiliations":[{"raw_affiliation_string":"MPI-SWS, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210121786"]},{"raw_affiliation_string":"University of Konstanz, Konstanz, Germany","institution_ids":["https://openalex.org/I189712700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016276143","display_name":"Azadeh Farzan","orcid":"https://orcid.org/0000-0001-9005-2653"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Azadeh Farzan","raw_affiliation_strings":["University of Toronto, Toronto, Canada"],"raw_orcid":"https://orcid.org/0000-0001-9005-2653","affiliations":[{"raw_affiliation_string":"University of Toronto, Toronto, Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.219,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.86813793,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"9","issue":"POPL","first_page":"1719","last_page":"1749"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9958000183105469,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.7168922424316406},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.7022511959075928},{"id":"https://openalex.org/keywords/probabilistic-argumentation","display_name":"Probabilistic argumentation","score":0.6972025632858276},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.6844632029533386},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5738073587417603},{"id":"https://openalex.org/keywords/statistical-relational-learning","display_name":"Statistical relational learning","score":0.5526026487350464},{"id":"https://openalex.org/keywords/independence","display_name":"Independence (probability theory)","score":0.5096735954284668},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.50660240650177},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.48464900255203247},{"id":"https://openalex.org/keywords/psychology-of-reasoning","display_name":"Psychology of reasoning","score":0.48125216364860535},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.4676969051361084},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.2593974471092224},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21172070503234863},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.19266825914382935},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.14376133680343628},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.10483217239379883}],"concepts":[{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.7168922424316406},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7022511959075928},{"id":"https://openalex.org/C128828806","wikidata":"https://www.wikidata.org/wiki/Q7246848","display_name":"Probabilistic argumentation","level":3,"score":0.6972025632858276},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.6844632029533386},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5738073587417603},{"id":"https://openalex.org/C177877439","wikidata":"https://www.wikidata.org/wiki/Q7604413","display_name":"Statistical relational learning","level":3,"score":0.5526026487350464},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.5096735954284668},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.50660240650177},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.48464900255203247},{"id":"https://openalex.org/C183521366","wikidata":"https://www.wikidata.org/wiki/Q7256422","display_name":"Psychology of reasoning","level":4,"score":0.48125216364860535},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.4676969051361084},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.2593974471092224},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21172070503234863},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.19266825914382935},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.14376133680343628},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.10483217239379883},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3704894","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704894","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2402.18708","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2402.18708","pdf_url":"https://arxiv.org/pdf/2402.18708","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:kops.uni-konstanz.de:123456789/74626","is_oa":true,"landing_page_url":"http://nbn-resolving.de/urn:nbn:de:bsz:352-2-1vmg1efqhck349","pdf_url":null,"source":{"id":"https://openalex.org/S4306401487","display_name":"KOPS (University of Konstanz)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189712700","host_organization_name":"University of Konstanz","host_organization_lineage":["https://openalex.org/I189712700"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the ACM on Programming Languages. ACM. 2025, 9(POPL), S. 1719-1749. eISSN 2475-1421. Verf\u00fcgbar unter: doi: 10.1145/3704894","raw_type":"doc-type:article"}],"best_oa_location":{"id":"doi:10.1145/3704894","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3704894","pdf_url":null,"source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7200000286102295}],"awards":[{"id":"https://openalex.org/G3278247390","display_name":null,"funder_award_id":"101003349","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G434337789","display_name":null,"funder_award_id":"HORIZON2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7175294387","display_name":"CAREER: SHF: Compositional Analysis of Randomized Algorithms","funder_award_id":"2153916","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8867946044","display_name":null,"funder_award_id":"101003349","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1511494208","https://openalex.org/W1982800675","https://openalex.org/W2008160048","https://openalex.org/W2011086847","https://openalex.org/W2141670510","https://openalex.org/W2149996206","https://openalex.org/W2156374980","https://openalex.org/W2220918360","https://openalex.org/W2222812367","https://openalex.org/W2228964661","https://openalex.org/W2565203757","https://openalex.org/W2602388145","https://openalex.org/W2785464537","https://openalex.org/W2885030506","https://openalex.org/W2925599298","https://openalex.org/W2962835979","https://openalex.org/W2977408235","https://openalex.org/W2996703997","https://openalex.org/W3104035686","https://openalex.org/W3104323500","https://openalex.org/W3114469957","https://openalex.org/W3122767180","https://openalex.org/W3122935293","https://openalex.org/W3145555275","https://openalex.org/W3173741849","https://openalex.org/W3215996134","https://openalex.org/W4307731812","https://openalex.org/W4307886450","https://openalex.org/W4318145701","https://openalex.org/W4379518563","https://openalex.org/W4388917161","https://openalex.org/W4399889558"],"related_works":["https://openalex.org/W2025996316","https://openalex.org/W2182693335","https://openalex.org/W1945364905","https://openalex.org/W1534563793","https://openalex.org/W1540734423","https://openalex.org/W165103996","https://openalex.org/W2399112294","https://openalex.org/W1974525301","https://openalex.org/W165460335","https://openalex.org/W2355314240"],"abstract_inverted_index":{"We":[0],"present":[1],"BlueBell":[2,112],",":[3,113],"a":[4,124],"program":[5,101],"logic":[6],"for":[7,104],"reasoning":[8,18,24,27,93,119],"about":[9,39],"probabilistic":[10,40,109],"programs":[11,68],"where":[12],"unary":[13],"and":[14,31,44,133,141],"relational":[15,48,142],"styles":[16,91,117,151],"of":[17,50,61,66,83,92,108,118,123,152],"come":[19],"together":[20],"to":[21,37,75,78],"create":[22],"new":[23,125],"tools.":[25],"Unary-style":[26],"is":[28,32],"very":[29],"expressive":[30],"powered":[33],"by":[34],"foundational":[35],"mechanisms":[36],"reason":[38],"behavior":[41,65],"like":[42],"independence":[43,140],"conditioning":[45],".":[46],"The":[47],"style":[49],"reasoning,":[51],"on":[52],"the":[53,59,64,80,84,89,99,105,121,135,145,149],"other":[54],"hand,":[55],"naturally":[56],"shines":[57],"when":[58,70],"properties":[60],"interest":[62],"compare":[63],"similar":[67],"(e.g.":[69],"proving":[71],"differential":[72],"privacy)":[73],"managing":[74],"avoid":[76],"having":[77],"characterize":[79],"output":[81],"distributions":[82],"individual":[85],"programs.":[86,110],"So":[87],"far,":[88],"two":[90,146,150],"have":[94],"largely":[95],"remained":[96],"separate":[97],"in":[98],"many":[100],"logics":[102],"designed":[103],"deductive":[106],"verification":[107],"In":[111],"we":[114],"unify":[115],"these":[116],"through":[120],"introduction":[122],"modality":[126],"called":[127],"\u201cjoint":[128],"conditioning\u201d":[129],"that":[130],"can":[131],"encode":[132],"illuminate":[134],"rich":[136],"interaction":[137],"between":[138],"conditional":[139],"liftings":[143],";":[144],"powerhouses":[147],"from":[148],"reasoning.":[153]},"counts_by_year":[{"year":2026,"cited_by_count":4}],"updated_date":"2026-08-29T07:29:34.045763","created_date":"2025-10-10T00:00:00"}