{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:KCKXOTXXBQW3OJ5TLURPTZ6Y7M","short_pith_number":"pith:KCKXOTXX","canonical_record":{"source":{"id":"1705.06564","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-18T13:02:19Z","cross_cats_sorted":["cs.LO","cs.PL"],"title_canon_sha256":"12422d6c4a3e3af2f012c420ca2dec825c05a3102b7b642f776e43e7ae761397","abstract_canon_sha256":"aa8175baabc2d46946fc155a52d8e769255030fdeba19a73f7cc9d7d4e327e6e"},"schema_version":"1.0"},"canonical_sha256":"5095774ef70c2db727b35d22f9e7d8fb2623192dc12d138e581962d0d86310de","source":{"kind":"arxiv","id":"1705.06564","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.06564","created_at":"2026-05-18T00:44:14Z"},{"alias_kind":"arxiv_version","alias_value":"1705.06564v1","created_at":"2026-05-18T00:44:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.06564","created_at":"2026-05-18T00:44:14Z"},{"alias_kind":"pith_short_12","alias_value":"KCKXOTXXBQW3","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"KCKXOTXXBQW3OJ5T","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"KCKXOTXX","created_at":"2026-05-18T12:31:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:KCKXOTXXBQW3OJ5TLURPTZ6Y7M","target":"record","payload":{"canonical_record":{"source":{"id":"1705.06564","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-18T13:02:19Z","cross_cats_sorted":["cs.LO","cs.PL"],"title_canon_sha256":"12422d6c4a3e3af2f012c420ca2dec825c05a3102b7b642f776e43e7ae761397","abstract_canon_sha256":"aa8175baabc2d46946fc155a52d8e769255030fdeba19a73f7cc9d7d4e327e6e"},"schema_version":"1.0"},"canonical_sha256":"5095774ef70c2db727b35d22f9e7d8fb2623192dc12d138e581962d0d86310de","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:14.403892Z","signature_b64":"T1dfcSbv9lxoixvQkUk2rLJ+GcsBh7yBfEiOunJ5EV/iJ11mWKQ2TnN646nIJ/ock2+abadP+E26nkQDLrrnBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5095774ef70c2db727b35d22f9e7d8fb2623192dc12d138e581962d0d86310de","last_reissued_at":"2026-05-18T00:44:14.403445Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:14.403445Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1705.06564","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-18T00:44:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xzpKph3F0qouHvQnEcks0U4fjpQcujps4cKHvozUl8v0QQEx5EZVyHrBnyDgCzRdaBhCd5Lwo/c8FJk/4q9QCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T01:04:22.153075Z"},"content_sha256":"8d48bec59ec9b809ef4f18b23b7d49c6ea8ede5883bc5fca7878aa50a5bc82eb","schema_version":"1.0","event_id":"sha256:8d48bec59ec9b809ef4f18b23b7d49c6ea8ede5883bc5fca7878aa50a5bc82eb"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:KCKXOTXXBQW3OJ5TLURPTZ6Y7M","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Stepwise Debugging of Answer-Set Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","cs.PL"],"primary_cat":"cs.AI","authors_text":"Hans Tompits, Johannes Oetsch, J\\\"org P\\\"uhrer","submitted_at":"2017-05-18T13:02:19Z","abstract_excerpt":"We introduce a stepping methodology for answer-set programming (ASP) that allows for debugging answer-set programs and is based on the stepwise application of rules. Similar to debugging in imperative languages, where the behaviour of a program is observed during a step-by-step execution, stepping for ASP allows for observing the effects that rule applications have in the computation of an answer set. While the approach is inspired from debugging in imperative programming, it is conceptually different to stepping in other paradigms due to non-determinism and declarativity that are inherent to "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.06564","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-18T00:44:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Si7fVN9j/MTGr7mpG8HLNUXHXeiMkeUss30hvEeRv52mC/5HNQK6+vsryeBLZZfeyQFxtc7NZ0a5sPF8lAJFAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T01:04:22.153456Z"},"content_sha256":"9314388b904fd62212aa601797fadbe1dc37d15146a8078b8dd24429d4ec6bbe","schema_version":"1.0","event_id":"sha256:9314388b904fd62212aa601797fadbe1dc37d15146a8078b8dd24429d4ec6bbe"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KCKXOTXXBQW3OJ5TLURPTZ6Y7M/bundle.json","state_url":"https://pith.science/pith/KCKXOTXXBQW3OJ5TLURPTZ6Y7M/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KCKXOTXXBQW3OJ5TLURPTZ6Y7M/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-03T01:04:22Z","links":{"resolver":"https://pith.science/pith/KCKXOTXXBQW3OJ5TLURPTZ6Y7M","bundle":"https://pith.science/pith/KCKXOTXXBQW3OJ5TLURPTZ6Y7M/bundle.json","state":"https://pith.science/pith/KCKXOTXXBQW3OJ5TLURPTZ6Y7M/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KCKXOTXXBQW3OJ5TLURPTZ6Y7M/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:KCKXOTXXBQW3OJ5TLURPTZ6Y7M","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":"aa8175baabc2d46946fc155a52d8e769255030fdeba19a73f7cc9d7d4e327e6e","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-18T13:02:19Z","title_canon_sha256":"12422d6c4a3e3af2f012c420ca2dec825c05a3102b7b642f776e43e7ae761397"},"schema_version":"1.0","source":{"id":"1705.06564","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1705.06564","created_at":"2026-05-18T00:44:14Z"},{"alias_kind":"arxiv_version","alias_value":"1705.06564v1","created_at":"2026-05-18T00:44:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1705.06564","created_at":"2026-05-18T00:44:14Z"},{"alias_kind":"pith_short_12","alias_value":"KCKXOTXXBQW3","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_16","alias_value":"KCKXOTXXBQW3OJ5T","created_at":"2026-05-18T12:31:24Z"},{"alias_kind":"pith_short_8","alias_value":"KCKXOTXX","created_at":"2026-05-18T12:31:24Z"}],"graph_snapshots":[{"event_id":"sha256:9314388b904fd62212aa601797fadbe1dc37d15146a8078b8dd24429d4ec6bbe","target":"graph","created_at":"2026-05-18T00:44:14Z","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 stepping methodology for answer-set programming (ASP) that allows for debugging answer-set programs and is based on the stepwise application of rules. Similar to debugging in imperative languages, where the behaviour of a program is observed during a step-by-step execution, stepping for ASP allows for observing the effects that rule applications have in the computation of an answer set. While the approach is inspired from debugging in imperative programming, it is conceptually different to stepping in other paradigms due to non-determinism and declarativity that are inherent to ","authors_text":"Hans Tompits, Johannes Oetsch, J\\\"org P\\\"uhrer","cross_cats":["cs.LO","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-18T13:02:19Z","title":"Stepwise Debugging of Answer-Set Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1705.06564","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:8d48bec59ec9b809ef4f18b23b7d49c6ea8ede5883bc5fca7878aa50a5bc82eb","target":"record","created_at":"2026-05-18T00:44:14Z","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":"aa8175baabc2d46946fc155a52d8e769255030fdeba19a73f7cc9d7d4e327e6e","cross_cats_sorted":["cs.LO","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-05-18T13:02:19Z","title_canon_sha256":"12422d6c4a3e3af2f012c420ca2dec825c05a3102b7b642f776e43e7ae761397"},"schema_version":"1.0","source":{"id":"1705.06564","kind":"arxiv","version":1}},"canonical_sha256":"5095774ef70c2db727b35d22f9e7d8fb2623192dc12d138e581962d0d86310de","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5095774ef70c2db727b35d22f9e7d8fb2623192dc12d138e581962d0d86310de","first_computed_at":"2026-05-18T00:44:14.403445Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:14.403445Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T1dfcSbv9lxoixvQkUk2rLJ+GcsBh7yBfEiOunJ5EV/iJ11mWKQ2TnN646nIJ/ock2+abadP+E26nkQDLrrnBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:14.403892Z","signed_message":"canonical_sha256_bytes"},"source_id":"1705.06564","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8d48bec59ec9b809ef4f18b23b7d49c6ea8ede5883bc5fca7878aa50a5bc82eb","sha256:9314388b904fd62212aa601797fadbe1dc37d15146a8078b8dd24429d4ec6bbe"],"state_sha256":"7381489ad4b9d868ee07cb8d397704a0aceff6eb44e2884e5d24adb3ffb8bb7b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0DB8oiwzIJJgNiK5xZD7jvgBYDZGUnVv0YxMmu8pj73D5V5ojJGVlkqk6iptRuDm+bDQiWFoExGN4Eh4Hb5PDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T01:04:22.155403Z","bundle_sha256":"5298652f065c2e7714220710372653434e572baeb292f23b2fb6c0fc14ddee1c"}}