{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:LODFG7ES2O77BAMDTBTAIZTIWA","short_pith_number":"pith:LODFG7ES","canonical_record":{"source":{"id":"1403.5142","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-20T14:22:58Z","cross_cats_sorted":[],"title_canon_sha256":"2df219525894da32779fa8624cd6059c983ae2386f0e50be9b085904cc5d224f","abstract_canon_sha256":"a24f62078c6cb95b6d1ca319659b2f6367053471ca2cbfccf1ea207c53f8e5c3"},"schema_version":"1.0"},"canonical_sha256":"5b86537c92d3bff081839866046668b036fcb8f577e7c8c4aef794140bfbc0c8","source":{"kind":"arxiv","id":"1403.5142","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.5142","created_at":"2026-05-18T02:39:16Z"},{"alias_kind":"arxiv_version","alias_value":"1403.5142v4","created_at":"2026-05-18T02:39:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.5142","created_at":"2026-05-18T02:39:16Z"},{"alias_kind":"pith_short_12","alias_value":"LODFG7ES2O77","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"LODFG7ES2O77BAMD","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"LODFG7ES","created_at":"2026-05-18T12:28:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:LODFG7ES2O77BAMDTBTAIZTIWA","target":"record","payload":{"canonical_record":{"source":{"id":"1403.5142","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-20T14:22:58Z","cross_cats_sorted":[],"title_canon_sha256":"2df219525894da32779fa8624cd6059c983ae2386f0e50be9b085904cc5d224f","abstract_canon_sha256":"a24f62078c6cb95b6d1ca319659b2f6367053471ca2cbfccf1ea207c53f8e5c3"},"schema_version":"1.0"},"canonical_sha256":"5b86537c92d3bff081839866046668b036fcb8f577e7c8c4aef794140bfbc0c8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:39:16.485438Z","signature_b64":"aKc2Sps1t7+4NguSXUgi7S+16ibQHSJsIwy/2dEEfBJAUrOxP2DZ/hqYQ/hJl0PovUSr6LdQ2ei+IqvuTSuRDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5b86537c92d3bff081839866046668b036fcb8f577e7c8c4aef794140bfbc0c8","last_reissued_at":"2026-05-18T02:39:16.484970Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:39:16.484970Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.5142","source_version":4,"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-18T02:39:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bUKHIGLcLWEGDdNwC4AhW5P9QiQSVmHFrmbVR+gCLoPFGpxoTOXow69dTHE2x9za6z5rRTvCl0iS4J+RjbnTDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T01:24:02.115366Z"},"content_sha256":"3f2c0ad53c68ccf89c2fd1a4917bd09bc2cc072e6bf432fe8085455e37d43804","schema_version":"1.0","event_id":"sha256:3f2c0ad53c68ccf89c2fd1a4917bd09bc2cc072e6bf432fe8085455e37d43804"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:LODFG7ES2O77BAMDTBTAIZTIWA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Interactive Debugging of ASP Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Kostyantyn Shchekotykhin","submitted_at":"2014-03-20T14:22:58Z","abstract_excerpt":"Broad application of answer set programming (ASP) for declarative problem solving requires the development of tools supporting the coding process. Program debugging is one of the crucial activities within this process. Recently suggested ASP debugging approaches allow efficient computation of possible explanations of a fault. However, even for a small program a debugger might return a large number of possible explanations and selection of the correct one must be done manually. In this paper we present an interactive query-based ASP debugging method which extends previous approaches and finds a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.5142","kind":"arxiv","version":4},"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-18T02:39:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9Fw/af2NQ+Q4TyNOTeo3kOD8BPGStogCJrTQ/ACkWjz8Zi8ICqZdIwUry9yCgas5we4LTw93xXt25hNB3mtNCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T01:24:02.115741Z"},"content_sha256":"35e24cbdaee20debe7b9202105ae0279edab59ddabf6303cadf40f841dc7a3be","schema_version":"1.0","event_id":"sha256:35e24cbdaee20debe7b9202105ae0279edab59ddabf6303cadf40f841dc7a3be"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LODFG7ES2O77BAMDTBTAIZTIWA/bundle.json","state_url":"https://pith.science/pith/LODFG7ES2O77BAMDTBTAIZTIWA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LODFG7ES2O77BAMDTBTAIZTIWA/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-24T01:24:02Z","links":{"resolver":"https://pith.science/pith/LODFG7ES2O77BAMDTBTAIZTIWA","bundle":"https://pith.science/pith/LODFG7ES2O77BAMDTBTAIZTIWA/bundle.json","state":"https://pith.science/pith/LODFG7ES2O77BAMDTBTAIZTIWA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LODFG7ES2O77BAMDTBTAIZTIWA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:LODFG7ES2O77BAMDTBTAIZTIWA","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":"a24f62078c6cb95b6d1ca319659b2f6367053471ca2cbfccf1ea207c53f8e5c3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-20T14:22:58Z","title_canon_sha256":"2df219525894da32779fa8624cd6059c983ae2386f0e50be9b085904cc5d224f"},"schema_version":"1.0","source":{"id":"1403.5142","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.5142","created_at":"2026-05-18T02:39:16Z"},{"alias_kind":"arxiv_version","alias_value":"1403.5142v4","created_at":"2026-05-18T02:39:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.5142","created_at":"2026-05-18T02:39:16Z"},{"alias_kind":"pith_short_12","alias_value":"LODFG7ES2O77","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"LODFG7ES2O77BAMD","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"LODFG7ES","created_at":"2026-05-18T12:28:38Z"}],"graph_snapshots":[{"event_id":"sha256:35e24cbdaee20debe7b9202105ae0279edab59ddabf6303cadf40f841dc7a3be","target":"graph","created_at":"2026-05-18T02:39:16Z","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":"Broad application of answer set programming (ASP) for declarative problem solving requires the development of tools supporting the coding process. Program debugging is one of the crucial activities within this process. Recently suggested ASP debugging approaches allow efficient computation of possible explanations of a fault. However, even for a small program a debugger might return a large number of possible explanations and selection of the correct one must be done manually. In this paper we present an interactive query-based ASP debugging method which extends previous approaches and finds a","authors_text":"Kostyantyn Shchekotykhin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-20T14:22:58Z","title":"Interactive Debugging of ASP Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.5142","kind":"arxiv","version":4},"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:3f2c0ad53c68ccf89c2fd1a4917bd09bc2cc072e6bf432fe8085455e37d43804","target":"record","created_at":"2026-05-18T02:39:16Z","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":"a24f62078c6cb95b6d1ca319659b2f6367053471ca2cbfccf1ea207c53f8e5c3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-03-20T14:22:58Z","title_canon_sha256":"2df219525894da32779fa8624cd6059c983ae2386f0e50be9b085904cc5d224f"},"schema_version":"1.0","source":{"id":"1403.5142","kind":"arxiv","version":4}},"canonical_sha256":"5b86537c92d3bff081839866046668b036fcb8f577e7c8c4aef794140bfbc0c8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5b86537c92d3bff081839866046668b036fcb8f577e7c8c4aef794140bfbc0c8","first_computed_at":"2026-05-18T02:39:16.484970Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:39:16.484970Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"aKc2Sps1t7+4NguSXUgi7S+16ibQHSJsIwy/2dEEfBJAUrOxP2DZ/hqYQ/hJl0PovUSr6LdQ2ei+IqvuTSuRDA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:39:16.485438Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.5142","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3f2c0ad53c68ccf89c2fd1a4917bd09bc2cc072e6bf432fe8085455e37d43804","sha256:35e24cbdaee20debe7b9202105ae0279edab59ddabf6303cadf40f841dc7a3be"],"state_sha256":"3f74c792caf466e96a5867631973ff6360110cf5995a918d7d8da2a4653f4922"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"saJBFqXpT5QnjiAanpXzuynK4wCiUlceS5H4qj4RWCq0qlnsRx+kRwZP6EaOa4Z7R/zm4vkX4o85JFgMQtnRDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T01:24:02.117733Z","bundle_sha256":"03621fc99cb64a37629d7192883eba107cd62d9f013055562eed7ee0f873c800"}}