{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:MRVG7M5EZMCNXI3XEILN22253F","short_pith_number":"pith:MRVG7M5E","canonical_record":{"source":{"id":"2109.12240","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-09-25T00:00:47Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"deae56aa25f42f0aa9cf0a86d2a609eaf21e92601ee731104df1dcb26958bcb8","abstract_canon_sha256":"b0324957dad112beab045ac72a1591d4a3ce6dcea4707cdcd99c4688e4aafe90"},"schema_version":"1.0"},"canonical_sha256":"646a6fb3a4cb04dba3772216dd6b5dd971cd8d215c67f35945d637d8a2ef053b","source":{"kind":"arxiv","id":"2109.12240","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.12240","created_at":"2026-07-05T03:17:18Z"},{"alias_kind":"arxiv_version","alias_value":"2109.12240v1","created_at":"2026-07-05T03:17:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.12240","created_at":"2026-07-05T03:17:18Z"},{"alias_kind":"pith_short_12","alias_value":"MRVG7M5EZMCN","created_at":"2026-07-05T03:17:18Z"},{"alias_kind":"pith_short_16","alias_value":"MRVG7M5EZMCNXI3X","created_at":"2026-07-05T03:17:18Z"},{"alias_kind":"pith_short_8","alias_value":"MRVG7M5E","created_at":"2026-07-05T03:17:18Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:MRVG7M5EZMCNXI3XEILN22253F","target":"record","payload":{"canonical_record":{"source":{"id":"2109.12240","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-09-25T00:00:47Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"deae56aa25f42f0aa9cf0a86d2a609eaf21e92601ee731104df1dcb26958bcb8","abstract_canon_sha256":"b0324957dad112beab045ac72a1591d4a3ce6dcea4707cdcd99c4688e4aafe90"},"schema_version":"1.0"},"canonical_sha256":"646a6fb3a4cb04dba3772216dd6b5dd971cd8d215c67f35945d637d8a2ef053b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:17:18.011954Z","signature_b64":"H8QIuF0bKSPJcJZXnbGgr3bl/iDax+pkkjhfIlqNrxzjpyDBqLFEm92P7PU2/AfzTwtFuoiZv+1iqu2IxzbSAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"646a6fb3a4cb04dba3772216dd6b5dd971cd8d215c67f35945d637d8a2ef053b","last_reissued_at":"2026-07-05T03:17:18.011459Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:17:18.011459Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2109.12240","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T03:17:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mr6n2TWpdX0lJHcuxY1e2/HINK7hipx/sRNa8hOvLAhlJ7IP5UQF9yF2tpBTXOp82DjJvODUiScAs5n2HA1nAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T22:57:21.114678Z"},"content_sha256":"328b2e6643f2d884ee0f96cdd6d1538bdc21036f00a768f39b0a0103f9fd8866","schema_version":"1.0","event_id":"sha256:328b2e6643f2d884ee0f96cdd6d1538bdc21036f00a768f39b0a0103f9fd8866"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:MRVG7M5EZMCNXI3XEILN22253F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Logical Credal Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Alexander Gray, Debarun Bhattacharjya, Francisco Barahona, Haifeng Qian, Pravinda Sahu, Radu Marinescu, Ryan Riegel, Tian Gao","submitted_at":"2021-09-25T00:00:47Z","abstract_excerpt":"This paper introduces Logical Credal Networks, an expressive probabilistic logic that generalizes many prior models that combine logic and probability. Given imprecise information represented by probability bounds and conditional probability bounds of logic formulas, this logic specifies a set of probability distributions over all interpretations. On the one hand, our approach allows propositional and first-order logic formulas with few restrictions, e.g., without requiring acyclicity. On the other hand, it has a Markov condition similar to Bayesian networks and Markov random fields that is cr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.12240","kind":"arxiv","version":1},"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/2109.12240/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T03:17:18Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OeR1ORlGznkGYbK6pN8Iy+h+a11gO+3tvXMvB2sFEFQEyNLh9/6bSXD40fw0Tm6gdo9mA6pXI2htkBIrpkoUCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-17T22:57:21.115059Z"},"content_sha256":"aa87edb2730251581a4e30adcb819df68b3ebc0595657ff9beeb688d7ca49fc5","schema_version":"1.0","event_id":"sha256:aa87edb2730251581a4e30adcb819df68b3ebc0595657ff9beeb688d7ca49fc5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MRVG7M5EZMCNXI3XEILN22253F/bundle.json","state_url":"https://pith.science/pith/MRVG7M5EZMCNXI3XEILN22253F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MRVG7M5EZMCNXI3XEILN22253F/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-17T22:57:21Z","links":{"resolver":"https://pith.science/pith/MRVG7M5EZMCNXI3XEILN22253F","bundle":"https://pith.science/pith/MRVG7M5EZMCNXI3XEILN22253F/bundle.json","state":"https://pith.science/pith/MRVG7M5EZMCNXI3XEILN22253F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MRVG7M5EZMCNXI3XEILN22253F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:MRVG7M5EZMCNXI3XEILN22253F","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"b0324957dad112beab045ac72a1591d4a3ce6dcea4707cdcd99c4688e4aafe90","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-09-25T00:00:47Z","title_canon_sha256":"deae56aa25f42f0aa9cf0a86d2a609eaf21e92601ee731104df1dcb26958bcb8"},"schema_version":"1.0","source":{"id":"2109.12240","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2109.12240","created_at":"2026-07-05T03:17:18Z"},{"alias_kind":"arxiv_version","alias_value":"2109.12240v1","created_at":"2026-07-05T03:17:18Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2109.12240","created_at":"2026-07-05T03:17:18Z"},{"alias_kind":"pith_short_12","alias_value":"MRVG7M5EZMCN","created_at":"2026-07-05T03:17:18Z"},{"alias_kind":"pith_short_16","alias_value":"MRVG7M5EZMCNXI3X","created_at":"2026-07-05T03:17:18Z"},{"alias_kind":"pith_short_8","alias_value":"MRVG7M5E","created_at":"2026-07-05T03:17:18Z"}],"graph_snapshots":[{"event_id":"sha256:aa87edb2730251581a4e30adcb819df68b3ebc0595657ff9beeb688d7ca49fc5","target":"graph","created_at":"2026-07-05T03:17:18Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2109.12240/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper introduces Logical Credal Networks, an expressive probabilistic logic that generalizes many prior models that combine logic and probability. Given imprecise information represented by probability bounds and conditional probability bounds of logic formulas, this logic specifies a set of probability distributions over all interpretations. On the one hand, our approach allows propositional and first-order logic formulas with few restrictions, e.g., without requiring acyclicity. On the other hand, it has a Markov condition similar to Bayesian networks and Markov random fields that is cr","authors_text":"Alexander Gray, Debarun Bhattacharjya, Francisco Barahona, Haifeng Qian, Pravinda Sahu, Radu Marinescu, Ryan Riegel, Tian Gao","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-09-25T00:00:47Z","title":"Logical Credal Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2109.12240","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:328b2e6643f2d884ee0f96cdd6d1538bdc21036f00a768f39b0a0103f9fd8866","target":"record","created_at":"2026-07-05T03:17:18Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"b0324957dad112beab045ac72a1591d4a3ce6dcea4707cdcd99c4688e4aafe90","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2021-09-25T00:00:47Z","title_canon_sha256":"deae56aa25f42f0aa9cf0a86d2a609eaf21e92601ee731104df1dcb26958bcb8"},"schema_version":"1.0","source":{"id":"2109.12240","kind":"arxiv","version":1}},"canonical_sha256":"646a6fb3a4cb04dba3772216dd6b5dd971cd8d215c67f35945d637d8a2ef053b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"646a6fb3a4cb04dba3772216dd6b5dd971cd8d215c67f35945d637d8a2ef053b","first_computed_at":"2026-07-05T03:17:18.011459Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:17:18.011459Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"H8QIuF0bKSPJcJZXnbGgr3bl/iDax+pkkjhfIlqNrxzjpyDBqLFEm92P7PU2/AfzTwtFuoiZv+1iqu2IxzbSAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T03:17:18.011954Z","signed_message":"canonical_sha256_bytes"},"source_id":"2109.12240","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:328b2e6643f2d884ee0f96cdd6d1538bdc21036f00a768f39b0a0103f9fd8866","sha256:aa87edb2730251581a4e30adcb819df68b3ebc0595657ff9beeb688d7ca49fc5"],"state_sha256":"187534e20809919f3d80061f385a3c7702ae1e8ec4376880f85f02008e10c956"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X0+lDHpLq468ZVT3R5da0wVOPr7OplEIPwJ7MBevBDGz3eIVGEQtqPqsMhq/UNZTHwnpnzCKPvpbp5GmGFdRDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-17T22:57:21.117466Z","bundle_sha256":"53694427876a626676b956743bedc2a77cab83b343ecc6df33025ab183a38f42"}}