{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:MY44YSJIDZFKEOZ6TJRUFNK5UB","short_pith_number":"pith:MY44YSJI","canonical_record":{"source":{"id":"1107.4747","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-07-24T11:22:41Z","cross_cats_sorted":["cs.LO","cs.PL"],"title_canon_sha256":"fcee82d8937a8ab094384e87d252b7ed36b7edfa505b25a847558197a5a7f963","abstract_canon_sha256":"7398936d6c3bbc13aabbd0fe57dd5026add11ec2b93cd78dd3831574257b89d8"},"schema_version":"1.0"},"canonical_sha256":"6639cc49281e4aa23b3e9a6342b55da050a8fae3952509057d0abec1d1d198de","source":{"kind":"arxiv","id":"1107.4747","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.4747","created_at":"2026-05-18T04:17:01Z"},{"alias_kind":"arxiv_version","alias_value":"1107.4747v1","created_at":"2026-05-18T04:17:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.4747","created_at":"2026-05-18T04:17:01Z"},{"alias_kind":"pith_short_12","alias_value":"MY44YSJIDZFK","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_16","alias_value":"MY44YSJIDZFKEOZ6","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_8","alias_value":"MY44YSJI","created_at":"2026-05-18T12:26:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:MY44YSJIDZFKEOZ6TJRUFNK5UB","target":"record","payload":{"canonical_record":{"source":{"id":"1107.4747","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-07-24T11:22:41Z","cross_cats_sorted":["cs.LO","cs.PL"],"title_canon_sha256":"fcee82d8937a8ab094384e87d252b7ed36b7edfa505b25a847558197a5a7f963","abstract_canon_sha256":"7398936d6c3bbc13aabbd0fe57dd5026add11ec2b93cd78dd3831574257b89d8"},"schema_version":"1.0"},"canonical_sha256":"6639cc49281e4aa23b3e9a6342b55da050a8fae3952509057d0abec1d1d198de","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:17:01.914819Z","signature_b64":"AixxlHOfKHRtJHkCf0oQzJ+uiGvyHKJnw0Kp2IhxIof+kSXoLxoBnSw4IhlT23b20WOKTydLgF0ATl1j+BFmBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6639cc49281e4aa23b3e9a6342b55da050a8fae3952509057d0abec1d1d198de","last_reissued_at":"2026-05-18T04:17:01.914280Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:17:01.914280Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1107.4747","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:17:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HzRodhkx6abGqZPI17naXyQLONC5RHUZIbOgh47grL1q7e9MeCYcFq1U5dxA7wx0oUsvrrmZqNrdyvn0nIk9CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T16:04:09.597932Z"},"content_sha256":"2d8cd0eca77fdc6111bf315ea03d09dd5283189544db6ab895f05f3b600fa2dc","schema_version":"1.0","event_id":"sha256:2d8cd0eca77fdc6111bf315ea03d09dd5283189544db6ab895f05f3b600fa2dc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:MY44YSJIDZFKEOZ6TJRUFNK5UB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.PL"],"primary_cat":"cs.AI","authors_text":"Fabrizio Riguzzi, Terrance Swift","submitted_at":"2011-07-24T11:22:41Z","abstract_excerpt":"Many real world domains require the representation of a measure of uncertainty. The most common such representation is probability, and the combination of probability with logic programs has given rise to the field of Probabilistic Logic Programming (PLP), leading to languages such as the Independent Choice Logic, Logic Programs with Annotated Disjunctions (LPADs), Problog, PRISM and others. These languages share a similar distribution semantics, and methods have been devised to translate programs between these languages. The complexity of computing the probability of queries to these general "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.4747","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:17:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7BFNJ6BHti/yL0C/NNbq1RqRpvyxiavPD8tlAArKMdiVBGhioYXiEMf76XC34zQyJO8arEJUfisr6LW8UfU9AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T16:04:09.598639Z"},"content_sha256":"3b0e75f8ab81b184faaa0e642afbd10cceb35dc940c1be5429de31e2efcb4665","schema_version":"1.0","event_id":"sha256:3b0e75f8ab81b184faaa0e642afbd10cceb35dc940c1be5429de31e2efcb4665"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MY44YSJIDZFKEOZ6TJRUFNK5UB/bundle.json","state_url":"https://pith.science/pith/MY44YSJIDZFKEOZ6TJRUFNK5UB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MY44YSJIDZFKEOZ6TJRUFNK5UB/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-09T16:04:09Z","links":{"resolver":"https://pith.science/pith/MY44YSJIDZFKEOZ6TJRUFNK5UB","bundle":"https://pith.science/pith/MY44YSJIDZFKEOZ6TJRUFNK5UB/bundle.json","state":"https://pith.science/pith/MY44YSJIDZFKEOZ6TJRUFNK5UB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MY44YSJIDZFKEOZ6TJRUFNK5UB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:MY44YSJIDZFKEOZ6TJRUFNK5UB","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":"7398936d6c3bbc13aabbd0fe57dd5026add11ec2b93cd78dd3831574257b89d8","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-07-24T11:22:41Z","title_canon_sha256":"fcee82d8937a8ab094384e87d252b7ed36b7edfa505b25a847558197a5a7f963"},"schema_version":"1.0","source":{"id":"1107.4747","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1107.4747","created_at":"2026-05-18T04:17:01Z"},{"alias_kind":"arxiv_version","alias_value":"1107.4747v1","created_at":"2026-05-18T04:17:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1107.4747","created_at":"2026-05-18T04:17:01Z"},{"alias_kind":"pith_short_12","alias_value":"MY44YSJIDZFK","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_16","alias_value":"MY44YSJIDZFKEOZ6","created_at":"2026-05-18T12:26:37Z"},{"alias_kind":"pith_short_8","alias_value":"MY44YSJI","created_at":"2026-05-18T12:26:37Z"}],"graph_snapshots":[{"event_id":"sha256:3b0e75f8ab81b184faaa0e642afbd10cceb35dc940c1be5429de31e2efcb4665","target":"graph","created_at":"2026-05-18T04:17:01Z","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":"Many real world domains require the representation of a measure of uncertainty. The most common such representation is probability, and the combination of probability with logic programs has given rise to the field of Probabilistic Logic Programming (PLP), leading to languages such as the Independent Choice Logic, Logic Programs with Annotated Disjunctions (LPADs), Problog, PRISM and others. These languages share a similar distribution semantics, and methods have been devised to translate programs between these languages. The complexity of computing the probability of queries to these general ","authors_text":"Fabrizio Riguzzi, Terrance Swift","cross_cats":["cs.LO","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-07-24T11:22:41Z","title":"The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1107.4747","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:2d8cd0eca77fdc6111bf315ea03d09dd5283189544db6ab895f05f3b600fa2dc","target":"record","created_at":"2026-05-18T04:17:01Z","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":"7398936d6c3bbc13aabbd0fe57dd5026add11ec2b93cd78dd3831574257b89d8","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-07-24T11:22:41Z","title_canon_sha256":"fcee82d8937a8ab094384e87d252b7ed36b7edfa505b25a847558197a5a7f963"},"schema_version":"1.0","source":{"id":"1107.4747","kind":"arxiv","version":1}},"canonical_sha256":"6639cc49281e4aa23b3e9a6342b55da050a8fae3952509057d0abec1d1d198de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6639cc49281e4aa23b3e9a6342b55da050a8fae3952509057d0abec1d1d198de","first_computed_at":"2026-05-18T04:17:01.914280Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:17:01.914280Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AixxlHOfKHRtJHkCf0oQzJ+uiGvyHKJnw0Kp2IhxIof+kSXoLxoBnSw4IhlT23b20WOKTydLgF0ATl1j+BFmBA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:17:01.914819Z","signed_message":"canonical_sha256_bytes"},"source_id":"1107.4747","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2d8cd0eca77fdc6111bf315ea03d09dd5283189544db6ab895f05f3b600fa2dc","sha256:3b0e75f8ab81b184faaa0e642afbd10cceb35dc940c1be5429de31e2efcb4665"],"state_sha256":"aa09524ec9377b60353cadcac2c37f89c124dd54bb731577221420fdf5ef260e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QPI2t5niT3e4lqiN5GrcT6HlAcGd/hr4RLT1ZNZYPZInpqLzQVpQ8eWrvmGt0mRczHmGmL4qRuidoi3QphXQDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T16:04:09.602609Z","bundle_sha256":"db7fefaa6e53de18165521e7499cda7c0b11fb754f65146600f44234715faf34"}}