{"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"}