{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:YGHX7D4NAAF2RU2IVMIHBQY7PW","short_pith_number":"pith:YGHX7D4N","canonical_record":{"source":{"id":"1307.8084","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-07-29T18:55:00Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"ccc35af72d06e6209cf048233f8dca6ec3c1fcdcaa4366074aa0d5cd93cd8c2c","abstract_canon_sha256":"da4d08c3f56c2c3f6fd63034fd81ddd00c5842b150ee092b13381fc1a937d9b0"},"schema_version":"1.0"},"canonical_sha256":"c18f7f8f8d000ba8d348ab1070c31f7db906e4fa36ad440c025478af1b762f47","source":{"kind":"arxiv","id":"1307.8084","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.8084","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"arxiv_version","alias_value":"1307.8084v1","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.8084","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"pith_short_12","alias_value":"YGHX7D4NAAF2","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"YGHX7D4NAAF2RU2I","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"YGHX7D4N","created_at":"2026-05-18T12:28:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:YGHX7D4NAAF2RU2IVMIHBQY7PW","target":"record","payload":{"canonical_record":{"source":{"id":"1307.8084","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-07-29T18:55:00Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"ccc35af72d06e6209cf048233f8dca6ec3c1fcdcaa4366074aa0d5cd93cd8c2c","abstract_canon_sha256":"da4d08c3f56c2c3f6fd63034fd81ddd00c5842b150ee092b13381fc1a937d9b0"},"schema_version":"1.0"},"canonical_sha256":"c18f7f8f8d000ba8d348ab1070c31f7db906e4fa36ad440c025478af1b762f47","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:16:50.855024Z","signature_b64":"YFLAi42PfOJkSsIHyUGza04IQu3i7w8gWR4MPA4foN640TtYc10N8zyLrGtU5c0h/kCQpcozfXlJR8awkwa5BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c18f7f8f8d000ba8d348ab1070c31f7db906e4fa36ad440c025478af1b762f47","last_reissued_at":"2026-05-18T03:16:50.854300Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:16:50.854300Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1307.8084","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:16:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N+X9x/rVpTmqVMRP9uR3ceqQAkFlaDeki5ZaSiuIG2mogv0eZI26OjV8wO9bwyTY4saBPlWFL7SBkYPd3QK+Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T22:53:22.494510Z"},"content_sha256":"87c0f84e19d95c16c499bd86a9f452b6a102a438b56ccec2b765fe022cc44df7","schema_version":"1.0","event_id":"sha256:87c0f84e19d95c16c499bd86a9f452b6a102a438b56ccec2b765fe022cc44df7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:YGHX7D4NAAF2RU2IVMIHBQY7PW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Combining Answer Set Programming and POMDPs for Knowledge Representation and Reasoning on Mobile Robots","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.AI","authors_text":"Mohan Sridharan, Shiqi Zhang","submitted_at":"2013-07-29T18:55:00Z","abstract_excerpt":"For widespread deployment in domains characterized by partial observability, non-deterministic actions and unforeseen changes, robots need to adapt sensing, processing and interaction with humans to the tasks at hand. While robots typically cannot process all sensor inputs or operate without substantial domain knowledge, it is a challenge to provide accurate domain knowledge and humans may not have the time and expertise to provide elaborate and accurate feedback. The architecture described in this paper combines declarative programming and probabilistic reasoning to address these challenges, "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.8084","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:16:50Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ef8HkBqCTT0z4nJ1FeyXSATk22CdYhQNy1FCvHurvJpZ/F1OPRSVzmHJ4FcEqbv+nI3ZrhdVNuwl7XBEhnaIBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-02T22:53:22.494870Z"},"content_sha256":"671f95960781312d218e5b31d49f6186f480e742fb260fd6d38d8e56214a7526","schema_version":"1.0","event_id":"sha256:671f95960781312d218e5b31d49f6186f480e742fb260fd6d38d8e56214a7526"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YGHX7D4NAAF2RU2IVMIHBQY7PW/bundle.json","state_url":"https://pith.science/pith/YGHX7D4NAAF2RU2IVMIHBQY7PW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YGHX7D4NAAF2RU2IVMIHBQY7PW/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-07-02T22:53:22Z","links":{"resolver":"https://pith.science/pith/YGHX7D4NAAF2RU2IVMIHBQY7PW","bundle":"https://pith.science/pith/YGHX7D4NAAF2RU2IVMIHBQY7PW/bundle.json","state":"https://pith.science/pith/YGHX7D4NAAF2RU2IVMIHBQY7PW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YGHX7D4NAAF2RU2IVMIHBQY7PW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:YGHX7D4NAAF2RU2IVMIHBQY7PW","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":"da4d08c3f56c2c3f6fd63034fd81ddd00c5842b150ee092b13381fc1a937d9b0","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-07-29T18:55:00Z","title_canon_sha256":"ccc35af72d06e6209cf048233f8dca6ec3c1fcdcaa4366074aa0d5cd93cd8c2c"},"schema_version":"1.0","source":{"id":"1307.8084","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1307.8084","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"arxiv_version","alias_value":"1307.8084v1","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1307.8084","created_at":"2026-05-18T03:16:50Z"},{"alias_kind":"pith_short_12","alias_value":"YGHX7D4NAAF2","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_16","alias_value":"YGHX7D4NAAF2RU2I","created_at":"2026-05-18T12:28:06Z"},{"alias_kind":"pith_short_8","alias_value":"YGHX7D4N","created_at":"2026-05-18T12:28:06Z"}],"graph_snapshots":[{"event_id":"sha256:671f95960781312d218e5b31d49f6186f480e742fb260fd6d38d8e56214a7526","target":"graph","created_at":"2026-05-18T03:16:50Z","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":"For widespread deployment in domains characterized by partial observability, non-deterministic actions and unforeseen changes, robots need to adapt sensing, processing and interaction with humans to the tasks at hand. While robots typically cannot process all sensor inputs or operate without substantial domain knowledge, it is a challenge to provide accurate domain knowledge and humans may not have the time and expertise to provide elaborate and accurate feedback. The architecture described in this paper combines declarative programming and probabilistic reasoning to address these challenges, ","authors_text":"Mohan Sridharan, Shiqi Zhang","cross_cats":["cs.RO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-07-29T18:55:00Z","title":"Combining Answer Set Programming and POMDPs for Knowledge Representation and Reasoning on Mobile Robots"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1307.8084","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:87c0f84e19d95c16c499bd86a9f452b6a102a438b56ccec2b765fe022cc44df7","target":"record","created_at":"2026-05-18T03:16:50Z","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":"da4d08c3f56c2c3f6fd63034fd81ddd00c5842b150ee092b13381fc1a937d9b0","cross_cats_sorted":["cs.RO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-07-29T18:55:00Z","title_canon_sha256":"ccc35af72d06e6209cf048233f8dca6ec3c1fcdcaa4366074aa0d5cd93cd8c2c"},"schema_version":"1.0","source":{"id":"1307.8084","kind":"arxiv","version":1}},"canonical_sha256":"c18f7f8f8d000ba8d348ab1070c31f7db906e4fa36ad440c025478af1b762f47","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c18f7f8f8d000ba8d348ab1070c31f7db906e4fa36ad440c025478af1b762f47","first_computed_at":"2026-05-18T03:16:50.854300Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:16:50.854300Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YFLAi42PfOJkSsIHyUGza04IQu3i7w8gWR4MPA4foN640TtYc10N8zyLrGtU5c0h/kCQpcozfXlJR8awkwa5BA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:16:50.855024Z","signed_message":"canonical_sha256_bytes"},"source_id":"1307.8084","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:87c0f84e19d95c16c499bd86a9f452b6a102a438b56ccec2b765fe022cc44df7","sha256:671f95960781312d218e5b31d49f6186f480e742fb260fd6d38d8e56214a7526"],"state_sha256":"da36127fd62e61536eede5fcf477baf25492a9e14f8e57f1be18f1c8ea549d31"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u9SgTbv5k+jP87fEoa66FzzwwktX+OJJqfYI2BHs7m/342WW/I+ssMbeMs4pGANHaTGUcR+fR/nDJtqFSaLQDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-02T22:53:22.496801Z","bundle_sha256":"be115007e9fa06ddd6b0f0db8665720e4fc510121ef008a10605b3d139423757"}}