{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:MZTJQWXWWEDI4L3XCIKZ3L4O55","short_pith_number":"pith:MZTJQWXW","canonical_record":{"source":{"id":"1112.2681","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-12-12T20:16:55Z","cross_cats_sorted":[],"title_canon_sha256":"6477c0ef326e3036f57d46a0f220cc389bcdac4f8ecbf324c6cd854d709894b0","abstract_canon_sha256":"2aaae99d3de81ec2efa0cbc380bd304450fd1079d9d124277df095071f1df90e"},"schema_version":"1.0"},"canonical_sha256":"6666985af6b1068e2f7712159daf8eef698a652ad176330fbe275a313af09292","source":{"kind":"arxiv","id":"1112.2681","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1112.2681","created_at":"2026-05-18T03:43:52Z"},{"alias_kind":"arxiv_version","alias_value":"1112.2681v3","created_at":"2026-05-18T03:43:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1112.2681","created_at":"2026-05-18T03:43:52Z"},{"alias_kind":"pith_short_12","alias_value":"MZTJQWXWWEDI","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_16","alias_value":"MZTJQWXWWEDI4L3X","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_8","alias_value":"MZTJQWXW","created_at":"2026-05-18T12:26:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:MZTJQWXWWEDI4L3XCIKZ3L4O55","target":"record","payload":{"canonical_record":{"source":{"id":"1112.2681","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-12-12T20:16:55Z","cross_cats_sorted":[],"title_canon_sha256":"6477c0ef326e3036f57d46a0f220cc389bcdac4f8ecbf324c6cd854d709894b0","abstract_canon_sha256":"2aaae99d3de81ec2efa0cbc380bd304450fd1079d9d124277df095071f1df90e"},"schema_version":"1.0"},"canonical_sha256":"6666985af6b1068e2f7712159daf8eef698a652ad176330fbe275a313af09292","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:43:52.732159Z","signature_b64":"fj/jPeTF2xz0oQYjEcvx/+9DRBDD1EfYv5+vNP3kD9EAfZExeFFZXGyXpkQlJxQXGTjZF4B6YMMf02EIVWmOCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6666985af6b1068e2f7712159daf8eef698a652ad176330fbe275a313af09292","last_reissued_at":"2026-05-18T03:43:52.731637Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:43:52.731637Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1112.2681","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-18T03:43:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Pwva7mF54onb9GqdtJoMYXLtb4NgV7kOE6B/VuMgTRb5G61uopVfZ9GR7kmORry1FVRWzxFAiPmDEbY7cLM2CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T03:11:58.070834Z"},"content_sha256":"aac56828926b8134853a7952eeb5d52a3ecb46ceb0a8358debb35fa53595f164","schema_version":"1.0","event_id":"sha256:aac56828926b8134853a7952eeb5d52a3ecb46ceb0a8358debb35fa53595f164"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:MZTJQWXWWEDI4L3XCIKZ3L4O55","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Inference in Probabilistic Logic Programs with Continuous Random Variables","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"C. R. Ramakrishnan, I. V. Ramakrishnan, Muhammad Asiful Islam","submitted_at":"2011-12-12T20:16:55Z","abstract_excerpt":"Probabilistic Logic Programming (PLP), exemplified by Sato and Kameya's PRISM, Poole's ICL, Raedt et al's ProbLog and Vennekens et al's LPAD, is aimed at combining statistical and logical knowledge representation and inference. A key characteristic of PLP frameworks is that they are conservative extensions to non-probabilistic logic programs which have been widely used for knowledge representation. PLP frameworks extend traditional logic programming semantics to a distribution semantics, where the semantics of a probabilistic logic program is given in terms of a distribution over possible mode"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1112.2681","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-18T03:43:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8cPnvAf8HIZndXdvpAGJbBIIImE/x3LvoB9QhLACVn0XNdG1oWiso0JGKm3+jSnwFn19AEA/1uF49sBiave1Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-30T03:11:58.071220Z"},"content_sha256":"e2ac1825fe3eed4bcc5ae14853bd3ec1236fb3693cd45bbd790675a61ab0786b","schema_version":"1.0","event_id":"sha256:e2ac1825fe3eed4bcc5ae14853bd3ec1236fb3693cd45bbd790675a61ab0786b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MZTJQWXWWEDI4L3XCIKZ3L4O55/bundle.json","state_url":"https://pith.science/pith/MZTJQWXWWEDI4L3XCIKZ3L4O55/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MZTJQWXWWEDI4L3XCIKZ3L4O55/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-30T03:11:58Z","links":{"resolver":"https://pith.science/pith/MZTJQWXWWEDI4L3XCIKZ3L4O55","bundle":"https://pith.science/pith/MZTJQWXWWEDI4L3XCIKZ3L4O55/bundle.json","state":"https://pith.science/pith/MZTJQWXWWEDI4L3XCIKZ3L4O55/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MZTJQWXWWEDI4L3XCIKZ3L4O55/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:MZTJQWXWWEDI4L3XCIKZ3L4O55","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":"2aaae99d3de81ec2efa0cbc380bd304450fd1079d9d124277df095071f1df90e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-12-12T20:16:55Z","title_canon_sha256":"6477c0ef326e3036f57d46a0f220cc389bcdac4f8ecbf324c6cd854d709894b0"},"schema_version":"1.0","source":{"id":"1112.2681","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1112.2681","created_at":"2026-05-18T03:43:52Z"},{"alias_kind":"arxiv_version","alias_value":"1112.2681v3","created_at":"2026-05-18T03:43:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1112.2681","created_at":"2026-05-18T03:43:52Z"},{"alias_kind":"pith_short_12","alias_value":"MZTJQWXWWEDI","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_16","alias_value":"MZTJQWXWWEDI4L3X","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_8","alias_value":"MZTJQWXW","created_at":"2026-05-18T12:26:37Z"}],"graph_snapshots":[{"event_id":"sha256:e2ac1825fe3eed4bcc5ae14853bd3ec1236fb3693cd45bbd790675a61ab0786b","target":"graph","created_at":"2026-05-18T03:43:52Z","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":"Probabilistic Logic Programming (PLP), exemplified by Sato and Kameya's PRISM, Poole's ICL, Raedt et al's ProbLog and Vennekens et al's LPAD, is aimed at combining statistical and logical knowledge representation and inference. A key characteristic of PLP frameworks is that they are conservative extensions to non-probabilistic logic programs which have been widely used for knowledge representation. PLP frameworks extend traditional logic programming semantics to a distribution semantics, where the semantics of a probabilistic logic program is given in terms of a distribution over possible mode","authors_text":"C. R. Ramakrishnan, I. V. Ramakrishnan, Muhammad Asiful Islam","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-12-12T20:16:55Z","title":"Inference in Probabilistic Logic Programs with Continuous Random Variables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1112.2681","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:aac56828926b8134853a7952eeb5d52a3ecb46ceb0a8358debb35fa53595f164","target":"record","created_at":"2026-05-18T03:43:52Z","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":"2aaae99d3de81ec2efa0cbc380bd304450fd1079d9d124277df095071f1df90e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-12-12T20:16:55Z","title_canon_sha256":"6477c0ef326e3036f57d46a0f220cc389bcdac4f8ecbf324c6cd854d709894b0"},"schema_version":"1.0","source":{"id":"1112.2681","kind":"arxiv","version":3}},"canonical_sha256":"6666985af6b1068e2f7712159daf8eef698a652ad176330fbe275a313af09292","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6666985af6b1068e2f7712159daf8eef698a652ad176330fbe275a313af09292","first_computed_at":"2026-05-18T03:43:52.731637Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:43:52.731637Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fj/jPeTF2xz0oQYjEcvx/+9DRBDD1EfYv5+vNP3kD9EAfZExeFFZXGyXpkQlJxQXGTjZF4B6YMMf02EIVWmOCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:43:52.732159Z","signed_message":"canonical_sha256_bytes"},"source_id":"1112.2681","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aac56828926b8134853a7952eeb5d52a3ecb46ceb0a8358debb35fa53595f164","sha256:e2ac1825fe3eed4bcc5ae14853bd3ec1236fb3693cd45bbd790675a61ab0786b"],"state_sha256":"05d82c9eaca38108697ea885dc393a34b8effc225b3112c289c213893ff499b8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gISbWtp0A+VVlJDQLnUhBtriKXliVi7DBi6EqFbhf/BXjed37Z0koLakwt6vf1fP9MzF0icxOgwEwMUNxTS8Cg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-30T03:11:58.073330Z","bundle_sha256":"3b0c756a41e7b94ab93b401dd636e0c36ef36a6b52ccecaab5aecea4bc50c7c6"}}