{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:LD6QTDOIARJ62E6EBTERTEEK45","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":"b78a3ea408ae495a4e7dac74101f4980231599281a821294b2aa886442164e45","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-23T02:46:26Z","title_canon_sha256":"c901c9069e3cbd650135da2e94ed9a6ecfe83cb5e62a1d0345a87f4b16d685d8"},"schema_version":"1.0","source":{"id":"1401.5857","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.5857","created_at":"2026-05-18T03:01:23Z"},{"alias_kind":"arxiv_version","alias_value":"1401.5857v1","created_at":"2026-05-18T03:01:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.5857","created_at":"2026-05-18T03:01:23Z"},{"alias_kind":"pith_short_12","alias_value":"LD6QTDOIARJ6","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"LD6QTDOIARJ62E6E","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"LD6QTDOI","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:fe38b3c7e1bc02eb91d38615d82b9ad6a5a81b0455dd7c7359abf8b8d3de632b","target":"graph","created_at":"2026-05-18T03:01: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":"In this paper we describe COLIN, a forward-chaining heuristic search planner, capable of reasoning with COntinuous LINear numeric change, in addition to the full temporal semantics of PDDL.  Through this work we make two advances to the state-of-the-art in terms of expressive reasoning capabilities of planners: the handling of continuous linear change, and the handling of duration-dependent effects in combination with duration inequalities, both of which require tightly coupled temporal and numeric reasoning during planning.  COLIN combines FF-style forward chaining search, with the use of a L","authors_text":"Amanda J. Coles, Andrew I. Coles, Derek Long, Maria Fox","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-23T02:46:26Z","title":"COLIN: Planning with Continuous Linear Numeric Change"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.5857","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:e44d98ef878592b02d106e80f0329a6c577690b13f6c3d196068784c31875d56","target":"record","created_at":"2026-05-18T03:01: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":"b78a3ea408ae495a4e7dac74101f4980231599281a821294b2aa886442164e45","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-23T02:46:26Z","title_canon_sha256":"c901c9069e3cbd650135da2e94ed9a6ecfe83cb5e62a1d0345a87f4b16d685d8"},"schema_version":"1.0","source":{"id":"1401.5857","kind":"arxiv","version":1}},"canonical_sha256":"58fd098dc80453ed13c40cc919908ae760cf8071f8f71883313c378e644fc514","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"58fd098dc80453ed13c40cc919908ae760cf8071f8f71883313c378e644fc514","first_computed_at":"2026-05-18T03:01:23.644250Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:01:23.644250Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yKPyoMsP5egaRny2Vl62aE1Yb/4su0uxsQHxElLY52q2KmMvqY9aHsCwxtcWjjtfcbhUYLd56iQtLm2Z/uEnBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:01:23.644943Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.5857","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e44d98ef878592b02d106e80f0329a6c577690b13f6c3d196068784c31875d56","sha256:fe38b3c7e1bc02eb91d38615d82b9ad6a5a81b0455dd7c7359abf8b8d3de632b"],"state_sha256":"2efd960627023a46354fa7cb8de2a9a992dbb4843191b258dfa35525c7caf257"}