{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:YV7KWXYCAVCSFUF7USBGS5ZRMJ","short_pith_number":"pith:YV7KWXYC","canonical_record":{"source":{"id":"1307.7494","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-07-29T08:26:37Z","cross_cats_sorted":["cs.LO","cs.RO"],"title_canon_sha256":"85ceb6cfa84e14a0a117335150c7bd9a4a90bdd0c694f29b7aca8ef6340f63d7","abstract_canon_sha256":"bb2d6fa2eb651bb1b7fff70834e3aaefce9d0603da1f57648a5490e4b33a328c"},"schema_version":"1.0"},"canonical_sha256":"c57eab5f02054522d0bfa482697731626d5b9d84810d56824f2493e7a811145c","source":{"kind":"arxiv","id":"1307.7494","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.7494","created_at":"2026-05-18T03:17:23Z"},{"alias_kind":"arxiv_version","alias_value":"1307.7494v1","created_at":"2026-05-18T03:17:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.7494","created_at":"2026-05-18T03:17:23Z"},{"alias_kind":"pith_short_12","alias_value":"YV7KWXYCAVCS","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"YV7KWXYCAVCSFUF7","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"YV7KWXYC","created_at":"2026-05-18T12:28:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:YV7KWXYCAVCSFUF7USBGS5ZRMJ","target":"record","payload":{"canonical_record":{"source":{"id":"1307.7494","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-07-29T08:26:37Z","cross_cats_sorted":["cs.LO","cs.RO"],"title_canon_sha256":"85ceb6cfa84e14a0a117335150c7bd9a4a90bdd0c694f29b7aca8ef6340f63d7","abstract_canon_sha256":"bb2d6fa2eb651bb1b7fff70834e3aaefce9d0603da1f57648a5490e4b33a328c"},"schema_version":"1.0"},"canonical_sha256":"c57eab5f02054522d0bfa482697731626d5b9d84810d56824f2493e7a811145c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:17:23.111837Z","signature_b64":"DtXyHl1+MtxoC2C0vFD/XtwH1T5iEGmcQSZ68p+TSdfWTt9FJ8olsb8Uzeg42fO0LMI2bGt2VSQNeV037WCJDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c57eab5f02054522d0bfa482697731626d5b9d84810d56824f2493e7a811145c","last_reissued_at":"2026-05-18T03:17:23.111360Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:17:23.111360Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1307.7494","source_version":1,"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-18T03:17:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bPDCwfXwVYY2VmQmYY5j93WTnpZ/uW2xZHUTF6yhm2lTyoz5SzT5mLYZBBTBEVxr9qhTJOVVznf3y7fhPhyuDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T08:32:05.813002Z"},"content_sha256":"d291bec31af65efd9b88ea7b1d5259fa55328cab936688fda16fd7cb616dcbcb","schema_version":"1.0","event_id":"sha256:d291bec31af65efd9b88ea7b1d5259fa55328cab936688fda16fd7cb616dcbcb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:YV7KWXYCAVCSFUF7USBGS5ZRMJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"ReAct! An Interactive Tool for Hybrid Planning in Robotics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.RO"],"primary_cat":"cs.AI","authors_text":"Esra Erdem, Volkan Patoglu, Zeynep Dogmus","submitted_at":"2013-07-29T08:26:37Z","abstract_excerpt":"We present ReAct!, an interactive tool for high-level reasoning for cognitive robotic applications. ReAct! enables robotic researchers to describe robots' actions and change in dynamic domains, without having to know about the syntactic and semantic details of the underlying formalism in advance, and solve planning problems using state-of-the-art automated reasoners, without having to learn about their input/output language or usage. In particular, ReAct! can be used to represent sophisticated dynamic domains that feature concurrency, indirect effects of actions, and state/transition constrain"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.7494","kind":"arxiv","version":1},"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-18T03:17:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gwWP3DEDOhUeWoA10oc6r7yjOSeX1D8AcSTjf2FoggurKdCcyCQJsXKJimCEcLZaLQ4fYytgDGIGVfyAjBwbDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T08:32:05.813625Z"},"content_sha256":"25d84688209d67c6b06016c07ed9def0d769eaf7ed0af734b4eb35457e4d2b62","schema_version":"1.0","event_id":"sha256:25d84688209d67c6b06016c07ed9def0d769eaf7ed0af734b4eb35457e4d2b62"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YV7KWXYCAVCSFUF7USBGS5ZRMJ/bundle.json","state_url":"https://pith.science/pith/YV7KWXYCAVCSFUF7USBGS5ZRMJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YV7KWXYCAVCSFUF7USBGS5ZRMJ/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-07T08:32:05Z","links":{"resolver":"https://pith.science/pith/YV7KWXYCAVCSFUF7USBGS5ZRMJ","bundle":"https://pith.science/pith/YV7KWXYCAVCSFUF7USBGS5ZRMJ/bundle.json","state":"https://pith.science/pith/YV7KWXYCAVCSFUF7USBGS5ZRMJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YV7KWXYCAVCSFUF7USBGS5ZRMJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:YV7KWXYCAVCSFUF7USBGS5ZRMJ","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":"bb2d6fa2eb651bb1b7fff70834e3aaefce9d0603da1f57648a5490e4b33a328c","cross_cats_sorted":["cs.LO","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-07-29T08:26:37Z","title_canon_sha256":"85ceb6cfa84e14a0a117335150c7bd9a4a90bdd0c694f29b7aca8ef6340f63d7"},"schema_version":"1.0","source":{"id":"1307.7494","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.7494","created_at":"2026-05-18T03:17:23Z"},{"alias_kind":"arxiv_version","alias_value":"1307.7494v1","created_at":"2026-05-18T03:17:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.7494","created_at":"2026-05-18T03:17:23Z"},{"alias_kind":"pith_short_12","alias_value":"YV7KWXYCAVCS","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_16","alias_value":"YV7KWXYCAVCSFUF7","created_at":"2026-05-18T12:28:09Z"},{"alias_kind":"pith_short_8","alias_value":"YV7KWXYC","created_at":"2026-05-18T12:28:09Z"}],"graph_snapshots":[{"event_id":"sha256:25d84688209d67c6b06016c07ed9def0d769eaf7ed0af734b4eb35457e4d2b62","target":"graph","created_at":"2026-05-18T03:17: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":"We present ReAct!, an interactive tool for high-level reasoning for cognitive robotic applications. ReAct! enables robotic researchers to describe robots' actions and change in dynamic domains, without having to know about the syntactic and semantic details of the underlying formalism in advance, and solve planning problems using state-of-the-art automated reasoners, without having to learn about their input/output language or usage. In particular, ReAct! can be used to represent sophisticated dynamic domains that feature concurrency, indirect effects of actions, and state/transition constrain","authors_text":"Esra Erdem, Volkan Patoglu, Zeynep Dogmus","cross_cats":["cs.LO","cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-07-29T08:26:37Z","title":"ReAct! An Interactive Tool for Hybrid Planning in Robotics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.7494","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:d291bec31af65efd9b88ea7b1d5259fa55328cab936688fda16fd7cb616dcbcb","target":"record","created_at":"2026-05-18T03:17: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":"bb2d6fa2eb651bb1b7fff70834e3aaefce9d0603da1f57648a5490e4b33a328c","cross_cats_sorted":["cs.LO","cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-07-29T08:26:37Z","title_canon_sha256":"85ceb6cfa84e14a0a117335150c7bd9a4a90bdd0c694f29b7aca8ef6340f63d7"},"schema_version":"1.0","source":{"id":"1307.7494","kind":"arxiv","version":1}},"canonical_sha256":"c57eab5f02054522d0bfa482697731626d5b9d84810d56824f2493e7a811145c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c57eab5f02054522d0bfa482697731626d5b9d84810d56824f2493e7a811145c","first_computed_at":"2026-05-18T03:17:23.111360Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:17:23.111360Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"DtXyHl1+MtxoC2C0vFD/XtwH1T5iEGmcQSZ68p+TSdfWTt9FJ8olsb8Uzeg42fO0LMI2bGt2VSQNeV037WCJDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:17:23.111837Z","signed_message":"canonical_sha256_bytes"},"source_id":"1307.7494","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d291bec31af65efd9b88ea7b1d5259fa55328cab936688fda16fd7cb616dcbcb","sha256:25d84688209d67c6b06016c07ed9def0d769eaf7ed0af734b4eb35457e4d2b62"],"state_sha256":"23df7b5a1d73ee3635e8989930aa0ed5d00a72665df69027aa8075729e41c6ec"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J5PBEjeKk4ud+O3a8d+DNa7IMg70F8SJycF+QjVTyFyR+2AMHTWeAfi1pV9uQNrjOfQ3Dbmzwy/6adchBb93Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T08:32:05.816521Z","bundle_sha256":"75b0e5aef5cbf1fffd46b847f908724e873d53b07b0374cb14c87962c13a2f8b"}}