{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:6JMOMO27A2YEXQRCZH6DWNYHYB","short_pith_number":"pith:6JMOMO27","canonical_record":{"source":{"id":"1809.07888","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-20T23:01:58Z","cross_cats_sorted":[],"title_canon_sha256":"ac18fdbfc488deb6135432357d4fa13e2ffb5f19157287dbf7f8140ab73e3bce","abstract_canon_sha256":"c4f32a5ae5f02642b195c5f527eb61677b58e7da08dc390c91210bc7c99893e2"},"schema_version":"1.0"},"canonical_sha256":"f258e63b5f06b04bc222c9fc3b3707c07677112785a45d0ae2a921673f91b497","source":{"kind":"arxiv","id":"1809.07888","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.07888","created_at":"2026-05-18T00:00:39Z"},{"alias_kind":"arxiv_version","alias_value":"1809.07888v3","created_at":"2026-05-18T00:00:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.07888","created_at":"2026-05-18T00:00:39Z"},{"alias_kind":"pith_short_12","alias_value":"6JMOMO27A2YE","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"6JMOMO27A2YEXQRC","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"6JMOMO27","created_at":"2026-05-18T12:32:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:6JMOMO27A2YEXQRCZH6DWNYHYB","target":"record","payload":{"canonical_record":{"source":{"id":"1809.07888","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-20T23:01:58Z","cross_cats_sorted":[],"title_canon_sha256":"ac18fdbfc488deb6135432357d4fa13e2ffb5f19157287dbf7f8140ab73e3bce","abstract_canon_sha256":"c4f32a5ae5f02642b195c5f527eb61677b58e7da08dc390c91210bc7c99893e2"},"schema_version":"1.0"},"canonical_sha256":"f258e63b5f06b04bc222c9fc3b3707c07677112785a45d0ae2a921673f91b497","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:00:39.260351Z","signature_b64":"y95s1mTtOo3SmVvO4bvMS6ZXg7XMUHyp+9lEXj/jJeUthti0kB5K13GZlgqllK23uViDztQk4LT7kWoEUpCICw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f258e63b5f06b04bc222c9fc3b3707c07677112785a45d0ae2a921673f91b497","last_reissued_at":"2026-05-18T00:00:39.259861Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:00:39.259861Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.07888","source_version":3,"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-05-18T00:00:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bnKexiI5nZZwhdxPYtcOE2I5whcfcblbJYeF0ME15sHtMfwxyEMOTm0TMhi9gFLfNvBNZ9fggQy27YjMbavZDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T02:32:49.660606Z"},"content_sha256":"457ce5018e9939b73a5fc6cb6da75c9043c4bd056acea5d6ba6462a2ef5d4f87","schema_version":"1.0","event_id":"sha256:457ce5018e9939b73a5fc6cb6da75c9043c4bd056acea5d6ba6462a2ef5d4f87"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:6JMOMO27A2YEXQRCZH6DWNYHYB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Probabilistic Logic Programming with Beta-Distributed Random Variables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Angelika Kimmig, Federico Cerutti, Lance Kaplan, Murat Sensoy","submitted_at":"2018-09-20T23:01:58Z","abstract_excerpt":"We enable aProbLog---a probabilistic logical programming approach---to reason in presence of uncertain probabilities represented as Beta-distributed random variables. We achieve the same performance of state-of-the-art algorithms for highly specified and engineered domains, while simultaneously we maintain the flexibility offered by aProbLog in handling complex relational domains. Our motivation is that faithfully capturing the distribution of probabilities is necessary to compute an expected utility for effective decision making under uncertainty: unfortunately, these probability distribution"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.07888","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":""},"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-05-18T00:00:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dB7j4O3f1/tnFCI6kqAQNahiD3GIrVRmJmJpsxUJyI4bWK6qMlmxHrYDhxsPYUrQXjILanJhlJet6hMMR/2NBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T02:32:49.661204Z"},"content_sha256":"6efb35407310702af216585fa213d88e7bbfb52fd6b3725d8330e569b01d5b8f","schema_version":"1.0","event_id":"sha256:6efb35407310702af216585fa213d88e7bbfb52fd6b3725d8330e569b01d5b8f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6JMOMO27A2YEXQRCZH6DWNYHYB/bundle.json","state_url":"https://pith.science/pith/6JMOMO27A2YEXQRCZH6DWNYHYB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6JMOMO27A2YEXQRCZH6DWNYHYB/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-06-05T02:32:49Z","links":{"resolver":"https://pith.science/pith/6JMOMO27A2YEXQRCZH6DWNYHYB","bundle":"https://pith.science/pith/6JMOMO27A2YEXQRCZH6DWNYHYB/bundle.json","state":"https://pith.science/pith/6JMOMO27A2YEXQRCZH6DWNYHYB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6JMOMO27A2YEXQRCZH6DWNYHYB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:6JMOMO27A2YEXQRCZH6DWNYHYB","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":"c4f32a5ae5f02642b195c5f527eb61677b58e7da08dc390c91210bc7c99893e2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-20T23:01:58Z","title_canon_sha256":"ac18fdbfc488deb6135432357d4fa13e2ffb5f19157287dbf7f8140ab73e3bce"},"schema_version":"1.0","source":{"id":"1809.07888","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.07888","created_at":"2026-05-18T00:00:39Z"},{"alias_kind":"arxiv_version","alias_value":"1809.07888v3","created_at":"2026-05-18T00:00:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.07888","created_at":"2026-05-18T00:00:39Z"},{"alias_kind":"pith_short_12","alias_value":"6JMOMO27A2YE","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_16","alias_value":"6JMOMO27A2YEXQRC","created_at":"2026-05-18T12:32:08Z"},{"alias_kind":"pith_short_8","alias_value":"6JMOMO27","created_at":"2026-05-18T12:32:08Z"}],"graph_snapshots":[{"event_id":"sha256:6efb35407310702af216585fa213d88e7bbfb52fd6b3725d8330e569b01d5b8f","target":"graph","created_at":"2026-05-18T00:00:39Z","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"},"paper":{"abstract_excerpt":"We enable aProbLog---a probabilistic logical programming approach---to reason in presence of uncertain probabilities represented as Beta-distributed random variables. We achieve the same performance of state-of-the-art algorithms for highly specified and engineered domains, while simultaneously we maintain the flexibility offered by aProbLog in handling complex relational domains. Our motivation is that faithfully capturing the distribution of probabilities is necessary to compute an expected utility for effective decision making under uncertainty: unfortunately, these probability distribution","authors_text":"Angelika Kimmig, Federico Cerutti, Lance Kaplan, Murat Sensoy","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-20T23:01:58Z","title":"Probabilistic Logic Programming with Beta-Distributed Random Variables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.07888","kind":"arxiv","version":3},"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:457ce5018e9939b73a5fc6cb6da75c9043c4bd056acea5d6ba6462a2ef5d4f87","target":"record","created_at":"2026-05-18T00:00:39Z","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":"c4f32a5ae5f02642b195c5f527eb61677b58e7da08dc390c91210bc7c99893e2","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-20T23:01:58Z","title_canon_sha256":"ac18fdbfc488deb6135432357d4fa13e2ffb5f19157287dbf7f8140ab73e3bce"},"schema_version":"1.0","source":{"id":"1809.07888","kind":"arxiv","version":3}},"canonical_sha256":"f258e63b5f06b04bc222c9fc3b3707c07677112785a45d0ae2a921673f91b497","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f258e63b5f06b04bc222c9fc3b3707c07677112785a45d0ae2a921673f91b497","first_computed_at":"2026-05-18T00:00:39.259861Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:00:39.259861Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"y95s1mTtOo3SmVvO4bvMS6ZXg7XMUHyp+9lEXj/jJeUthti0kB5K13GZlgqllK23uViDztQk4LT7kWoEUpCICw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:00:39.260351Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.07888","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:457ce5018e9939b73a5fc6cb6da75c9043c4bd056acea5d6ba6462a2ef5d4f87","sha256:6efb35407310702af216585fa213d88e7bbfb52fd6b3725d8330e569b01d5b8f"],"state_sha256":"ad9677d1d6aa148f02e16195c817e3577862714351713393f5a28ef7143da1ef"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KKjw2/+SVHZOjT956OlH0/qsn6z2na1cwqK6Ot5KSzo1vI9o6I/0RsKFuws/1MBNitSaJHdCKGi/OA6npX2FAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T02:32:49.664047Z","bundle_sha256":"37deb6ce58ccfa4847b1578096bd697af239e4499cb5e0444435425ba9a69003"}}