{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:JB2DBNMIXKPOLENQYMREDEHNCQ","short_pith_number":"pith:JB2DBNMI","canonical_record":{"source":{"id":"1312.6143","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T21:24:30Z","cross_cats_sorted":[],"title_canon_sha256":"cd5d5551a1ff384b07e2183bf16828193c67c9639e476e48100d41d7fc544cd3","abstract_canon_sha256":"8eae156b07f6e4b3f7b0b03ad7219ab8f33fbdeacaaf957ff04770914642f8de"},"schema_version":"1.0"},"canonical_sha256":"487430b588ba9ee591b0c3224190ed141ca5e3bd66ae4e131127686a60321a74","source":{"kind":"arxiv","id":"1312.6143","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.6143","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"arxiv_version","alias_value":"1312.6143v1","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.6143","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"pith_short_12","alias_value":"JB2DBNMIXKPO","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"JB2DBNMIXKPOLENQ","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"JB2DBNMI","created_at":"2026-05-18T12:27:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:JB2DBNMIXKPOLENQYMREDEHNCQ","target":"record","payload":{"canonical_record":{"source":{"id":"1312.6143","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T21:24:30Z","cross_cats_sorted":[],"title_canon_sha256":"cd5d5551a1ff384b07e2183bf16828193c67c9639e476e48100d41d7fc544cd3","abstract_canon_sha256":"8eae156b07f6e4b3f7b0b03ad7219ab8f33fbdeacaaf957ff04770914642f8de"},"schema_version":"1.0"},"canonical_sha256":"487430b588ba9ee591b0c3224190ed141ca5e3bd66ae4e131127686a60321a74","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:04:05.954013Z","signature_b64":"LHEBb0ilxGBrT9DA18F6oloi8CiQbJLTFV9EBaKnUeEhMcoLnnp63qmJMlAM+7oHuGxNQw2ju2JlsD1cSDSOBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"487430b588ba9ee591b0c3224190ed141ca5e3bd66ae4e131127686a60321a74","last_reissued_at":"2026-05-18T03:04:05.953509Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:04:05.953509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1312.6143","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:04:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wdBylM5xcjnJKEAFn0qavEvwk5j8zVMK39/peh7gZbjDoB+UiR47mG+ovjB6o/8Z8KLC+cwIS+ecme9zbDdZCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T05:04:10.414155Z"},"content_sha256":"fd46478b8150661e3d21b1ede4f5077e8dad2b7f42153487ae9ca1aca19473a5","schema_version":"1.0","event_id":"sha256:fd46478b8150661e3d21b1ede4f5077e8dad2b7f42153487ae9ca1aca19473a5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:JB2DBNMIXKPOLENQYMREDEHNCQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A System for Interactive Query Answering with Answer Set Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Martin Gebser, Philipp Obermeier, Torsten Schaub","submitted_at":"2013-12-20T21:24:30Z","abstract_excerpt":"Reactive answer set programming has paved the way for incorporating online information into operative solving processes. Although this technology was originally devised for dealing with data streams in dynamic environments, like assisted living and cognitive robotics, it can likewise be used to incorporate facts, rules, or queries provided by a user. As a result, we present the design and implementation of a system for interactive query answering with reactive answer set programming. Our system quontroller is based on the reactive solver oclingo and implemented as a dedicated front-end. We des"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.6143","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:04:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hCErE3t468B+b79HVPHsW4WaodyEGZalEI7FfzKTCYB+AfqGrwj46yB14cISskp+fhqQyQ3CJdgW+ERjqRxVBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T05:04:10.414857Z"},"content_sha256":"7a0cff3086fc7034f7fe5be2bc000fda58810049035b6c4f275bb11e571f0c3d","schema_version":"1.0","event_id":"sha256:7a0cff3086fc7034f7fe5be2bc000fda58810049035b6c4f275bb11e571f0c3d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JB2DBNMIXKPOLENQYMREDEHNCQ/bundle.json","state_url":"https://pith.science/pith/JB2DBNMIXKPOLENQYMREDEHNCQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JB2DBNMIXKPOLENQYMREDEHNCQ/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-05-31T05:04:10Z","links":{"resolver":"https://pith.science/pith/JB2DBNMIXKPOLENQYMREDEHNCQ","bundle":"https://pith.science/pith/JB2DBNMIXKPOLENQYMREDEHNCQ/bundle.json","state":"https://pith.science/pith/JB2DBNMIXKPOLENQYMREDEHNCQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JB2DBNMIXKPOLENQYMREDEHNCQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:JB2DBNMIXKPOLENQYMREDEHNCQ","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":"8eae156b07f6e4b3f7b0b03ad7219ab8f33fbdeacaaf957ff04770914642f8de","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T21:24:30Z","title_canon_sha256":"cd5d5551a1ff384b07e2183bf16828193c67c9639e476e48100d41d7fc544cd3"},"schema_version":"1.0","source":{"id":"1312.6143","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.6143","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"arxiv_version","alias_value":"1312.6143v1","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.6143","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"pith_short_12","alias_value":"JB2DBNMIXKPO","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"JB2DBNMIXKPOLENQ","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"JB2DBNMI","created_at":"2026-05-18T12:27:49Z"}],"graph_snapshots":[{"event_id":"sha256:7a0cff3086fc7034f7fe5be2bc000fda58810049035b6c4f275bb11e571f0c3d","target":"graph","created_at":"2026-05-18T03:04:05Z","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":"Reactive answer set programming has paved the way for incorporating online information into operative solving processes. Although this technology was originally devised for dealing with data streams in dynamic environments, like assisted living and cognitive robotics, it can likewise be used to incorporate facts, rules, or queries provided by a user. As a result, we present the design and implementation of a system for interactive query answering with reactive answer set programming. Our system quontroller is based on the reactive solver oclingo and implemented as a dedicated front-end. We des","authors_text":"Martin Gebser, Philipp Obermeier, Torsten Schaub","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T21:24:30Z","title":"A System for Interactive Query Answering with Answer Set Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.6143","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:fd46478b8150661e3d21b1ede4f5077e8dad2b7f42153487ae9ca1aca19473a5","target":"record","created_at":"2026-05-18T03:04:05Z","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":"8eae156b07f6e4b3f7b0b03ad7219ab8f33fbdeacaaf957ff04770914642f8de","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T21:24:30Z","title_canon_sha256":"cd5d5551a1ff384b07e2183bf16828193c67c9639e476e48100d41d7fc544cd3"},"schema_version":"1.0","source":{"id":"1312.6143","kind":"arxiv","version":1}},"canonical_sha256":"487430b588ba9ee591b0c3224190ed141ca5e3bd66ae4e131127686a60321a74","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"487430b588ba9ee591b0c3224190ed141ca5e3bd66ae4e131127686a60321a74","first_computed_at":"2026-05-18T03:04:05.953509Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:04:05.953509Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LHEBb0ilxGBrT9DA18F6oloi8CiQbJLTFV9EBaKnUeEhMcoLnnp63qmJMlAM+7oHuGxNQw2ju2JlsD1cSDSOBg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:04:05.954013Z","signed_message":"canonical_sha256_bytes"},"source_id":"1312.6143","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fd46478b8150661e3d21b1ede4f5077e8dad2b7f42153487ae9ca1aca19473a5","sha256:7a0cff3086fc7034f7fe5be2bc000fda58810049035b6c4f275bb11e571f0c3d"],"state_sha256":"875025b3d6e6031287c7f44704942a7aa53e8807956cb9eed0332305e233f199"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ck9isG2nge55xm73wU/Eu3krRhS0Y0ByJ/Tu5B9ZEq06vJ74y7Qjn+4doM8JseyBFHlQh91uJAR7qwCXvNnwDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T05:04:10.417902Z","bundle_sha256":"252d16a04dd0944260b9e5431ff6922215e2e41f669b40b71a979f9831bfec02"}}