{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:UMXEONN3OETKEHGKNBVQL5REHF","short_pith_number":"pith:UMXEONN3","canonical_record":{"source":{"id":"1806.10561","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-27T16:33:43Z","cross_cats_sorted":[],"title_canon_sha256":"0e43f31b5d417cbe3813e7e29b33aed8086d71cf6e50f4f5c47a9be26b13b3d1","abstract_canon_sha256":"28bba7083eaaf2f280e6736c857e6565785d6af08124efe89fdef1ffa8ac0e93"},"schema_version":"1.0"},"canonical_sha256":"a32e4735bb7126a21cca686b05f624396c59ca51f938167e160f2ecebc275698","source":{"kind":"arxiv","id":"1806.10561","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.10561","created_at":"2026-05-18T00:12:08Z"},{"alias_kind":"arxiv_version","alias_value":"1806.10561v2","created_at":"2026-05-18T00:12:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.10561","created_at":"2026-05-18T00:12:08Z"},{"alias_kind":"pith_short_12","alias_value":"UMXEONN3OETK","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"UMXEONN3OETKEHGK","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"UMXEONN3","created_at":"2026-05-18T12:32:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:UMXEONN3OETKEHGKNBVQL5REHF","target":"record","payload":{"canonical_record":{"source":{"id":"1806.10561","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-27T16:33:43Z","cross_cats_sorted":[],"title_canon_sha256":"0e43f31b5d417cbe3813e7e29b33aed8086d71cf6e50f4f5c47a9be26b13b3d1","abstract_canon_sha256":"28bba7083eaaf2f280e6736c857e6565785d6af08124efe89fdef1ffa8ac0e93"},"schema_version":"1.0"},"canonical_sha256":"a32e4735bb7126a21cca686b05f624396c59ca51f938167e160f2ecebc275698","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:12:08.453276Z","signature_b64":"jWBTgSg3VJ0rqEUegUo/jbcMhkcAaMNS6fByUxm89b6syWq6iQnQLknW76Pqjt0CwjyiTWw2nZ+3KnfuEfQ9DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a32e4735bb7126a21cca686b05f624396c59ca51f938167e160f2ecebc275698","last_reissued_at":"2026-05-18T00:12:08.452577Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:12:08.452577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.10561","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:12:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2tYHHwXoqv8ONpXf2KSs9OCkidYU9dyjFLE8wIKecYoqvwsz5L0qV+OUAMGySMeuLK9YB+Q2KttzMk+dqYXCDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T12:24:52.891640Z"},"content_sha256":"e44470f5b71d1fb13bbbb682cabca3a4ed65dde3a4ed64c5f1fa28e4199f6f3b","schema_version":"1.0","event_id":"sha256:e44470f5b71d1fb13bbbb682cabca3a4ed65dde3a4ed64c5f1fa28e4199f6f3b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:UMXEONN3OETKEHGKNBVQL5REHF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Knowledge Compilation in Multi-Agent Epistemic Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Kewen Wang, Liangda Fang, Ximing Wen, Zhe Wang","submitted_at":"2018-06-27T16:33:43Z","abstract_excerpt":"Epistemic logics are a primary formalism for multi-agent systems but major reasoning tasks in such epistemic logics are intractable, which impedes applications of multi-agent epistemic logics in automatic planning. Knowledge compilation provides a promising way of resolving the intractability by identifying expressive fragments of epistemic logics that are tractable for important reasoning tasks such as satisfiability and forgetting. The property of logical separability allows to decompose a formula into some of its subformulas and thus modular algorithms for various reasoning tasks can be dev"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.10561","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:12:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M8cZPBVWweEU/Bqy0xRdOLfDW/6/0OsqDDDv3X6VlFX9H8tMn+4lgIms3MMBOFUYASVLaBGBDaCDAM677H4kAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T12:24:52.891977Z"},"content_sha256":"385cea5ee0c1df820f847041491e1618f5990a5fbd475c3146f4c8933daa0e0f","schema_version":"1.0","event_id":"sha256:385cea5ee0c1df820f847041491e1618f5990a5fbd475c3146f4c8933daa0e0f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UMXEONN3OETKEHGKNBVQL5REHF/bundle.json","state_url":"https://pith.science/pith/UMXEONN3OETKEHGKNBVQL5REHF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UMXEONN3OETKEHGKNBVQL5REHF/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-02T12:24:52Z","links":{"resolver":"https://pith.science/pith/UMXEONN3OETKEHGKNBVQL5REHF","bundle":"https://pith.science/pith/UMXEONN3OETKEHGKNBVQL5REHF/bundle.json","state":"https://pith.science/pith/UMXEONN3OETKEHGKNBVQL5REHF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UMXEONN3OETKEHGKNBVQL5REHF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:UMXEONN3OETKEHGKNBVQL5REHF","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":"28bba7083eaaf2f280e6736c857e6565785d6af08124efe89fdef1ffa8ac0e93","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-27T16:33:43Z","title_canon_sha256":"0e43f31b5d417cbe3813e7e29b33aed8086d71cf6e50f4f5c47a9be26b13b3d1"},"schema_version":"1.0","source":{"id":"1806.10561","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.10561","created_at":"2026-05-18T00:12:08Z"},{"alias_kind":"arxiv_version","alias_value":"1806.10561v2","created_at":"2026-05-18T00:12:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.10561","created_at":"2026-05-18T00:12:08Z"},{"alias_kind":"pith_short_12","alias_value":"UMXEONN3OETK","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_16","alias_value":"UMXEONN3OETKEHGK","created_at":"2026-05-18T12:32:56Z"},{"alias_kind":"pith_short_8","alias_value":"UMXEONN3","created_at":"2026-05-18T12:32:56Z"}],"graph_snapshots":[{"event_id":"sha256:385cea5ee0c1df820f847041491e1618f5990a5fbd475c3146f4c8933daa0e0f","target":"graph","created_at":"2026-05-18T00:12:08Z","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":"Epistemic logics are a primary formalism for multi-agent systems but major reasoning tasks in such epistemic logics are intractable, which impedes applications of multi-agent epistemic logics in automatic planning. Knowledge compilation provides a promising way of resolving the intractability by identifying expressive fragments of epistemic logics that are tractable for important reasoning tasks such as satisfiability and forgetting. The property of logical separability allows to decompose a formula into some of its subformulas and thus modular algorithms for various reasoning tasks can be dev","authors_text":"Kewen Wang, Liangda Fang, Ximing Wen, Zhe Wang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-27T16:33:43Z","title":"Knowledge Compilation in Multi-Agent Epistemic Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.10561","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:e44470f5b71d1fb13bbbb682cabca3a4ed65dde3a4ed64c5f1fa28e4199f6f3b","target":"record","created_at":"2026-05-18T00:12:08Z","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":"28bba7083eaaf2f280e6736c857e6565785d6af08124efe89fdef1ffa8ac0e93","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-27T16:33:43Z","title_canon_sha256":"0e43f31b5d417cbe3813e7e29b33aed8086d71cf6e50f4f5c47a9be26b13b3d1"},"schema_version":"1.0","source":{"id":"1806.10561","kind":"arxiv","version":2}},"canonical_sha256":"a32e4735bb7126a21cca686b05f624396c59ca51f938167e160f2ecebc275698","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a32e4735bb7126a21cca686b05f624396c59ca51f938167e160f2ecebc275698","first_computed_at":"2026-05-18T00:12:08.452577Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:12:08.452577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jWBTgSg3VJ0rqEUegUo/jbcMhkcAaMNS6fByUxm89b6syWq6iQnQLknW76Pqjt0CwjyiTWw2nZ+3KnfuEfQ9DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:12:08.453276Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.10561","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e44470f5b71d1fb13bbbb682cabca3a4ed65dde3a4ed64c5f1fa28e4199f6f3b","sha256:385cea5ee0c1df820f847041491e1618f5990a5fbd475c3146f4c8933daa0e0f"],"state_sha256":"e5b5d82edeeafe0406cc4b4e3b5d81d790cca9fe36c75f9e67bb845dc1e7238f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+fkB/bexmR6N43yFi0nH05hgnyagFHSJASlbGBLli+X6UlwbP3w9J4rGjwhrEMf3oFFIPlf0z/7ndgKPUS7tDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T12:24:52.893835Z","bundle_sha256":"3948dd0795e0a0f2a1c0b8a9425d9e5d6e7abd4759f3e2cf07f6a00c83df94b9"}}