{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2004:HCZQUVLIDHC2I3VMBRMQQC5NF6","short_pith_number":"pith:HCZQUVLI","canonical_record":{"source":{"id":"cs/0405076","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.DB","submitted_at":"2004-05-22T10:30:35Z","cross_cats_sorted":[],"title_canon_sha256":"0cc13012c2a86c6b51620f16829a7f95470152c0dac59223c6c2e497a939b1b9","abstract_canon_sha256":"3209502f17f93929948f7603b471d643a3d0b10739fb85116591dd380b9d5baf"},"schema_version":"1.0"},"canonical_sha256":"38b30a556819c5a46eac0c59080bad2f91ab2e8d0d2c75dff58f0ac24b2a77a4","source":{"kind":"arxiv","id":"cs/0405076","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0405076","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0405076v1","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0405076","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"pith_short_12","alias_value":"HCZQUVLIDHC2","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"pith_short_16","alias_value":"HCZQUVLIDHC2I3VM","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"pith_short_8","alias_value":"HCZQUVLI","created_at":"2026-07-04T14:24:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2004:HCZQUVLIDHC2I3VMBRMQQC5NF6","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0405076","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.DB","submitted_at":"2004-05-22T10:30:35Z","cross_cats_sorted":[],"title_canon_sha256":"0cc13012c2a86c6b51620f16829a7f95470152c0dac59223c6c2e497a939b1b9","abstract_canon_sha256":"3209502f17f93929948f7603b471d643a3d0b10739fb85116591dd380b9d5baf"},"schema_version":"1.0"},"canonical_sha256":"38b30a556819c5a46eac0c59080bad2f91ab2e8d0d2c75dff58f0ac24b2a77a4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T14:24:43.513360Z","signature_b64":"88MLuhVl31ldhyt1I+vRJb9dmolu1hhFK8WW2exfqWGf6yP4LXSWgPVSYmexipFJsCPYwFiZMbl+5900s9KZCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"38b30a556819c5a46eac0c59080bad2f91ab2e8d0d2c75dff58f0ac24b2a77a4","last_reissued_at":"2026-07-04T14:24:43.513020Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T14:24:43.513020Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0405076","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-07-04T14:24:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SOa6fPQ6ga5nBzUKzF3ssQHIDhOY11fvFtaZgG30FNYzcQeaa7W3HwSw5yb2utEhKH6GJ/nhEZdGTRnyaJSzAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-14T23:57:29.523342Z"},"content_sha256":"221399acba241b261a621329f172dd5142848d5153a863c7b69b5936ad196345","schema_version":"1.0","event_id":"sha256:221399acba241b261a621329f172dd5142848d5153a863c7b69b5936ad196345"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2004:HCZQUVLIDHC2I3VMBRMQQC5NF6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Abductive Framework For Computing Knowledge Base Updates","license":"","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Chiaki Sakama, Katsumi Inoue","submitted_at":"2004-05-22T10:30:35Z","abstract_excerpt":"This paper introduces an abductive framework for updating knowledge bases represented by extended disjunctive programs. We first provide a simple transformation from abductive programs to update programs which are logic programs specifying changes on abductive hypotheses. Then, extended abduction, which was introduced by the same authors as a generalization of traditional abduction, is computed by the answer sets of update programs. Next, different types of updates, view updates and theory updates are characterized by abductive programs and computed by update programs. The task of consistency "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0405076","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/cs/0405076/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-04T14:24:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Qd42o8s64yIJMnLUyG1DjLYsUPlvsvRKVn1KETOwT6s7RYeRdVvxUIJUcmzMEY7I27OZ1oDY+aTVQM5Q+wqjCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-14T23:57:29.523722Z"},"content_sha256":"469a1b560708bcc5257a8f89ca1916a6bf71b6528dbfc689e9b291d91501edb7","schema_version":"1.0","event_id":"sha256:469a1b560708bcc5257a8f89ca1916a6bf71b6528dbfc689e9b291d91501edb7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HCZQUVLIDHC2I3VMBRMQQC5NF6/bundle.json","state_url":"https://pith.science/pith/HCZQUVLIDHC2I3VMBRMQQC5NF6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HCZQUVLIDHC2I3VMBRMQQC5NF6/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-14T23:57:29Z","links":{"resolver":"https://pith.science/pith/HCZQUVLIDHC2I3VMBRMQQC5NF6","bundle":"https://pith.science/pith/HCZQUVLIDHC2I3VMBRMQQC5NF6/bundle.json","state":"https://pith.science/pith/HCZQUVLIDHC2I3VMBRMQQC5NF6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HCZQUVLIDHC2I3VMBRMQQC5NF6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2004:HCZQUVLIDHC2I3VMBRMQQC5NF6","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":"3209502f17f93929948f7603b471d643a3d0b10739fb85116591dd380b9d5baf","cross_cats_sorted":[],"license":"","primary_cat":"cs.DB","submitted_at":"2004-05-22T10:30:35Z","title_canon_sha256":"0cc13012c2a86c6b51620f16829a7f95470152c0dac59223c6c2e497a939b1b9"},"schema_version":"1.0","source":{"id":"cs/0405076","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0405076","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0405076v1","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0405076","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"pith_short_12","alias_value":"HCZQUVLIDHC2","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"pith_short_16","alias_value":"HCZQUVLIDHC2I3VM","created_at":"2026-07-04T14:24:43Z"},{"alias_kind":"pith_short_8","alias_value":"HCZQUVLI","created_at":"2026-07-04T14:24:43Z"}],"graph_snapshots":[{"event_id":"sha256:469a1b560708bcc5257a8f89ca1916a6bf71b6528dbfc689e9b291d91501edb7","target":"graph","created_at":"2026-07-04T14:24:43Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/cs/0405076/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper introduces an abductive framework for updating knowledge bases represented by extended disjunctive programs. We first provide a simple transformation from abductive programs to update programs which are logic programs specifying changes on abductive hypotheses. Then, extended abduction, which was introduced by the same authors as a generalization of traditional abduction, is computed by the answer sets of update programs. Next, different types of updates, view updates and theory updates are characterized by abductive programs and computed by update programs. The task of consistency ","authors_text":"Chiaki Sakama, Katsumi Inoue","cross_cats":[],"headline":"","license":"","primary_cat":"cs.DB","submitted_at":"2004-05-22T10:30:35Z","title":"An Abductive Framework For Computing Knowledge Base Updates"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0405076","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:221399acba241b261a621329f172dd5142848d5153a863c7b69b5936ad196345","target":"record","created_at":"2026-07-04T14:24:43Z","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":"3209502f17f93929948f7603b471d643a3d0b10739fb85116591dd380b9d5baf","cross_cats_sorted":[],"license":"","primary_cat":"cs.DB","submitted_at":"2004-05-22T10:30:35Z","title_canon_sha256":"0cc13012c2a86c6b51620f16829a7f95470152c0dac59223c6c2e497a939b1b9"},"schema_version":"1.0","source":{"id":"cs/0405076","kind":"arxiv","version":1}},"canonical_sha256":"38b30a556819c5a46eac0c59080bad2f91ab2e8d0d2c75dff58f0ac24b2a77a4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"38b30a556819c5a46eac0c59080bad2f91ab2e8d0d2c75dff58f0ac24b2a77a4","first_computed_at":"2026-07-04T14:24:43.513020Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:24:43.513020Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"88MLuhVl31ldhyt1I+vRJb9dmolu1hhFK8WW2exfqWGf6yP4LXSWgPVSYmexipFJsCPYwFiZMbl+5900s9KZCQ==","signature_status":"signed_v1","signed_at":"2026-07-04T14:24:43.513360Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0405076","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:221399acba241b261a621329f172dd5142848d5153a863c7b69b5936ad196345","sha256:469a1b560708bcc5257a8f89ca1916a6bf71b6528dbfc689e9b291d91501edb7"],"state_sha256":"95c557efc8967c70c0e1fc147fffad76dd76060524b94f971cc1fbd2cd65527d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zZ3BTPexIzZ84FQCrwH5GMMHf+MHko0AWXmY0n46moVNd+P+m0PZrKrXwH6O79bysupYFH8siUrJmQh2DnWQBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-14T23:57:29.525872Z","bundle_sha256":"10e9fffb257b553f44eb30337c53a7cd0a6bdbbf3e49f102e6c6d5c4a27a99cb"}}