{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:ELKVJAIJSLZVTOP27K5IBSQ354","short_pith_number":"pith:ELKVJAIJ","canonical_record":{"source":{"id":"1202.3698","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","cross_cats_sorted":[],"title_canon_sha256":"10d7c7d6b51ec0cff3d9384f6e4500d0420e9b1cc2364d236be8e224017eeeae","abstract_canon_sha256":"b21a500b154e41eb1291b8ad224dca009448de2136bb270b9b95d3a2aa6eca53"},"schema_version":"1.0"},"canonical_sha256":"22d554810992f359b9fafaba80ca1bef0df8dd064fccbca56bace154ffc483ed","source":{"kind":"arxiv","id":"1202.3698","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.3698","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"arxiv_version","alias_value":"1202.3698v1","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.3698","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"pith_short_12","alias_value":"ELKVJAIJSLZV","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"ELKVJAIJSLZVTOP2","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"ELKVJAIJ","created_at":"2026-05-18T12:27:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:ELKVJAIJSLZVTOP27K5IBSQ354","target":"record","payload":{"canonical_record":{"source":{"id":"1202.3698","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","cross_cats_sorted":[],"title_canon_sha256":"10d7c7d6b51ec0cff3d9384f6e4500d0420e9b1cc2364d236be8e224017eeeae","abstract_canon_sha256":"b21a500b154e41eb1291b8ad224dca009448de2136bb270b9b95d3a2aa6eca53"},"schema_version":"1.0"},"canonical_sha256":"22d554810992f359b9fafaba80ca1bef0df8dd064fccbca56bace154ffc483ed","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:02:03.529097Z","signature_b64":"RG6YW2ZIMwW2mQIutWnHgNvQL8tDYA7+XsW1y5HOO17jGYeup24tcz9FTwFT9xWnq5t9s8CTrgNWeG/TDECcDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"22d554810992f359b9fafaba80ca1bef0df8dd064fccbca56bace154ffc483ed","last_reissued_at":"2026-05-18T04:02:03.528622Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:02:03.528622Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1202.3698","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:02:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7E7wFKzBbWNk3PkchOJKodB8m85DSzdB2LYjhzYmoiqfPrnBn4o6EYH0I6Xj3cHR/oIe4sUSJxSnQsWPRSXQBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T17:30:15.442525Z"},"content_sha256":"45913fb5900546fbcce00ed4e138cccb50e8f0c79fe86cb56bad7292d595c562","schema_version":"1.0","event_id":"sha256:45913fb5900546fbcce00ed4e138cccb50e8f0c79fe86cb56bad7292d595c562"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:ELKVJAIJSLZVTOP27K5IBSQ354","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Extended Lifted Inference with Joint Formulas","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Ronen I. Brafman, Udi Apsel","submitted_at":"2012-02-14T16:41:17Z","abstract_excerpt":"The First-Order Variable Elimination (FOVE) algorithm allows exact inference to be applied directly to probabilistic relational models, and has proven to be vastly superior to the application of standard inference methods on a grounded propositional model. Still, FOVE operators can be applied under restricted conditions, often forcing one to resort to propositional inference. This paper aims to extend the applicability of FOVE by providing two new model conversion operators: the first and the primary is joint formula conversion and the second is just-different counting conversion. These new op"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.3698","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:02:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q3IMJyOmdn656zKkkiyN++fGj8uMIgTTxi5CaRDNd8MPH+rlMzP5Te5uEze0mBkZpNTiep+/bIVJK8sOjS11DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T17:30:15.442872Z"},"content_sha256":"7e8f51c64a76507b48ebcf866520b530825013c56c5b96bf63b4795b50a68c95","schema_version":"1.0","event_id":"sha256:7e8f51c64a76507b48ebcf866520b530825013c56c5b96bf63b4795b50a68c95"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ELKVJAIJSLZVTOP27K5IBSQ354/bundle.json","state_url":"https://pith.science/pith/ELKVJAIJSLZVTOP27K5IBSQ354/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ELKVJAIJSLZVTOP27K5IBSQ354/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-01T17:30:15Z","links":{"resolver":"https://pith.science/pith/ELKVJAIJSLZVTOP27K5IBSQ354","bundle":"https://pith.science/pith/ELKVJAIJSLZVTOP27K5IBSQ354/bundle.json","state":"https://pith.science/pith/ELKVJAIJSLZVTOP27K5IBSQ354/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ELKVJAIJSLZVTOP27K5IBSQ354/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:ELKVJAIJSLZVTOP27K5IBSQ354","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":"b21a500b154e41eb1291b8ad224dca009448de2136bb270b9b95d3a2aa6eca53","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":"10d7c7d6b51ec0cff3d9384f6e4500d0420e9b1cc2364d236be8e224017eeeae"},"schema_version":"1.0","source":{"id":"1202.3698","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1202.3698","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"arxiv_version","alias_value":"1202.3698v1","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1202.3698","created_at":"2026-05-18T04:02:03Z"},{"alias_kind":"pith_short_12","alias_value":"ELKVJAIJSLZV","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_16","alias_value":"ELKVJAIJSLZVTOP2","created_at":"2026-05-18T12:27:04Z"},{"alias_kind":"pith_short_8","alias_value":"ELKVJAIJ","created_at":"2026-05-18T12:27:04Z"}],"graph_snapshots":[{"event_id":"sha256:7e8f51c64a76507b48ebcf866520b530825013c56c5b96bf63b4795b50a68c95","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":"The First-Order Variable Elimination (FOVE) algorithm allows exact inference to be applied directly to probabilistic relational models, and has proven to be vastly superior to the application of standard inference methods on a grounded propositional model. Still, FOVE operators can be applied under restricted conditions, often forcing one to resort to propositional inference. This paper aims to extend the applicability of FOVE by providing two new model conversion operators: the first and the primary is joint formula conversion and the second is just-different counting conversion. These new op","authors_text":"Ronen I. Brafman, Udi Apsel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-02-14T16:41:17Z","title":"Extended Lifted Inference with Joint Formulas"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1202.3698","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:45913fb5900546fbcce00ed4e138cccb50e8f0c79fe86cb56bad7292d595c562","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":"b21a500b154e41eb1291b8ad224dca009448de2136bb270b9b95d3a2aa6eca53","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":"10d7c7d6b51ec0cff3d9384f6e4500d0420e9b1cc2364d236be8e224017eeeae"},"schema_version":"1.0","source":{"id":"1202.3698","kind":"arxiv","version":1}},"canonical_sha256":"22d554810992f359b9fafaba80ca1bef0df8dd064fccbca56bace154ffc483ed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"22d554810992f359b9fafaba80ca1bef0df8dd064fccbca56bace154ffc483ed","first_computed_at":"2026-05-18T04:02:03.528622Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:02:03.528622Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"RG6YW2ZIMwW2mQIutWnHgNvQL8tDYA7+XsW1y5HOO17jGYeup24tcz9FTwFT9xWnq5t9s8CTrgNWeG/TDECcDA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:02:03.529097Z","signed_message":"canonical_sha256_bytes"},"source_id":"1202.3698","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:45913fb5900546fbcce00ed4e138cccb50e8f0c79fe86cb56bad7292d595c562","sha256:7e8f51c64a76507b48ebcf866520b530825013c56c5b96bf63b4795b50a68c95"],"state_sha256":"e326eea92dfff1eca5a16a28e7347aa281164772894beabd5b32101b24582818"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V5WKhooec+/P8weL1e5FFnj8S0RcIFuD7HUYNDjbJXNc913vt1NwiNDScgpidym8CLjs9lfS0QVUPKdCXIpNAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T17:30:15.444845Z","bundle_sha256":"6a473549a3876f4976551efeac19f5283ce4464f94339b9ccdabc50335d7f632"}}