{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:KZSF6B3F7I5SONMUQOYRTAW3LO","short_pith_number":"pith:KZSF6B3F","canonical_record":{"source":{"id":"1404.7541","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.AI","submitted_at":"2014-04-29T21:37:07Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"7cf69cf50bbca5903866756d4c1e0c5b4f00a2a3e4dce26ee06c535b5981f32d","abstract_canon_sha256":"cac3507efdc8c23df118dd3f12583ad907956e24912943e46990ee5df908399c"},"schema_version":"1.0"},"canonical_sha256":"56645f0765fa3b27359483b11982db5b8b81f711b7ce1fbe5234081c8f3d1e14","source":{"kind":"arxiv","id":"1404.7541","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.7541","created_at":"2026-05-18T02:52:55Z"},{"alias_kind":"arxiv_version","alias_value":"1404.7541v1","created_at":"2026-05-18T02:52:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.7541","created_at":"2026-05-18T02:52:55Z"},{"alias_kind":"pith_short_12","alias_value":"KZSF6B3F7I5S","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KZSF6B3F7I5SONMU","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KZSF6B3F","created_at":"2026-05-18T12:28:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:KZSF6B3F7I5SONMUQOYRTAW3LO","target":"record","payload":{"canonical_record":{"source":{"id":"1404.7541","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.AI","submitted_at":"2014-04-29T21:37:07Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"7cf69cf50bbca5903866756d4c1e0c5b4f00a2a3e4dce26ee06c535b5981f32d","abstract_canon_sha256":"cac3507efdc8c23df118dd3f12583ad907956e24912943e46990ee5df908399c"},"schema_version":"1.0"},"canonical_sha256":"56645f0765fa3b27359483b11982db5b8b81f711b7ce1fbe5234081c8f3d1e14","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:52:55.422531Z","signature_b64":"U3Hcte4q/ELwCkXSrq9sIVcYqCXNh7morEhC9ZPmPtFnKvuYp2ULT8HfB3xgePVZBx48uIl2zkqqkx5meGzfAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56645f0765fa3b27359483b11982db5b8b81f711b7ce1fbe5234081c8f3d1e14","last_reissued_at":"2026-05-18T02:52:55.421976Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:52:55.421976Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.7541","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-18T02:52:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"M2QjtDnQ7qGKDTHGyhXJGHb620xMV8o2+bDYyoQjDwgIyfs7oGrElQ5U0aUMjTnsIh2VD45otnHxEBmgEHGzAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T02:56:25.792397Z"},"content_sha256":"abd212b21c771c6dd9b01e48b0651dc6df200235018c773884a08e5f28c1d221","schema_version":"1.0","event_id":"sha256:abd212b21c771c6dd9b01e48b0651dc6df200235018c773884a08e5f28c1d221"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:KZSF6B3F7I5SONMUQOYRTAW3LO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence","license":"http://creativecommons.org/licenses/by/3.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"James P. Delgrande, Kewen Wang","submitted_at":"2014-04-29T21:37:07Z","abstract_excerpt":"In this paper we investigate forgetting in disjunctive logic programs, where forgetting an atom from a program amounts to a reduction in the signature of that program. The goal is to provide an approach that is syntax-independent, in that if two programs are strongly equivalent, then the results of forgetting an atom in each program should also be strongly equivalent. Our central definition of forgetting is impractical but satisfies this goal: Forgetting an atom is characterised by the set of SE consequences of the program that do not mention the atom to be forgotten. We then provide an equiva"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.7541","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-18T02:52:55Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fajLT/z564vyBA2D70n387HBNXd5/vblUIkG2drOFTrT7a2fR89v7mc4T9hf5tOBWmgxP0OquqvSGKzb1bCLDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T02:56:25.792766Z"},"content_sha256":"f76748b4b998ba13f4a49ddd73310e084315cced0d3bc355c00d1fab05df1d87","schema_version":"1.0","event_id":"sha256:f76748b4b998ba13f4a49ddd73310e084315cced0d3bc355c00d1fab05df1d87"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KZSF6B3F7I5SONMUQOYRTAW3LO/bundle.json","state_url":"https://pith.science/pith/KZSF6B3F7I5SONMUQOYRTAW3LO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KZSF6B3F7I5SONMUQOYRTAW3LO/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-31T02:56:25Z","links":{"resolver":"https://pith.science/pith/KZSF6B3F7I5SONMUQOYRTAW3LO","bundle":"https://pith.science/pith/KZSF6B3F7I5SONMUQOYRTAW3LO/bundle.json","state":"https://pith.science/pith/KZSF6B3F7I5SONMUQOYRTAW3LO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KZSF6B3F7I5SONMUQOYRTAW3LO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:KZSF6B3F7I5SONMUQOYRTAW3LO","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":"cac3507efdc8c23df118dd3f12583ad907956e24912943e46990ee5df908399c","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.AI","submitted_at":"2014-04-29T21:37:07Z","title_canon_sha256":"7cf69cf50bbca5903866756d4c1e0c5b4f00a2a3e4dce26ee06c535b5981f32d"},"schema_version":"1.0","source":{"id":"1404.7541","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.7541","created_at":"2026-05-18T02:52:55Z"},{"alias_kind":"arxiv_version","alias_value":"1404.7541v1","created_at":"2026-05-18T02:52:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.7541","created_at":"2026-05-18T02:52:55Z"},{"alias_kind":"pith_short_12","alias_value":"KZSF6B3F7I5S","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KZSF6B3F7I5SONMU","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KZSF6B3F","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:f76748b4b998ba13f4a49ddd73310e084315cced0d3bc355c00d1fab05df1d87","target":"graph","created_at":"2026-05-18T02:52:55Z","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":"In this paper we investigate forgetting in disjunctive logic programs, where forgetting an atom from a program amounts to a reduction in the signature of that program. The goal is to provide an approach that is syntax-independent, in that if two programs are strongly equivalent, then the results of forgetting an atom in each program should also be strongly equivalent. Our central definition of forgetting is impractical but satisfies this goal: Forgetting an atom is characterised by the set of SE consequences of the program that do not mention the atom to be forgotten. We then provide an equiva","authors_text":"James P. Delgrande, Kewen Wang","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.AI","submitted_at":"2014-04-29T21:37:07Z","title":"An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.7541","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:abd212b21c771c6dd9b01e48b0651dc6df200235018c773884a08e5f28c1d221","target":"record","created_at":"2026-05-18T02:52:55Z","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":"cac3507efdc8c23df118dd3f12583ad907956e24912943e46990ee5df908399c","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/3.0/","primary_cat":"cs.AI","submitted_at":"2014-04-29T21:37:07Z","title_canon_sha256":"7cf69cf50bbca5903866756d4c1e0c5b4f00a2a3e4dce26ee06c535b5981f32d"},"schema_version":"1.0","source":{"id":"1404.7541","kind":"arxiv","version":1}},"canonical_sha256":"56645f0765fa3b27359483b11982db5b8b81f711b7ce1fbe5234081c8f3d1e14","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"56645f0765fa3b27359483b11982db5b8b81f711b7ce1fbe5234081c8f3d1e14","first_computed_at":"2026-05-18T02:52:55.421976Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:52:55.421976Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U3Hcte4q/ELwCkXSrq9sIVcYqCXNh7morEhC9ZPmPtFnKvuYp2ULT8HfB3xgePVZBx48uIl2zkqqkx5meGzfAw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:52:55.422531Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.7541","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:abd212b21c771c6dd9b01e48b0651dc6df200235018c773884a08e5f28c1d221","sha256:f76748b4b998ba13f4a49ddd73310e084315cced0d3bc355c00d1fab05df1d87"],"state_sha256":"1623f23182dd9bc2b2eb93cab77a15e439ee21575d098cfb3966f4f0c16d9690"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hTQfKfEdyipjHXCO9BvL9pUG3lfUshRW53sDonBn47WkszM9jD4eJnwd/p+twP6mIcMsJYp1fEVF3L1tc6SlCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T02:56:25.795304Z","bundle_sha256":"86e2d450e6c502208d2ea885d4af896e843450375feb67c10d07c4f736aa6fd6"}}