{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:JZ5W52P7NB4DM5UQLHVJ4YT2DL","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":"db829ae3bde991104ea0e82ba1fceed5f0fd2a56b22585425a8b9b0de731babc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-07-06T18:02:33Z","title_canon_sha256":"f7041da103d4e745788e4676ecef8e0b3dff8c228f94bb9ed35fa2adbdbf2a86"},"schema_version":"1.0","source":{"id":"1607.01729","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.01729","created_at":"2026-05-18T01:11:23Z"},{"alias_kind":"arxiv_version","alias_value":"1607.01729v2","created_at":"2026-05-18T01:11:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.01729","created_at":"2026-05-18T01:11:23Z"},{"alias_kind":"pith_short_12","alias_value":"JZ5W52P7NB4D","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"JZ5W52P7NB4DM5UQ","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"JZ5W52P7","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:fb3009fdb1f55db30bd24f63f9f7a8c3525bebe0960091a897c938b1a9d1d4c2","target":"graph","created_at":"2026-05-18T01:11:23Z","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":"There is an impressive body of work on developing heuristics and other reasoning algorithms to guide search in optimal and anytime planning algorithms for classical planning. However, very little effort has been directed towards developing analogous techniques to guide search towards high-quality solutions in hierarchical planning formalisms like HTN planning, which allows using additional domain-specific procedural control knowledge. In lieu of such techniques, this control knowledge often needs to provide the necessary search guidance to the planning algorithm, which imposes a substantial bu","authors_text":"David W. Aha, Mark Roberts, Ron Alford, Vikas Shivashankar","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-07-06T18:02:33Z","title":"Cost-Optimal Algorithms for Planning with Procedural Control Knowledge"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.01729","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:6ce2e2b3a9ca0cc1687563e2c412b97793c1e998eb14624f4d3e957cdbc26b91","target":"record","created_at":"2026-05-18T01:11:23Z","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":"db829ae3bde991104ea0e82ba1fceed5f0fd2a56b22585425a8b9b0de731babc","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-07-06T18:02:33Z","title_canon_sha256":"f7041da103d4e745788e4676ecef8e0b3dff8c228f94bb9ed35fa2adbdbf2a86"},"schema_version":"1.0","source":{"id":"1607.01729","kind":"arxiv","version":2}},"canonical_sha256":"4e7b6ee9ff687836769059ea9e627a1afc0b4e13c462fa1b9be9a1540a2795b0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4e7b6ee9ff687836769059ea9e627a1afc0b4e13c462fa1b9be9a1540a2795b0","first_computed_at":"2026-05-18T01:11:23.270166Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:23.270166Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"e0vWcOgC7le1RGVVEQ2Hlp7/gQAcVM6kFzP9a7fr2ncsciL8RPsZYw17bKCW1qKIRGo874MYhaGi20hAIo1FDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:23.270716Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.01729","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6ce2e2b3a9ca0cc1687563e2c412b97793c1e998eb14624f4d3e957cdbc26b91","sha256:fb3009fdb1f55db30bd24f63f9f7a8c3525bebe0960091a897c938b1a9d1d4c2"],"state_sha256":"99c74a11bf6be4aa246b13db4a80b4dc446685bdde0294b3adf5533746b8c90e"}