{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:HNLDFUY2LCSWS5C2MWOHKUMVF6","short_pith_number":"pith:HNLDFUY2","canonical_record":{"source":{"id":"1807.01183","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-03T13:39:19Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"85bb348ed8d92d4aac48ecfaf1edcea7cfd0aafdcae7c85b9c414869d4912b07","abstract_canon_sha256":"aeba1a7e2ba6216e28f59a6820eff474077d44e9b24824fbb50e8b0708ec8fb6"},"schema_version":"1.0"},"canonical_sha256":"3b5632d31a58a569745a659c7551952fbd68e0678e31af5e86ae6730af614f5c","source":{"kind":"arxiv","id":"1807.01183","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.01183","created_at":"2026-05-18T00:07:40Z"},{"alias_kind":"arxiv_version","alias_value":"1807.01183v3","created_at":"2026-05-18T00:07:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.01183","created_at":"2026-05-18T00:07:40Z"},{"alias_kind":"pith_short_12","alias_value":"HNLDFUY2LCSW","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HNLDFUY2LCSWS5C2","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HNLDFUY2","created_at":"2026-05-18T12:32:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:HNLDFUY2LCSWS5C2MWOHKUMVF6","target":"record","payload":{"canonical_record":{"source":{"id":"1807.01183","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-03T13:39:19Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"85bb348ed8d92d4aac48ecfaf1edcea7cfd0aafdcae7c85b9c414869d4912b07","abstract_canon_sha256":"aeba1a7e2ba6216e28f59a6820eff474077d44e9b24824fbb50e8b0708ec8fb6"},"schema_version":"1.0"},"canonical_sha256":"3b5632d31a58a569745a659c7551952fbd68e0678e31af5e86ae6730af614f5c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:07:40.144491Z","signature_b64":"f3qZz+VlY5KD3FIVKRuxHMzqXVX7ugPM/cXv0m99Z6nLVGtlovfLDpL5Xcc/NQgaFURypg3dnbTnh4haYfwHAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3b5632d31a58a569745a659c7551952fbd68e0678e31af5e86ae6730af614f5c","last_reissued_at":"2026-05-18T00:07:40.143831Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:07:40.143831Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1807.01183","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-18T00:07:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8M80ldYH4AZrMmhRs7uoEipvkLdQHi8whlehaAcysS7rE52zG7qSwrANAoWthoPFqsN1Fy+qVbn1/8Zx2i2zAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T14:22:10.864608Z"},"content_sha256":"6f3181a731bee616c531205b2fe7b0b8964f822f70c27ec1f6719c12cd86d760","schema_version":"1.0","event_id":"sha256:6f3181a731bee616c531205b2fe7b0b8964f822f70c27ec1f6719c12cd86d760"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:HNLDFUY2LCSWS5C2MWOHKUMVF6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Quantified Markov Logic Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.LO"],"primary_cat":"cs.AI","authors_text":"Jean Christoph Jung, Ondrej Kuzelka, V\\'ictor Guti\\'errez-Basulto","submitted_at":"2018-07-03T13:39:19Z","abstract_excerpt":"Markov Logic Networks (MLNs) are well-suited for expressing statistics such as \"with high probability a smoker knows another smoker\" but not for expressing statements such as \"there is a smoker who knows most other smokers\", which is necessary for modeling, e.g. influencers in social networks. To overcome this shortcoming, we study quantified MLNs which generalize MLNs by introducing statistical universal quantifiers, allowing to express also the latter type of statistics in a principled way. Our main technical contribution is to show that the standard reasoning tasks in quantified MLNs, maxim"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.01183","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-18T00:07:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aq6dtHncXk72wi1xqwAUy1cH41C6uGOUf43PcE55jRc2OWGpDjC/JbTsHy1d1fspL47QQ0QcLYSId6/oE7viAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T14:22:10.865088Z"},"content_sha256":"5f11271785b7bc7ce544fceaebc2a3c9eca628fa7bab3605e049a29b75873d9c","schema_version":"1.0","event_id":"sha256:5f11271785b7bc7ce544fceaebc2a3c9eca628fa7bab3605e049a29b75873d9c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HNLDFUY2LCSWS5C2MWOHKUMVF6/bundle.json","state_url":"https://pith.science/pith/HNLDFUY2LCSWS5C2MWOHKUMVF6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HNLDFUY2LCSWS5C2MWOHKUMVF6/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-26T14:22:10Z","links":{"resolver":"https://pith.science/pith/HNLDFUY2LCSWS5C2MWOHKUMVF6","bundle":"https://pith.science/pith/HNLDFUY2LCSWS5C2MWOHKUMVF6/bundle.json","state":"https://pith.science/pith/HNLDFUY2LCSWS5C2MWOHKUMVF6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HNLDFUY2LCSWS5C2MWOHKUMVF6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:HNLDFUY2LCSWS5C2MWOHKUMVF6","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":"aeba1a7e2ba6216e28f59a6820eff474077d44e9b24824fbb50e8b0708ec8fb6","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-03T13:39:19Z","title_canon_sha256":"85bb348ed8d92d4aac48ecfaf1edcea7cfd0aafdcae7c85b9c414869d4912b07"},"schema_version":"1.0","source":{"id":"1807.01183","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1807.01183","created_at":"2026-05-18T00:07:40Z"},{"alias_kind":"arxiv_version","alias_value":"1807.01183v3","created_at":"2026-05-18T00:07:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1807.01183","created_at":"2026-05-18T00:07:40Z"},{"alias_kind":"pith_short_12","alias_value":"HNLDFUY2LCSW","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HNLDFUY2LCSWS5C2","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HNLDFUY2","created_at":"2026-05-18T12:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:5f11271785b7bc7ce544fceaebc2a3c9eca628fa7bab3605e049a29b75873d9c","target":"graph","created_at":"2026-05-18T00:07:40Z","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":"Markov Logic Networks (MLNs) are well-suited for expressing statistics such as \"with high probability a smoker knows another smoker\" but not for expressing statements such as \"there is a smoker who knows most other smokers\", which is necessary for modeling, e.g. influencers in social networks. To overcome this shortcoming, we study quantified MLNs which generalize MLNs by introducing statistical universal quantifiers, allowing to express also the latter type of statistics in a principled way. Our main technical contribution is to show that the standard reasoning tasks in quantified MLNs, maxim","authors_text":"Jean Christoph Jung, Ondrej Kuzelka, V\\'ictor Guti\\'errez-Basulto","cross_cats":["cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-03T13:39:19Z","title":"Quantified Markov Logic Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1807.01183","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:6f3181a731bee616c531205b2fe7b0b8964f822f70c27ec1f6719c12cd86d760","target":"record","created_at":"2026-05-18T00:07:40Z","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":"aeba1a7e2ba6216e28f59a6820eff474077d44e9b24824fbb50e8b0708ec8fb6","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-07-03T13:39:19Z","title_canon_sha256":"85bb348ed8d92d4aac48ecfaf1edcea7cfd0aafdcae7c85b9c414869d4912b07"},"schema_version":"1.0","source":{"id":"1807.01183","kind":"arxiv","version":3}},"canonical_sha256":"3b5632d31a58a569745a659c7551952fbd68e0678e31af5e86ae6730af614f5c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3b5632d31a58a569745a659c7551952fbd68e0678e31af5e86ae6730af614f5c","first_computed_at":"2026-05-18T00:07:40.143831Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:07:40.143831Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"f3qZz+VlY5KD3FIVKRuxHMzqXVX7ugPM/cXv0m99Z6nLVGtlovfLDpL5Xcc/NQgaFURypg3dnbTnh4haYfwHAw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:07:40.144491Z","signed_message":"canonical_sha256_bytes"},"source_id":"1807.01183","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6f3181a731bee616c531205b2fe7b0b8964f822f70c27ec1f6719c12cd86d760","sha256:5f11271785b7bc7ce544fceaebc2a3c9eca628fa7bab3605e049a29b75873d9c"],"state_sha256":"79f9a88fd80ab82dd039f2f1b5d8ea75b2850aa05b78746104a8748327641a9a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I0Iq3XMnL2V1bZQdzdarvmg4jKvVtg01JW3vPpUziM8+bmSY1JRe5Ncr3Otmw25S9fW3uM/HXIW9z3nX58o8AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T14:22:10.868813Z","bundle_sha256":"97fe83b13141440a7156d094b31674f5476105bd3bf8591a23d1f222a319fc8d"}}