{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:UTXSHFCIKWOZF22CBOCHTI3SE3","short_pith_number":"pith:UTXSHFCI","schema_version":"1.0","canonical_sha256":"a4ef239448559d92eb420b8479a37226e070a1e405b274799a40e8242d45aedc","source":{"kind":"arxiv","id":"2405.07373","version":3},"attestation_state":"computed","paper":{"title":"From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.AI","authors_text":"Benito van der Zander, Julian D\\\"orfler, Maciej Liskiewicz, Markus Bl\\\"aser","submitted_at":"2024-05-12T20:25:36Z","abstract_excerpt":"The framework of Pearl's Causal Hierarchy (PCH) formalizes three types of reasoning: probabilistic (i.e. purely observational), interventional, and counterfactual, that reflect the progressive sophistication of human thought regarding causation. We investigate the computational complexity aspects of reasoning in this framework focusing mainly on satisfiability problems expressed in probabilistic and causal languages across the PCH. That is, given a system of formulas in the standard probabilistic and causal languages, does there exist a model satisfying the formulas?\n  Our main contribution is"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2405.07373","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2024-05-12T20:25:36Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"0b742c219fa9fa826c7b94468b8fbd35ad949e907bb295d7c27e090f5662bede","abstract_canon_sha256":"5b2c95a36de628bde290f5fcaf3b8094a275022250614e54a405595ab87c4381"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:10:23.251184Z","signature_b64":"Wx3DDkl7A826BmJEMdtg1OSoKENl5O28nr572eMKKuI5OsZ9Lfzno4tQ4ya5T2EAAQiT9+yxg8ywv8P55x6CBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a4ef239448559d92eb420b8479a37226e070a1e405b274799a40e8242d45aedc","last_reissued_at":"2026-07-05T10:10:23.250726Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:10:23.250726Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.AI","authors_text":"Benito van der Zander, Julian D\\\"orfler, Maciej Liskiewicz, Markus Bl\\\"aser","submitted_at":"2024-05-12T20:25:36Z","abstract_excerpt":"The framework of Pearl's Causal Hierarchy (PCH) formalizes three types of reasoning: probabilistic (i.e. purely observational), interventional, and counterfactual, that reflect the progressive sophistication of human thought regarding causation. We investigate the computational complexity aspects of reasoning in this framework focusing mainly on satisfiability problems expressed in probabilistic and causal languages across the PCH. That is, given a system of formulas in the standard probabilistic and causal languages, does there exist a model satisfying the formulas?\n  Our main contribution is"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.07373","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2405.07373/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2405.07373","created_at":"2026-07-05T10:10:23.250786+00:00"},{"alias_kind":"arxiv_version","alias_value":"2405.07373v3","created_at":"2026-07-05T10:10:23.250786+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.07373","created_at":"2026-07-05T10:10:23.250786+00:00"},{"alias_kind":"pith_short_12","alias_value":"UTXSHFCIKWOZ","created_at":"2026-07-05T10:10:23.250786+00:00"},{"alias_kind":"pith_short_16","alias_value":"UTXSHFCIKWOZF22C","created_at":"2026-07-05T10:10:23.250786+00:00"},{"alias_kind":"pith_short_8","alias_value":"UTXSHFCI","created_at":"2026-07-05T10:10:23.250786+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2601.20405","citing_title":"A Distributional Perspective on Pearl's Causal Hierarchy: From Marginal to Joint and Individualized Potential Outcomes","ref_index":2025,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/UTXSHFCIKWOZF22CBOCHTI3SE3","json":"https://pith.science/pith/UTXSHFCIKWOZF22CBOCHTI3SE3.json","graph_json":"https://pith.science/api/pith-number/UTXSHFCIKWOZF22CBOCHTI3SE3/graph.json","events_json":"https://pith.science/api/pith-number/UTXSHFCIKWOZF22CBOCHTI3SE3/events.json","paper":"https://pith.science/paper/UTXSHFCI"},"agent_actions":{"view_html":"https://pith.science/pith/UTXSHFCIKWOZF22CBOCHTI3SE3","download_json":"https://pith.science/pith/UTXSHFCIKWOZF22CBOCHTI3SE3.json","view_paper":"https://pith.science/paper/UTXSHFCI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2405.07373&json=true","fetch_graph":"https://pith.science/api/pith-number/UTXSHFCIKWOZF22CBOCHTI3SE3/graph.json","fetch_events":"https://pith.science/api/pith-number/UTXSHFCIKWOZF22CBOCHTI3SE3/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/UTXSHFCIKWOZF22CBOCHTI3SE3/action/timestamp_anchor","attest_storage":"https://pith.science/pith/UTXSHFCIKWOZF22CBOCHTI3SE3/action/storage_attestation","attest_author":"https://pith.science/pith/UTXSHFCIKWOZF22CBOCHTI3SE3/action/author_attestation","sign_citation":"https://pith.science/pith/UTXSHFCIKWOZF22CBOCHTI3SE3/action/citation_signature","submit_replication":"https://pith.science/pith/UTXSHFCIKWOZF22CBOCHTI3SE3/action/replication_record"}},"created_at":"2026-07-05T10:10:23.250786+00:00","updated_at":"2026-07-05T10:10:23.250786+00:00"}