{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:PDAMXEG7W7YJLPMXJ3BFMIQTWK","short_pith_number":"pith:PDAMXEG7","canonical_record":{"source":{"id":"1707.07763","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2017-07-24T22:29:24Z","cross_cats_sorted":[],"title_canon_sha256":"2dc0380ae3f8ad088c9ffe35742f8d8a7efe7068c91fb7f8cbee96e445625fe6","abstract_canon_sha256":"33f231512ccb3758a346351502269237f4db46e0d1d5a6b81f72deb4ab3eb6b8"},"schema_version":"1.0"},"canonical_sha256":"78c0cb90dfb7f095bd974ec2562213b28fa871403505e2c7576c0de6b0ee662d","source":{"kind":"arxiv","id":"1707.07763","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.07763","created_at":"2026-05-18T00:39:17Z"},{"alias_kind":"arxiv_version","alias_value":"1707.07763v2","created_at":"2026-05-18T00:39:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.07763","created_at":"2026-05-18T00:39:17Z"},{"alias_kind":"pith_short_12","alias_value":"PDAMXEG7W7YJ","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PDAMXEG7W7YJLPMX","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PDAMXEG7","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:PDAMXEG7W7YJLPMXJ3BFMIQTWK","target":"record","payload":{"canonical_record":{"source":{"id":"1707.07763","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2017-07-24T22:29:24Z","cross_cats_sorted":[],"title_canon_sha256":"2dc0380ae3f8ad088c9ffe35742f8d8a7efe7068c91fb7f8cbee96e445625fe6","abstract_canon_sha256":"33f231512ccb3758a346351502269237f4db46e0d1d5a6b81f72deb4ab3eb6b8"},"schema_version":"1.0"},"canonical_sha256":"78c0cb90dfb7f095bd974ec2562213b28fa871403505e2c7576c0de6b0ee662d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:17.531329Z","signature_b64":"DqQaTKTwWUAVbDLmW6N/X+CJ0wpCQ4GZLq8eF+pCoRxSDdmxeqQlb7Zk04NR0wHkGsekp1/rTOXoNenZ+C3iCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"78c0cb90dfb7f095bd974ec2562213b28fa871403505e2c7576c0de6b0ee662d","last_reissued_at":"2026-05-18T00:39:17.530732Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:17.530732Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.07763","source_version":2,"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-18T00:39:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QC3Tdku7OkNwvDSvb7RKtAlusOHPnR1xYkaf1dXoKHsP2XDcRxPXXp7pxalKCcESQ97Elyg0LubYSlfQaa2SCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T17:32:18.733940Z"},"content_sha256":"91ea362fd1771d8d52a942128d782db0cbfdd94282f3a0f7673e1ca6c83f18bf","schema_version":"1.0","event_id":"sha256:91ea362fd1771d8d52a942128d782db0cbfdd94282f3a0f7673e1ca6c83f18bf"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:PDAMXEG7W7YJLPMXJ3BFMIQTWK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Domain Recursion for Lifted Inference with Existential Quantifiers","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Angelika Kimmig, David Poole, Guy Van den Broeck, Seyed Mehran Kazemi","submitted_at":"2017-07-24T22:29:24Z","abstract_excerpt":"In recent work, we proved that the domain recursion inference rule makes domain-lifted inference possible on several relational probability models (RPMs) for which the best known time complexity used to be exponential. We also identified two classes of RPMs for which inference becomes domain lifted when using domain recursion. These two classes subsume the largest lifted classes that were previously known. In this paper, we show that domain recursion can also be applied to models with existential quantifiers. Currently, all lifted inference algorithms assume that existential quantifiers have b"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.07763","kind":"arxiv","version":2},"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-18T00:39:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zMZr3irh+y1RbIn8s6dqtEAEtS3iVl75yHgW6AgrXQaRwC/D7NobA+SDcZ6QstCGFKrYjnKDBl7rhXbcQIfbBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T17:32:18.734659Z"},"content_sha256":"dd3c6a05f071b4a2d9b87830fe854fb8d441d89ac10e6a5118e4b9de559545fa","schema_version":"1.0","event_id":"sha256:dd3c6a05f071b4a2d9b87830fe854fb8d441d89ac10e6a5118e4b9de559545fa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PDAMXEG7W7YJLPMXJ3BFMIQTWK/bundle.json","state_url":"https://pith.science/pith/PDAMXEG7W7YJLPMXJ3BFMIQTWK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PDAMXEG7W7YJLPMXJ3BFMIQTWK/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-22T17:32:18Z","links":{"resolver":"https://pith.science/pith/PDAMXEG7W7YJLPMXJ3BFMIQTWK","bundle":"https://pith.science/pith/PDAMXEG7W7YJLPMXJ3BFMIQTWK/bundle.json","state":"https://pith.science/pith/PDAMXEG7W7YJLPMXJ3BFMIQTWK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PDAMXEG7W7YJLPMXJ3BFMIQTWK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:PDAMXEG7W7YJLPMXJ3BFMIQTWK","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":"33f231512ccb3758a346351502269237f4db46e0d1d5a6b81f72deb4ab3eb6b8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2017-07-24T22:29:24Z","title_canon_sha256":"2dc0380ae3f8ad088c9ffe35742f8d8a7efe7068c91fb7f8cbee96e445625fe6"},"schema_version":"1.0","source":{"id":"1707.07763","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.07763","created_at":"2026-05-18T00:39:17Z"},{"alias_kind":"arxiv_version","alias_value":"1707.07763v2","created_at":"2026-05-18T00:39:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.07763","created_at":"2026-05-18T00:39:17Z"},{"alias_kind":"pith_short_12","alias_value":"PDAMXEG7W7YJ","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PDAMXEG7W7YJLPMX","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PDAMXEG7","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:dd3c6a05f071b4a2d9b87830fe854fb8d441d89ac10e6a5118e4b9de559545fa","target":"graph","created_at":"2026-05-18T00:39:17Z","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":"In recent work, we proved that the domain recursion inference rule makes domain-lifted inference possible on several relational probability models (RPMs) for which the best known time complexity used to be exponential. We also identified two classes of RPMs for which inference becomes domain lifted when using domain recursion. These two classes subsume the largest lifted classes that were previously known. In this paper, we show that domain recursion can also be applied to models with existential quantifiers. Currently, all lifted inference algorithms assume that existential quantifiers have b","authors_text":"Angelika Kimmig, David Poole, Guy Van den Broeck, Seyed Mehran Kazemi","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2017-07-24T22:29:24Z","title":"Domain Recursion for Lifted Inference with Existential Quantifiers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.07763","kind":"arxiv","version":2},"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:91ea362fd1771d8d52a942128d782db0cbfdd94282f3a0f7673e1ca6c83f18bf","target":"record","created_at":"2026-05-18T00:39:17Z","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":"33f231512ccb3758a346351502269237f4db46e0d1d5a6b81f72deb4ab3eb6b8","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2017-07-24T22:29:24Z","title_canon_sha256":"2dc0380ae3f8ad088c9ffe35742f8d8a7efe7068c91fb7f8cbee96e445625fe6"},"schema_version":"1.0","source":{"id":"1707.07763","kind":"arxiv","version":2}},"canonical_sha256":"78c0cb90dfb7f095bd974ec2562213b28fa871403505e2c7576c0de6b0ee662d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"78c0cb90dfb7f095bd974ec2562213b28fa871403505e2c7576c0de6b0ee662d","first_computed_at":"2026-05-18T00:39:17.530732Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:17.530732Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DqQaTKTwWUAVbDLmW6N/X+CJ0wpCQ4GZLq8eF+pCoRxSDdmxeqQlb7Zk04NR0wHkGsekp1/rTOXoNenZ+C3iCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:17.531329Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.07763","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:91ea362fd1771d8d52a942128d782db0cbfdd94282f3a0f7673e1ca6c83f18bf","sha256:dd3c6a05f071b4a2d9b87830fe854fb8d441d89ac10e6a5118e4b9de559545fa"],"state_sha256":"d687bfa1e824d02f29063f8bc52e6edd18abc23a89097862b36f3803c4bd1e8d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zoZU7Z/jmYExRigqfdoH66mW7IWDyFfIaAhiBg89BBPV90kROhbgGtkP3V7r1J4NXha9YDcKsdXcnqCvxiBVCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T17:32:18.738201Z","bundle_sha256":"bba2f1a318b07cd283b2933ae58ae76ce7d60bcd606b446d3299ad740f2ddb61"}}