{"id":"https://openalex.org/W4396214540","doi":"https://doi.org/10.1145/3649830","title":"Inductive Diagrams for Causal Reasoning","display_name":"Inductive Diagrams for Causal Reasoning","publication_year":2024,"publication_date":"2024-04-29","ids":{"openalex":"https://openalex.org/W4396214540","doi":"https://doi.org/10.1145/3649830"},"language":"en","primary_location":{"id":"doi:10.1145/3649830","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649830","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":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1145/3649830","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5055702623","display_name":"Jonathan Castello","orcid":"https://orcid.org/0000-0002-8548-3683"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jonathan Castello","raw_affiliation_strings":["University of California, Santa Cruz, USA"],"raw_orcid":"https://orcid.org/0000-0002-8548-3683","affiliations":[{"raw_affiliation_string":"University of California, Santa Cruz, USA","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103223141","display_name":"Patrick Redmond","orcid":"https://orcid.org/0000-0001-5702-0860"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Patrick Redmond","raw_affiliation_strings":["University of California, Santa Cruz, USA"],"raw_orcid":"https://orcid.org/0000-0001-5702-0860","affiliations":[{"raw_affiliation_string":"University of California, Santa Cruz, USA","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065115190","display_name":"Lindsey Kuper","orcid":"https://orcid.org/0000-0002-1374-7715"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lindsey Kuper","raw_affiliation_strings":["University of California, Santa Cruz, USA"],"raw_orcid":"https://orcid.org/0000-0002-1374-7715","affiliations":[{"raw_affiliation_string":"University of California, Santa Cruz, USA","institution_ids":["https://openalex.org/I185103710"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I185103710"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.03971349,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"8","issue":"OOPSLA1","first_page":"529","last_page":"554"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"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"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9943000078201294,"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"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.992900013923645,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/inductive-reasoning","display_name":"Inductive reasoning","score":0.5542986989021301},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.5448101162910461},{"id":"https://openalex.org/keywords/causal-reasoning","display_name":"Causal reasoning","score":0.5003199577331543},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.49783802032470703},{"id":"https://openalex.org/keywords/cognitive-science","display_name":"Cognitive science","score":0.43564313650131226},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.3477516770362854},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3420141935348511},{"id":"https://openalex.org/keywords/cognitive-psychology","display_name":"Cognitive psychology","score":0.3244147300720215},{"id":"https://openalex.org/keywords/cognition","display_name":"Cognition","score":0.18319743871688843},{"id":"https://openalex.org/keywords/neuroscience","display_name":"Neuroscience","score":0.07047975063323975}],"concepts":[{"id":"https://openalex.org/C21563000","wikidata":"https://www.wikidata.org/wiki/Q484511","display_name":"Inductive reasoning","level":2,"score":0.5542986989021301},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.5448101162910461},{"id":"https://openalex.org/C115086926","wikidata":"https://www.wikidata.org/wiki/Q17004651","display_name":"Causal reasoning","level":3,"score":0.5003199577331543},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49783802032470703},{"id":"https://openalex.org/C188147891","wikidata":"https://www.wikidata.org/wiki/Q147638","display_name":"Cognitive science","level":1,"score":0.43564313650131226},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.3477516770362854},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3420141935348511},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.3244147300720215},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.18319743871688843},{"id":"https://openalex.org/C169760540","wikidata":"https://www.wikidata.org/wiki/Q207011","display_name":"Neuroscience","level":1,"score":0.07047975063323975}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3649830","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649830","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"}],"best_oa_location":{"id":"doi:10.1145/3649830","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3649830","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":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W1484252365","https://openalex.org/W1512343371","https://openalex.org/W1530545191","https://openalex.org/W1606746896","https://openalex.org/W1973799895","https://openalex.org/W1973943007","https://openalex.org/W1985349143","https://openalex.org/W1987884672","https://openalex.org/W1992681819","https://openalex.org/W2001503652","https://openalex.org/W2013082250","https://openalex.org/W2026697016","https://openalex.org/W2032933946","https://openalex.org/W2067311317","https://openalex.org/W2072419942","https://openalex.org/W2091590079","https://openalex.org/W2118153508","https://openalex.org/W2119180894","https://openalex.org/W2125011947","https://openalex.org/W2126087831","https://openalex.org/W2131053137","https://openalex.org/W2131929623","https://openalex.org/W2132761501","https://openalex.org/W2137628566","https://openalex.org/W2145220267","https://openalex.org/W2148392844","https://openalex.org/W2161730338","https://openalex.org/W2167744164","https://openalex.org/W2288327952","https://openalex.org/W2296612922","https://openalex.org/W2487425287","https://openalex.org/W2513640037","https://openalex.org/W2560856221","https://openalex.org/W2688713097","https://openalex.org/W2901454403","https://openalex.org/W2940960788","https://openalex.org/W3016987934","https://openalex.org/W3092743015","https://openalex.org/W3114324652","https://openalex.org/W3137220996","https://openalex.org/W3174821814","https://openalex.org/W3190249204","https://openalex.org/W4214567754","https://openalex.org/W4254234063","https://openalex.org/W4280637086","https://openalex.org/W4307886470","https://openalex.org/W4312101228","https://openalex.org/W4315605974","https://openalex.org/W4327630827","https://openalex.org/W4387674062","https://openalex.org/W4388926147","https://openalex.org/W7139033639"],"related_works":["https://openalex.org/W2378744282","https://openalex.org/W1594850618","https://openalex.org/W2404646237","https://openalex.org/W2793985749","https://openalex.org/W2511370536","https://openalex.org/W1981476799","https://openalex.org/W4255038409","https://openalex.org/W2072939363","https://openalex.org/W1995875985","https://openalex.org/W4249683946"],"abstract_inverted_index":{"The":[0,106,205],"Lamport":[1,24,68],"diagram":[2,48],"is":[3,167],"a":[4,16,33,63,99,115,127,151,159,170],"pervasive":[5],"and":[6,57,186,195,198,208],"intuitive":[7],"tool":[8],"for":[9,138,155],"informal":[10],"reasoning":[11],"about":[12],"\u201chappens-before\u201d":[13,97],"relationships":[14,79,141],"in":[15,32,158,169,214],"concurrent":[17,58],"system.":[18],"However,":[19],"traditional":[20],"axiomatic":[21],"formalizations":[22],"of":[23,102,109,117,124,132,153,162,172,191,196,203],"diagrams":[25,56],"can":[26],"be":[27],"painful":[28],"to":[29,67],"work":[30],"with":[31,126],"mechanized":[34,213],"setting":[35],"like":[36],"Agda.":[37],"We":[38,120,144,174],"propose":[39],"an":[40],"alternative,":[41],"inductive":[42,107],"formalization":[43],"\u2014":[44,50],"the":[45,75,85,122,188,215],"causal":[46,78,140],"separation":[47,59],"(CSD)":[49],"that":[51,77,87,93,166],"takes":[52],"inspiration":[53],"from":[54],"string":[55],"logic,":[60],"but":[61],"enjoys":[62],"graphical":[64],"syntax":[65],"similar":[66],"diagrams.":[69],"Critically,":[70],"CSDs":[71,110,125],"are":[72,82,212],"based":[73],"on":[74,130,178,182,187],"idea":[76],"between":[80,90,104],"events":[81],"witnessed":[83],"by":[84,149],"paths":[86,103],"information":[88],"follows":[89],"them.":[91],"To":[92],"end,":[94],"we":[95],"model":[96],"as":[98,142],"dependent":[100],"type":[101],"events.":[105],"formulation":[108],"enables":[111],"their":[112],"interpretation":[113],"into":[114],"variety":[116],"semantic":[118],"domains.":[119],"demonstrate":[121],"interpretability":[123],"case":[128,210],"study":[129,148,211],"properties":[131],"logical":[133],"clocks":[134,190],",":[135],"widely-used":[136],"mechanisms":[137],"reifying":[139],"data.":[143],"carry":[145],"out":[146],"this":[147,176],"implementing":[150],"series":[152],"interpreters":[154],"CSDs,":[156],"culminating":[157],"generic":[160],"proof":[161,177,217],"Lamport\u2019s":[163,179],"clock":[164],"condition":[165],"parametric":[168],"choice":[171],"clock.":[173],"instantiate":[175],"scalar":[180],"clock,":[181,185],"Mattern\u2019s":[183],"vector":[184],"matrix":[189],"Raynal":[192],"et":[193],"al.":[194],"Wuu":[197],"Bernstein,":[199],"yielding":[200],"verified":[201],"implementations":[202],"each.":[204],"CSD":[206],"formalism":[207],"our":[209],"Agda":[216],"assistant.":[218]},"counts_by_year":[],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-10T00:00:00"}