{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:4MOMYPNRDMSD5IENP3MECDMZBK","short_pith_number":"pith:4MOMYPNR","canonical_record":{"source":{"id":"1310.6439","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-10-23T23:56:43Z","cross_cats_sorted":[],"title_canon_sha256":"57c256a433a7cc5d6672789c3d96eedd3507cb801e8e5d0e5658a6b4171a7397","abstract_canon_sha256":"c02a7cc891dfa4b47e61a680102c5f9c21a154b471b4244bbec8b418f8855c00"},"schema_version":"1.0"},"canonical_sha256":"e31ccc3db11b243ea08d7ed8410d990aac67d0b942f5cebc8624d7cb70596a3e","source":{"kind":"arxiv","id":"1310.6439","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.6439","created_at":"2026-05-18T03:08:48Z"},{"alias_kind":"arxiv_version","alias_value":"1310.6439v1","created_at":"2026-05-18T03:08:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.6439","created_at":"2026-05-18T03:08:48Z"},{"alias_kind":"pith_short_12","alias_value":"4MOMYPNRDMSD","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4MOMYPNRDMSD5IEN","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4MOMYPNR","created_at":"2026-05-18T12:27:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:4MOMYPNRDMSD5IENP3MECDMZBK","target":"record","payload":{"canonical_record":{"source":{"id":"1310.6439","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-10-23T23:56:43Z","cross_cats_sorted":[],"title_canon_sha256":"57c256a433a7cc5d6672789c3d96eedd3507cb801e8e5d0e5658a6b4171a7397","abstract_canon_sha256":"c02a7cc891dfa4b47e61a680102c5f9c21a154b471b4244bbec8b418f8855c00"},"schema_version":"1.0"},"canonical_sha256":"e31ccc3db11b243ea08d7ed8410d990aac67d0b942f5cebc8624d7cb70596a3e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:08:48.164716Z","signature_b64":"Ev6kXsFwONK61OzUdZr9mMhDXBrfC/Hww9P2TLcf/EIoXsylt3ousRKaHvh7aUmxH/ULsU8zCqDh5YdS8FnGCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e31ccc3db11b243ea08d7ed8410d990aac67d0b942f5cebc8624d7cb70596a3e","last_reissued_at":"2026-05-18T03:08:48.164045Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:08:48.164045Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1310.6439","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-18T03:08:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9HtrEDJbcfSrpjUCT7AACivj2Q7WdycuQeKlff+yD2fF+cHv/VnT3c8FsShFyRlWNnCbxXyoD1vm4C1twBCHDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T02:41:59.140567Z"},"content_sha256":"7dc18d31346db613447dde0d29cbfd196d705cbbf3037db5f60d16ed63465598","schema_version":"1.0","event_id":"sha256:7dc18d31346db613447dde0d29cbfd196d705cbbf3037db5f60d16ed63465598"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:4MOMYPNRDMSD5IENP3MECDMZBK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Daniel Stefankovic, Henry Kautz, Tivadar Papai","submitted_at":"2013-10-23T23:56:43Z","abstract_excerpt":"We propose modal Markov logic as an extension of propositional Markov logic to reason under the principle of maximum entropy for modal logics K45, KD45, and S5. Analogous to propositional Markov logic, the knowledge base consists of weighted formulas, whose weights are learned from data. However, in contrast to Markov logic, in our framework we use the knowledge base to define a probability distribution over non-equivalent epistemic situations (pointed Kripke structures) rather than over atoms, and use this distribution to assign probabilities to modal formulas. As in all probabilistic represe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.6439","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-18T03:08:48Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"R/GNxrtEIw2/INmua4T5TcdHYRb8hE3+ner3KLKBHHuOMwIoQxXbLSynRl2bnoxvn5LZeZKugPWKz3tnwJ57DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T02:41:59.140917Z"},"content_sha256":"52bc9e069c7c90ad256f2cef75e87bd690d058753fcbae6c6567773ad75d025d","schema_version":"1.0","event_id":"sha256:52bc9e069c7c90ad256f2cef75e87bd690d058753fcbae6c6567773ad75d025d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4MOMYPNRDMSD5IENP3MECDMZBK/bundle.json","state_url":"https://pith.science/pith/4MOMYPNRDMSD5IENP3MECDMZBK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4MOMYPNRDMSD5IENP3MECDMZBK/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-20T02:41:59Z","links":{"resolver":"https://pith.science/pith/4MOMYPNRDMSD5IENP3MECDMZBK","bundle":"https://pith.science/pith/4MOMYPNRDMSD5IENP3MECDMZBK/bundle.json","state":"https://pith.science/pith/4MOMYPNRDMSD5IENP3MECDMZBK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4MOMYPNRDMSD5IENP3MECDMZBK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:4MOMYPNRDMSD5IENP3MECDMZBK","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":"c02a7cc891dfa4b47e61a680102c5f9c21a154b471b4244bbec8b418f8855c00","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-10-23T23:56:43Z","title_canon_sha256":"57c256a433a7cc5d6672789c3d96eedd3507cb801e8e5d0e5658a6b4171a7397"},"schema_version":"1.0","source":{"id":"1310.6439","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1310.6439","created_at":"2026-05-18T03:08:48Z"},{"alias_kind":"arxiv_version","alias_value":"1310.6439v1","created_at":"2026-05-18T03:08:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1310.6439","created_at":"2026-05-18T03:08:48Z"},{"alias_kind":"pith_short_12","alias_value":"4MOMYPNRDMSD","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4MOMYPNRDMSD5IEN","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4MOMYPNR","created_at":"2026-05-18T12:27:34Z"}],"graph_snapshots":[{"event_id":"sha256:52bc9e069c7c90ad256f2cef75e87bd690d058753fcbae6c6567773ad75d025d","target":"graph","created_at":"2026-05-18T03:08:48Z","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":"We propose modal Markov logic as an extension of propositional Markov logic to reason under the principle of maximum entropy for modal logics K45, KD45, and S5. Analogous to propositional Markov logic, the knowledge base consists of weighted formulas, whose weights are learned from data. However, in contrast to Markov logic, in our framework we use the knowledge base to define a probability distribution over non-equivalent epistemic situations (pointed Kripke structures) rather than over atoms, and use this distribution to assign probabilities to modal formulas. As in all probabilistic represe","authors_text":"Daniel Stefankovic, Henry Kautz, Tivadar Papai","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-10-23T23:56:43Z","title":"Reasoning Under the Principle of Maximum Entropy for Modal Logics K45, KD45, and S5"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1310.6439","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:7dc18d31346db613447dde0d29cbfd196d705cbbf3037db5f60d16ed63465598","target":"record","created_at":"2026-05-18T03:08:48Z","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":"c02a7cc891dfa4b47e61a680102c5f9c21a154b471b4244bbec8b418f8855c00","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-10-23T23:56:43Z","title_canon_sha256":"57c256a433a7cc5d6672789c3d96eedd3507cb801e8e5d0e5658a6b4171a7397"},"schema_version":"1.0","source":{"id":"1310.6439","kind":"arxiv","version":1}},"canonical_sha256":"e31ccc3db11b243ea08d7ed8410d990aac67d0b942f5cebc8624d7cb70596a3e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e31ccc3db11b243ea08d7ed8410d990aac67d0b942f5cebc8624d7cb70596a3e","first_computed_at":"2026-05-18T03:08:48.164045Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:08:48.164045Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ev6kXsFwONK61OzUdZr9mMhDXBrfC/Hww9P2TLcf/EIoXsylt3ousRKaHvh7aUmxH/ULsU8zCqDh5YdS8FnGCw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:08:48.164716Z","signed_message":"canonical_sha256_bytes"},"source_id":"1310.6439","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7dc18d31346db613447dde0d29cbfd196d705cbbf3037db5f60d16ed63465598","sha256:52bc9e069c7c90ad256f2cef75e87bd690d058753fcbae6c6567773ad75d025d"],"state_sha256":"3c01959692ca4dd1f8cdbce964515f23ebd59db4683759a7dbfef4ca5ae27261"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cyi62wKDK8sKUr9xvK+LOX94J8lV4Zkv/F1z2cMAiDnkdow3/8kgZjR8FfNvjWw6zNewXQulxMv2R3VPP+OZDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T02:41:59.142935Z","bundle_sha256":"1436fd6f293ec8582156329954f8cf67ccb4ccd5003aa269540289bb442e2e08"}}