{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:FAI7VI2HB6LEC2CYFVLH263IF5","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":"e7af22250aabf19a4b2284c8e72a1f9fb1b29ee22e6068a3f7d71698b0c6ed19","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","title_canon_sha256":"3c876e467f7f29442c29dcb1d5ed925cb659cda714b11286b0bd4fa47448ec98"},"schema_version":"1.0","source":{"id":"1202.3719","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.3719","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"arxiv_version","alias_value":"1202.3719v1","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.3719","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"pith_short_12","alias_value":"FAI7VI2HB6LE","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"FAI7VI2HB6LEC2CY","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"FAI7VI2H","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:fbd039ea1b05037e8da9c82416a832d92ff5509308c48c4d44e502729318f160","target":"graph","created_at":"2026-05-18T04:02:03Z","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 programs are logic programs in which some of the facts are annotated with probabilities. Several classical probabilistic inference tasks (such as MAP and computing marginals) have not yet received a lot of attention for this formalism. The contribution of this paper is that we develop efficient inference algorithms for these tasks. This is based on a conversion of the probabilistic logic program and the query and evidence to a weighted CNF formula. This allows us to reduce the inference tasks to well-studied tasks such as weighted model counting. To solve such tasks, we emp","authors_text":"Bernd Gutmann, Daan Fierens, Guy Van den Broeck, Ingo Thon, Luc De Raedt","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","title":"Inference in Probabilistic Logic Programs using Weighted CNF's"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.3719","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:2fd57e8e6eaa54953eab9c14d873939277169e5b568ce99d9cf9a59c9a19c0f9","target":"record","created_at":"2026-05-18T04:02:03Z","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":"e7af22250aabf19a4b2284c8e72a1f9fb1b29ee22e6068a3f7d71698b0c6ed19","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","title_canon_sha256":"3c876e467f7f29442c29dcb1d5ed925cb659cda714b11286b0bd4fa47448ec98"},"schema_version":"1.0","source":{"id":"1202.3719","kind":"arxiv","version":1}},"canonical_sha256":"2811faa3470f964168582d567d7b682f47f13840be564feb01c6392e1e4fab0f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2811faa3470f964168582d567d7b682f47f13840be564feb01c6392e1e4fab0f","first_computed_at":"2026-05-18T04:02:03.359030Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:02:03.359030Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ai805e2/5ksybPgOziyCxZ4qV+X7HpdL25cdyY6oUV4iG5jQpqrDpiil2fjeQ/AniHh2GMo2FQbtf1QrxIY1CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:02:03.359658Z","signed_message":"canonical_sha256_bytes"},"source_id":"1202.3719","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2fd57e8e6eaa54953eab9c14d873939277169e5b568ce99d9cf9a59c9a19c0f9","sha256:fbd039ea1b05037e8da9c82416a832d92ff5509308c48c4d44e502729318f160"],"state_sha256":"7b8247d876c1b55ebdfd5559d9b65ff098651afbe816d02b47a1d70147e53c5c"}