{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:V6IODB2JTWS7L4J5MAP5TYLHFX","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":"7f4471c9ffdeb49fab9c84e7d5aa72c98e4c02bd0f627b9c07378ddc65761b92","cross_cats_sorted":["cs.LO","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-19T00:29:16Z","title_canon_sha256":"23038a824a48095e303a0861f5c6ed8c3ed1371346b7be82c4f2895ee9afecea"},"schema_version":"1.0","source":{"id":"1707.05904","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.05904","created_at":"2026-05-18T00:39:58Z"},{"alias_kind":"arxiv_version","alias_value":"1707.05904v1","created_at":"2026-05-18T00:39:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.05904","created_at":"2026-05-18T00:39:58Z"},{"alias_kind":"pith_short_12","alias_value":"V6IODB2JTWS7","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_16","alias_value":"V6IODB2JTWS7L4J5","created_at":"2026-05-18T12:31:49Z"},{"alias_kind":"pith_short_8","alias_value":"V6IODB2J","created_at":"2026-05-18T12:31:49Z"}],"graph_snapshots":[{"event_id":"sha256:ca5d01cb355160569395375314960cc04347656d447dc960fd6b2644c18aee60","target":"graph","created_at":"2026-05-18T00:39:58Z","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 introduce a parallel offline algorithm for computing hybrid conditional plans, called HCP-ASP, oriented towards robotics applications. HCP-ASP relies on modeling actuation actions and sensing actions in an expressive nonmonotonic language of answer set programming (ASP), and computation of the branches of a conditional plan in parallel using an ASP solver. In particular, thanks to external atoms, continuous feasibility checks (like collision checks) are embedded into formal representations of actuation actions and sensing actions in ASP; and thus each branch of a hybrid conditional plan des","authors_text":"Ahmed Nouman, Esra Erdem, Ibrahim Faruk Yalciner, Volkan Patoglu","cross_cats":["cs.LO","cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-19T00:29:16Z","title":"Hybrid Conditional Planning using Answer Set Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.05904","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:ee3ccc75f1ee7a9453fadab0da2f9f54c9ddb9a1b983d568608202fbfcf829de","target":"record","created_at":"2026-05-18T00:39:58Z","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":"7f4471c9ffdeb49fab9c84e7d5aa72c98e4c02bd0f627b9c07378ddc65761b92","cross_cats_sorted":["cs.LO","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-07-19T00:29:16Z","title_canon_sha256":"23038a824a48095e303a0861f5c6ed8c3ed1371346b7be82c4f2895ee9afecea"},"schema_version":"1.0","source":{"id":"1707.05904","kind":"arxiv","version":1}},"canonical_sha256":"af90e187499da5f5f13d601fd9e1672dde033edd3df2275d06c1cf47d708c5dd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"af90e187499da5f5f13d601fd9e1672dde033edd3df2275d06c1cf47d708c5dd","first_computed_at":"2026-05-18T00:39:58.988639Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:58.988639Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"+JE66vFxHfSciWScj1rOObo37NJYWwaYbbt93mcQCSmJkw98qhAwfe4KbtJa8QjaP6Hwd6bzdxETcSn9y9EDDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:58.989111Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.05904","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ee3ccc75f1ee7a9453fadab0da2f9f54c9ddb9a1b983d568608202fbfcf829de","sha256:ca5d01cb355160569395375314960cc04347656d447dc960fd6b2644c18aee60"],"state_sha256":"0a6c67906e759c3105cc4408d57e8a71d957fe03ed0610237c7120c3562da59d"}