{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:EQVKEYB43WIEBRZQDMWUT42K5Y","short_pith_number":"pith:EQVKEYB4","canonical_record":{"source":{"id":"1006.4442","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-06-23T08:05:34Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"e86f6c1bb8dd4e81bc03f651d97aa7d28db45c71431b9035627d5fd58e0ccd99","abstract_canon_sha256":"8742a404c4c197a5603bc878677809694091cec0a3c64f1a65da43257b1ebfda"},"schema_version":"1.0"},"canonical_sha256":"242aa2603cdd9040c7301b2d49f34aee093c9705a7b7c6a460cd9cec8f9bef54","source":{"kind":"arxiv","id":"1006.4442","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1006.4442","created_at":"2026-05-18T04:27:28Z"},{"alias_kind":"arxiv_version","alias_value":"1006.4442v1","created_at":"2026-05-18T04:27:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1006.4442","created_at":"2026-05-18T04:27:28Z"},{"alias_kind":"pith_short_12","alias_value":"EQVKEYB43WIE","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_16","alias_value":"EQVKEYB43WIEBRZQ","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_8","alias_value":"EQVKEYB4","created_at":"2026-05-18T12:26:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:EQVKEYB43WIEBRZQDMWUT42K5Y","target":"record","payload":{"canonical_record":{"source":{"id":"1006.4442","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-06-23T08:05:34Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"e86f6c1bb8dd4e81bc03f651d97aa7d28db45c71431b9035627d5fd58e0ccd99","abstract_canon_sha256":"8742a404c4c197a5603bc878677809694091cec0a3c64f1a65da43257b1ebfda"},"schema_version":"1.0"},"canonical_sha256":"242aa2603cdd9040c7301b2d49f34aee093c9705a7b7c6a460cd9cec8f9bef54","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:27:28.103279Z","signature_b64":"Us867yRtxpjgV50NyQQ0eqjusS2PFMnMzwDjpimW/lse2RmmpFJrISE1kDolHnHYkr2XTAIG6cf+2eA5ux9uDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"242aa2603cdd9040c7301b2d49f34aee093c9705a7b7c6a460cd9cec8f9bef54","last_reissued_at":"2026-05-18T04:27:28.102870Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:27:28.102870Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1006.4442","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-05-18T04:27:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6fHkNiIoY0gPAnyuF77icsm7t4g2oA2xeFrajECpazsUBtBL/P2+ptEZwoBtifJH+nvATdslKqpH5APHUbgNBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T13:27:56.263059Z"},"content_sha256":"4562a42bdd2197a0fad6952fec17a14235f647332cdf4e2f5b704496ca555c7a","schema_version":"1.0","event_id":"sha256:4562a42bdd2197a0fad6952fec17a14235f647332cdf4e2f5b704496ca555c7a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:EQVKEYB43WIEBRZQDMWUT42K5Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Implementation of the Probabilistic Logic Programming Language ProbLog","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.LO"],"primary_cat":"cs.PL","authors_text":"Angelika Kimmig, Bart Demoen, Luc De Raedt, Ricardo Rocha, V\\'itor Santos Costa","submitted_at":"2010-06-23T08:05:34Z","abstract_excerpt":"The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have been developed. ProbLog is a recent probabilistic extension of Prolog motivated by the mining of large biological networks. In ProbLog, facts can be labeled with probabilities. These facts are treated as mutually independent random variables that indicate whether these facts belong to a randomly sampled program. Different kinds of queries can be posed to ProbLog programs. We introduce algorithms that allow the effici"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1006.4442","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":""},"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-18T04:27:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ACinMgzj642IwPATfTLUZc/cuCIc2mgsgKUopMg2E887ZqK8TZbXTVkro6g+mSowke5ovuR2DA/PxAEoy1zqBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T13:27:56.263706Z"},"content_sha256":"8b74ac109878392908141da8f7a9eea9f7832df050e4e524c4f7e4044c150dd8","schema_version":"1.0","event_id":"sha256:8b74ac109878392908141da8f7a9eea9f7832df050e4e524c4f7e4044c150dd8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/EQVKEYB43WIEBRZQDMWUT42K5Y/bundle.json","state_url":"https://pith.science/pith/EQVKEYB43WIEBRZQDMWUT42K5Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/EQVKEYB43WIEBRZQDMWUT42K5Y/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-05-30T13:27:56Z","links":{"resolver":"https://pith.science/pith/EQVKEYB43WIEBRZQDMWUT42K5Y","bundle":"https://pith.science/pith/EQVKEYB43WIEBRZQDMWUT42K5Y/bundle.json","state":"https://pith.science/pith/EQVKEYB43WIEBRZQDMWUT42K5Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/EQVKEYB43WIEBRZQDMWUT42K5Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:EQVKEYB43WIEBRZQDMWUT42K5Y","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":"8742a404c4c197a5603bc878677809694091cec0a3c64f1a65da43257b1ebfda","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-06-23T08:05:34Z","title_canon_sha256":"e86f6c1bb8dd4e81bc03f651d97aa7d28db45c71431b9035627d5fd58e0ccd99"},"schema_version":"1.0","source":{"id":"1006.4442","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1006.4442","created_at":"2026-05-18T04:27:28Z"},{"alias_kind":"arxiv_version","alias_value":"1006.4442v1","created_at":"2026-05-18T04:27:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1006.4442","created_at":"2026-05-18T04:27:28Z"},{"alias_kind":"pith_short_12","alias_value":"EQVKEYB43WIE","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_16","alias_value":"EQVKEYB43WIEBRZQ","created_at":"2026-05-18T12:26:06Z"},{"alias_kind":"pith_short_8","alias_value":"EQVKEYB4","created_at":"2026-05-18T12:26:06Z"}],"graph_snapshots":[{"event_id":"sha256:8b74ac109878392908141da8f7a9eea9f7832df050e4e524c4f7e4044c150dd8","target":"graph","created_at":"2026-05-18T04:27:28Z","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":"The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have been developed. ProbLog is a recent probabilistic extension of Prolog motivated by the mining of large biological networks. In ProbLog, facts can be labeled with probabilities. These facts are treated as mutually independent random variables that indicate whether these facts belong to a randomly sampled program. Different kinds of queries can be posed to ProbLog programs. We introduce algorithms that allow the effici","authors_text":"Angelika Kimmig, Bart Demoen, Luc De Raedt, Ricardo Rocha, V\\'itor Santos Costa","cross_cats":["cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-06-23T08:05:34Z","title":"On the Implementation of the Probabilistic Logic Programming Language ProbLog"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1006.4442","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:4562a42bdd2197a0fad6952fec17a14235f647332cdf4e2f5b704496ca555c7a","target":"record","created_at":"2026-05-18T04:27:28Z","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":"8742a404c4c197a5603bc878677809694091cec0a3c64f1a65da43257b1ebfda","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2010-06-23T08:05:34Z","title_canon_sha256":"e86f6c1bb8dd4e81bc03f651d97aa7d28db45c71431b9035627d5fd58e0ccd99"},"schema_version":"1.0","source":{"id":"1006.4442","kind":"arxiv","version":1}},"canonical_sha256":"242aa2603cdd9040c7301b2d49f34aee093c9705a7b7c6a460cd9cec8f9bef54","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"242aa2603cdd9040c7301b2d49f34aee093c9705a7b7c6a460cd9cec8f9bef54","first_computed_at":"2026-05-18T04:27:28.102870Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:27:28.102870Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Us867yRtxpjgV50NyQQ0eqjusS2PFMnMzwDjpimW/lse2RmmpFJrISE1kDolHnHYkr2XTAIG6cf+2eA5ux9uDw==","signature_status":"signed_v1","signed_at":"2026-05-18T04:27:28.103279Z","signed_message":"canonical_sha256_bytes"},"source_id":"1006.4442","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4562a42bdd2197a0fad6952fec17a14235f647332cdf4e2f5b704496ca555c7a","sha256:8b74ac109878392908141da8f7a9eea9f7832df050e4e524c4f7e4044c150dd8"],"state_sha256":"60e4bb365986f26b8d9a2a27af2bd61a32a7011359b8dc8cadda0b49531cdd1a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"frlKAGuQrOfF20QIRE+mDCxNRgp3mDYopyCTWY+OfgukbGBZHj7VeF92fevRGtsTF6poiJWegINf//5KZfdhAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T13:27:56.267810Z","bundle_sha256":"927c1fc7577d49bd4638a107ce9226850616a764bb14da4cb2be723d0672871a"}}