{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:AVJC4GF3LNE2KDS2T5OZTX2EBU","short_pith_number":"pith:AVJC4GF3","canonical_record":{"source":{"id":"1511.01261","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-11-04T09:42:59Z","cross_cats_sorted":[],"title_canon_sha256":"a5fd979886155510854340d9895c5569528cc624f6ad5034d147888930f502cd","abstract_canon_sha256":"24bed3ff658b50dea076bf1255fd5274e07d51cfd93a9d5241d22891fd5ecbb9"},"schema_version":"1.0"},"canonical_sha256":"05522e18bb5b49a50e5a9f5d99df440d2bcabbc402305bf16dae9e29339b76bc","source":{"kind":"arxiv","id":"1511.01261","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.01261","created_at":"2026-05-18T01:27:47Z"},{"alias_kind":"arxiv_version","alias_value":"1511.01261v1","created_at":"2026-05-18T01:27:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.01261","created_at":"2026-05-18T01:27:47Z"},{"alias_kind":"pith_short_12","alias_value":"AVJC4GF3LNE2","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"AVJC4GF3LNE2KDS2","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"AVJC4GF3","created_at":"2026-05-18T12:29:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:AVJC4GF3LNE2KDS2T5OZTX2EBU","target":"record","payload":{"canonical_record":{"source":{"id":"1511.01261","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-11-04T09:42:59Z","cross_cats_sorted":[],"title_canon_sha256":"a5fd979886155510854340d9895c5569528cc624f6ad5034d147888930f502cd","abstract_canon_sha256":"24bed3ff658b50dea076bf1255fd5274e07d51cfd93a9d5241d22891fd5ecbb9"},"schema_version":"1.0"},"canonical_sha256":"05522e18bb5b49a50e5a9f5d99df440d2bcabbc402305bf16dae9e29339b76bc","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:27:47.685442Z","signature_b64":"YKn97Xpct3rsdW7E8xcnXPvgAdJ1AMmawKYpNmrtzwmdLcw4dO7nklEr02wE/xOWwPHAJ7QDoqbWwTk/27rsBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"05522e18bb5b49a50e5a9f5d99df440d2bcabbc402305bf16dae9e29339b76bc","last_reissued_at":"2026-05-18T01:27:47.684747Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:27:47.684747Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1511.01261","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-18T01:27:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Lmf4zAVeD/4dg8RAOYR9Dx7T3rNG6btpTd0tw9kJ2oj4gCkSyPz1dMBi1Cr9qco7oABzMAnfTpLJyvyIX8TtBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T22:45:36.728681Z"},"content_sha256":"83d5197038872381ff6401badaf62d68945a928532a54f46054875d76668e75a","schema_version":"1.0","event_id":"sha256:83d5197038872381ff6401badaf62d68945a928532a54f46054875d76668e75a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:AVJC4GF3LNE2KDS2T5OZTX2EBU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Interactive Answer Set Programming - Preliminary Report","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Martin Gebser, Phillip Obermeier, Torsten Schaub","submitted_at":"2015-11-04T09:42:59Z","abstract_excerpt":"Traditional Answer Set Programming (ASP) rests upon one-shot solving. A logic program is fed into an ASP system and its stable models are computed. The high practical relevance of dynamic applications led to the development of multi-shot solving systems. An operative system solves continuously changing logic programs. Although this was primarily aiming at dynamic applications in assisted living, robotics, or stream reasoning, where solvers interact with an environment, it also opened up the opportunity of interactive ASP, where a solver interacts with a user. We begin with a formal characteriz"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.01261","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-18T01:27:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mpScO/mGVvgUYFkod3cEIVr2EIMUgvRLOfYMQ5kRFDtkBbzOBDqRX7Ent61uNQ/t0p8kTfi4RNJA/qUxAqFMCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T22:45:36.729026Z"},"content_sha256":"16886b0bb2821c27130661c71ad1d4458524cbba3eb6ce60df8c054f68702088","schema_version":"1.0","event_id":"sha256:16886b0bb2821c27130661c71ad1d4458524cbba3eb6ce60df8c054f68702088"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/AVJC4GF3LNE2KDS2T5OZTX2EBU/bundle.json","state_url":"https://pith.science/pith/AVJC4GF3LNE2KDS2T5OZTX2EBU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/AVJC4GF3LNE2KDS2T5OZTX2EBU/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-30T22:45:36Z","links":{"resolver":"https://pith.science/pith/AVJC4GF3LNE2KDS2T5OZTX2EBU","bundle":"https://pith.science/pith/AVJC4GF3LNE2KDS2T5OZTX2EBU/bundle.json","state":"https://pith.science/pith/AVJC4GF3LNE2KDS2T5OZTX2EBU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/AVJC4GF3LNE2KDS2T5OZTX2EBU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:AVJC4GF3LNE2KDS2T5OZTX2EBU","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":"24bed3ff658b50dea076bf1255fd5274e07d51cfd93a9d5241d22891fd5ecbb9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-11-04T09:42:59Z","title_canon_sha256":"a5fd979886155510854340d9895c5569528cc624f6ad5034d147888930f502cd"},"schema_version":"1.0","source":{"id":"1511.01261","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.01261","created_at":"2026-05-18T01:27:47Z"},{"alias_kind":"arxiv_version","alias_value":"1511.01261v1","created_at":"2026-05-18T01:27:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.01261","created_at":"2026-05-18T01:27:47Z"},{"alias_kind":"pith_short_12","alias_value":"AVJC4GF3LNE2","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_16","alias_value":"AVJC4GF3LNE2KDS2","created_at":"2026-05-18T12:29:10Z"},{"alias_kind":"pith_short_8","alias_value":"AVJC4GF3","created_at":"2026-05-18T12:29:10Z"}],"graph_snapshots":[{"event_id":"sha256:16886b0bb2821c27130661c71ad1d4458524cbba3eb6ce60df8c054f68702088","target":"graph","created_at":"2026-05-18T01:27:47Z","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":"Traditional Answer Set Programming (ASP) rests upon one-shot solving. A logic program is fed into an ASP system and its stable models are computed. The high practical relevance of dynamic applications led to the development of multi-shot solving systems. An operative system solves continuously changing logic programs. Although this was primarily aiming at dynamic applications in assisted living, robotics, or stream reasoning, where solvers interact with an environment, it also opened up the opportunity of interactive ASP, where a solver interacts with a user. We begin with a formal characteriz","authors_text":"Martin Gebser, Phillip Obermeier, Torsten Schaub","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-11-04T09:42:59Z","title":"Interactive Answer Set Programming - Preliminary Report"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.01261","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:83d5197038872381ff6401badaf62d68945a928532a54f46054875d76668e75a","target":"record","created_at":"2026-05-18T01:27:47Z","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":"24bed3ff658b50dea076bf1255fd5274e07d51cfd93a9d5241d22891fd5ecbb9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-11-04T09:42:59Z","title_canon_sha256":"a5fd979886155510854340d9895c5569528cc624f6ad5034d147888930f502cd"},"schema_version":"1.0","source":{"id":"1511.01261","kind":"arxiv","version":1}},"canonical_sha256":"05522e18bb5b49a50e5a9f5d99df440d2bcabbc402305bf16dae9e29339b76bc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"05522e18bb5b49a50e5a9f5d99df440d2bcabbc402305bf16dae9e29339b76bc","first_computed_at":"2026-05-18T01:27:47.684747Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:27:47.684747Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YKn97Xpct3rsdW7E8xcnXPvgAdJ1AMmawKYpNmrtzwmdLcw4dO7nklEr02wE/xOWwPHAJ7QDoqbWwTk/27rsBg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:27:47.685442Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.01261","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:83d5197038872381ff6401badaf62d68945a928532a54f46054875d76668e75a","sha256:16886b0bb2821c27130661c71ad1d4458524cbba3eb6ce60df8c054f68702088"],"state_sha256":"54b03b8bcdd59cfae65a0e42e2008f56366a93251debef458136db98d2d6d85c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ap3On23pnfiYpFH6DieJRzaAkX9EqbzHEbdx34IUevHPJCTmu6K8kwFS4GFEZGj/gHm4JEgQpJgOs4v+wpz6Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T22:45:36.731030Z","bundle_sha256":"c4c3998374a9c4e31c13186592f8f8097a2391bac2dfbe0e5c5c26b0dec15fbe"}}