{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:GAILTAR65RMURSXKSYRKQAXEK6","short_pith_number":"pith:GAILTAR6","canonical_record":{"source":{"id":"1703.04912","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-03-15T03:53:25Z","cross_cats_sorted":[],"title_canon_sha256":"98adafd6eed5ab7310d65a790bb37100b2706f764e9e48a6bff105f244f73249","abstract_canon_sha256":"7e23e841f09af0ef87c3470acc7721e85f4c6f1b962d4b06424c3142e580b4b8"},"schema_version":"1.0"},"canonical_sha256":"3010b9823eec5948caea9622a802e4578cfd3f8919c891c31abc992a97f2bb85","source":{"kind":"arxiv","id":"1703.04912","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.04912","created_at":"2026-05-18T00:48:32Z"},{"alias_kind":"arxiv_version","alias_value":"1703.04912v2","created_at":"2026-05-18T00:48:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.04912","created_at":"2026-05-18T00:48:32Z"},{"alias_kind":"pith_short_12","alias_value":"GAILTAR65RMU","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"GAILTAR65RMURSXK","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"GAILTAR6","created_at":"2026-05-18T12:31:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:GAILTAR65RMURSXKSYRKQAXEK6","target":"record","payload":{"canonical_record":{"source":{"id":"1703.04912","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-03-15T03:53:25Z","cross_cats_sorted":[],"title_canon_sha256":"98adafd6eed5ab7310d65a790bb37100b2706f764e9e48a6bff105f244f73249","abstract_canon_sha256":"7e23e841f09af0ef87c3470acc7721e85f4c6f1b962d4b06424c3142e580b4b8"},"schema_version":"1.0"},"canonical_sha256":"3010b9823eec5948caea9622a802e4578cfd3f8919c891c31abc992a97f2bb85","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:48:32.210661Z","signature_b64":"b+PmLCmGUuTtgPVyd8qo+//PWXA37DPhk1zYFTdGewqVjT0tS+I/8klXsYenKYO5ogS0qnpvTMXdaZk1BWX7CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3010b9823eec5948caea9622a802e4578cfd3f8919c891c31abc992a97f2bb85","last_reissued_at":"2026-05-18T00:48:32.210163Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:48:32.210163Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1703.04912","source_version":2,"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:48:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y95H2pKw3uDhGri+9J6llEInZL/KR3+d9eD8YBG1YqvNwY7BnSwTtonmATiETouqysY+4e9gNaz+0bZFrJUFAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T23:31:23.860048Z"},"content_sha256":"0b2440aa4d7c2642e4d8fe8b29f0aa2724d8b3146245bdfdefa8744b62ed2900","schema_version":"1.0","event_id":"sha256:0b2440aa4d7c2642e4d8fe8b29f0aa2724d8b3146245bdfdefa8744b62ed2900"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:GAILTAR65RMURSXKSYRKQAXEK6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Syntax-Preserving Belief Change Operators for Logic Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Bela Stantic, Kewen Wang, Sebastian Binnewies, Zhiqiang Zhuang","submitted_at":"2017-03-15T03:53:25Z","abstract_excerpt":"Recent methods have adapted the well-established AGM and belief base frameworks for belief change to cover belief revision in logic programs. In this study here, we present two new sets of belief change operators for logic programs. They focus on preserving the explicit relationships expressed in the rules of a program, a feature that is missing in purely semantic approaches that consider programs only in their entirety. In particular, operators of the latter class fail to satisfy preservation and support, two important properties for belief change in logic programs required to ensure intuitiv"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.04912","kind":"arxiv","version":2},"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:48:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bY148stnAx9sSWadoEC4T8B7T5Qmh+OP3r3eLF5wUjacya5zugjMPkcoYz8kiih0LGCh0uXcy3vUIgkK18aADA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T23:31:23.860720Z"},"content_sha256":"ec65f8c9af6c84858d600ac12cfbc46b950011e01dbb641a5554147152df3a09","schema_version":"1.0","event_id":"sha256:ec65f8c9af6c84858d600ac12cfbc46b950011e01dbb641a5554147152df3a09"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GAILTAR65RMURSXKSYRKQAXEK6/bundle.json","state_url":"https://pith.science/pith/GAILTAR65RMURSXKSYRKQAXEK6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GAILTAR65RMURSXKSYRKQAXEK6/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-04T23:31:23Z","links":{"resolver":"https://pith.science/pith/GAILTAR65RMURSXKSYRKQAXEK6","bundle":"https://pith.science/pith/GAILTAR65RMURSXKSYRKQAXEK6/bundle.json","state":"https://pith.science/pith/GAILTAR65RMURSXKSYRKQAXEK6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GAILTAR65RMURSXKSYRKQAXEK6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:GAILTAR65RMURSXKSYRKQAXEK6","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":"7e23e841f09af0ef87c3470acc7721e85f4c6f1b962d4b06424c3142e580b4b8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-03-15T03:53:25Z","title_canon_sha256":"98adafd6eed5ab7310d65a790bb37100b2706f764e9e48a6bff105f244f73249"},"schema_version":"1.0","source":{"id":"1703.04912","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1703.04912","created_at":"2026-05-18T00:48:32Z"},{"alias_kind":"arxiv_version","alias_value":"1703.04912v2","created_at":"2026-05-18T00:48:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1703.04912","created_at":"2026-05-18T00:48:32Z"},{"alias_kind":"pith_short_12","alias_value":"GAILTAR65RMU","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_16","alias_value":"GAILTAR65RMURSXK","created_at":"2026-05-18T12:31:15Z"},{"alias_kind":"pith_short_8","alias_value":"GAILTAR6","created_at":"2026-05-18T12:31:15Z"}],"graph_snapshots":[{"event_id":"sha256:ec65f8c9af6c84858d600ac12cfbc46b950011e01dbb641a5554147152df3a09","target":"graph","created_at":"2026-05-18T00:48:32Z","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":"Recent methods have adapted the well-established AGM and belief base frameworks for belief change to cover belief revision in logic programs. In this study here, we present two new sets of belief change operators for logic programs. They focus on preserving the explicit relationships expressed in the rules of a program, a feature that is missing in purely semantic approaches that consider programs only in their entirety. In particular, operators of the latter class fail to satisfy preservation and support, two important properties for belief change in logic programs required to ensure intuitiv","authors_text":"Bela Stantic, Kewen Wang, Sebastian Binnewies, Zhiqiang Zhuang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-03-15T03:53:25Z","title":"Syntax-Preserving Belief Change Operators for Logic Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1703.04912","kind":"arxiv","version":2},"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:0b2440aa4d7c2642e4d8fe8b29f0aa2724d8b3146245bdfdefa8744b62ed2900","target":"record","created_at":"2026-05-18T00:48:32Z","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":"7e23e841f09af0ef87c3470acc7721e85f4c6f1b962d4b06424c3142e580b4b8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-03-15T03:53:25Z","title_canon_sha256":"98adafd6eed5ab7310d65a790bb37100b2706f764e9e48a6bff105f244f73249"},"schema_version":"1.0","source":{"id":"1703.04912","kind":"arxiv","version":2}},"canonical_sha256":"3010b9823eec5948caea9622a802e4578cfd3f8919c891c31abc992a97f2bb85","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3010b9823eec5948caea9622a802e4578cfd3f8919c891c31abc992a97f2bb85","first_computed_at":"2026-05-18T00:48:32.210163Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:48:32.210163Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"b+PmLCmGUuTtgPVyd8qo+//PWXA37DPhk1zYFTdGewqVjT0tS+I/8klXsYenKYO5ogS0qnpvTMXdaZk1BWX7CQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:48:32.210661Z","signed_message":"canonical_sha256_bytes"},"source_id":"1703.04912","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0b2440aa4d7c2642e4d8fe8b29f0aa2724d8b3146245bdfdefa8744b62ed2900","sha256:ec65f8c9af6c84858d600ac12cfbc46b950011e01dbb641a5554147152df3a09"],"state_sha256":"d1e3aa488b82c1646b260dc354b5bf375ee42c87cd5fc3d8f7cf15f429efa933"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UqtLm4DTzjym/Hd7BUuurftQdwzi2eav4jXkD565JUHACxHGsaCYmSyJjW/uuGdJ7KOd7aiFaBRKsztJzsd3Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T23:31:23.865136Z","bundle_sha256":"796622ee9db417526da783407356f8b2b13023a19988810c5e538a0ad07bca9c"}}