{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:ZR7N5F4YSDTOOAQXFTPQQLIWGY","short_pith_number":"pith:ZR7N5F4Y","schema_version":"1.0","canonical_sha256":"cc7ede979890e6e702172cdf082d16363f4676da1667de511185470a5baafded","source":{"kind":"arxiv","id":"1806.11298","version":2},"attestation_state":"computed","paper":{"title":"A General Multi-agent Epistemic Planner Based on Higher-order Belief Change","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Biqing Fang, Hai Wan, Xiao Huang, Yongmei Liu","submitted_at":"2018-06-29T08:26:55Z","abstract_excerpt":"In recent years, multi-agent epistemic planning has received attention from both dynamic logic and planning communities. Existing implementations of multi-agent epistemic planning are based on compilation into classical planning and suffer from various limitations, such as generating only linear plans, restriction to public actions, and incapability to handle disjunctive beliefs. In this paper, we propose a general representation language for multi-agent epistemic planning where the initial KB and the goal, the preconditions and effects of actions can be arbitrary multi-agent epistemic formula"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1806.11298","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-06-29T08:26:55Z","cross_cats_sorted":[],"title_canon_sha256":"a4941c4897944a92bf47687d14b63d912ed01977e43a7feba61366e18620f15d","abstract_canon_sha256":"158edaa8288d8dc5591d7c90f3691291859e5bd419225033f89eaade1eba290b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:08:14.565906Z","signature_b64":"Cl7i5dRdwVMxiqhOcUSANqezIPCYybh7QZVGy6Y7Vw8Ih6lndpqdUbMqWBijawNTN/sq631y+y1jRaqLRZVDCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cc7ede979890e6e702172cdf082d16363f4676da1667de511185470a5baafded","last_reissued_at":"2026-05-18T00:08:14.565527Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:08:14.565527Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"A General Multi-agent Epistemic Planner Based on Higher-order Belief Change","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Biqing Fang, Hai Wan, Xiao Huang, Yongmei Liu","submitted_at":"2018-06-29T08:26:55Z","abstract_excerpt":"In recent years, multi-agent epistemic planning has received attention from both dynamic logic and planning communities. Existing implementations of multi-agent epistemic planning are based on compilation into classical planning and suffer from various limitations, such as generating only linear plans, restriction to public actions, and incapability to handle disjunctive beliefs. In this paper, we propose a general representation language for multi-agent epistemic planning where the initial KB and the goal, the preconditions and effects of actions can be arbitrary multi-agent epistemic formula"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.11298","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1806.11298","created_at":"2026-05-18T00:08:14.565583+00:00"},{"alias_kind":"arxiv_version","alias_value":"1806.11298v2","created_at":"2026-05-18T00:08:14.565583+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.11298","created_at":"2026-05-18T00:08:14.565583+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZR7N5F4YSDTO","created_at":"2026-05-18T12:33:07.085635+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZR7N5F4YSDTOOAQX","created_at":"2026-05-18T12:33:07.085635+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZR7N5F4Y","created_at":"2026-05-18T12:33:07.085635+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"1907.09101","citing_title":"When Do Introspection Axioms Matter for Multi-Agent Epistemic Reasoning?","ref_index":14,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZR7N5F4YSDTOOAQXFTPQQLIWGY","json":"https://pith.science/pith/ZR7N5F4YSDTOOAQXFTPQQLIWGY.json","graph_json":"https://pith.science/api/pith-number/ZR7N5F4YSDTOOAQXFTPQQLIWGY/graph.json","events_json":"https://pith.science/api/pith-number/ZR7N5F4YSDTOOAQXFTPQQLIWGY/events.json","paper":"https://pith.science/paper/ZR7N5F4Y"},"agent_actions":{"view_html":"https://pith.science/pith/ZR7N5F4YSDTOOAQXFTPQQLIWGY","download_json":"https://pith.science/pith/ZR7N5F4YSDTOOAQXFTPQQLIWGY.json","view_paper":"https://pith.science/paper/ZR7N5F4Y","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1806.11298&json=true","fetch_graph":"https://pith.science/api/pith-number/ZR7N5F4YSDTOOAQXFTPQQLIWGY/graph.json","fetch_events":"https://pith.science/api/pith-number/ZR7N5F4YSDTOOAQXFTPQQLIWGY/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZR7N5F4YSDTOOAQXFTPQQLIWGY/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZR7N5F4YSDTOOAQXFTPQQLIWGY/action/storage_attestation","attest_author":"https://pith.science/pith/ZR7N5F4YSDTOOAQXFTPQQLIWGY/action/author_attestation","sign_citation":"https://pith.science/pith/ZR7N5F4YSDTOOAQXFTPQQLIWGY/action/citation_signature","submit_replication":"https://pith.science/pith/ZR7N5F4YSDTOOAQXFTPQQLIWGY/action/replication_record"}},"created_at":"2026-05-18T00:08:14.565583+00:00","updated_at":"2026-05-18T00:08:14.565583+00:00"}