{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:HDPMA56VXNFULXYQCKDREI7ISY","short_pith_number":"pith:HDPMA56V","canonical_record":{"source":{"id":"1401.3902","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:21:09Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e7534a6c54f45d54bc159cad30c72c053892cc74e764956f1647df0d0b9a74da","abstract_canon_sha256":"ad44df75852fa379cfcc6b4f2e185e84f3079c02574558dc90a3fe42eee8950e"},"schema_version":"1.0"},"canonical_sha256":"38dec077d5bb4b45df1012871223e8961575e7a5a894333bced946e4a139267b","source":{"kind":"arxiv","id":"1401.3902","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3902","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3902v1","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3902","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"pith_short_12","alias_value":"HDPMA56VXNFU","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_16","alias_value":"HDPMA56VXNFULXYQ","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_8","alias_value":"HDPMA56V","created_at":"2026-05-18T12:28:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:HDPMA56VXNFULXYQCKDREI7ISY","target":"record","payload":{"canonical_record":{"source":{"id":"1401.3902","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:21:09Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e7534a6c54f45d54bc159cad30c72c053892cc74e764956f1647df0d0b9a74da","abstract_canon_sha256":"ad44df75852fa379cfcc6b4f2e185e84f3079c02574558dc90a3fe42eee8950e"},"schema_version":"1.0"},"canonical_sha256":"38dec077d5bb4b45df1012871223e8961575e7a5a894333bced946e4a139267b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:02:06.110650Z","signature_b64":"zZfMyCOCbHskZgpN+ZeQkyikcJoQLVdhquYHYfuovG6Xu+tVTe+NN9l1lZvYkzhCSUHPeUIVP0V6XjbbJXfsBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"38dec077d5bb4b45df1012871223e8961575e7a5a894333bced946e4a139267b","last_reissued_at":"2026-05-18T03:02:06.109962Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:02:06.109962Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1401.3902","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-18T03:02:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BEZE3RWQaq2o/mX8X4sJV6fCvzaUqifv6tbjiQc+SHjpwbX3yIlQN7JcnYb01nUsLL8SlClXw9YrBd7B7yRsBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T01:10:15.968415Z"},"content_sha256":"003583cf937b2f3fd2b775d813412e9462f0fe38907ffb300b39370e50abc80d","schema_version":"1.0","event_id":"sha256:003583cf937b2f3fd2b775d813412e9462f0fe38907ffb300b39370e50abc80d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:HDPMA56VXNFULXYQCKDREI7ISY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Ivan Varzinczak, Renata Wassermann, Richard Booth, Thomas Meyer","submitted_at":"2014-01-16T05:21:09Z","abstract_excerpt":"Standard belief change assumes an underlying logic containing full classical propositional logic. However, there are good reasons for considering belief change in less expressive logics as well. In this paper we build on recent investigations by Delgrande on contraction for Horn logic. We show that the standard basic form of contraction, partial meet, is too strong in the Horn case. This result stands in contrast to Delgrande's conjecture that orderly maxichoice is the appropriate form of contraction for Horn logic. We then define a more appropriate notion of basic contraction for the Horn cas"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3902","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-18T03:02:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Tcv8o3WP16LEtPerAKj0aysMuKbqumb6OODc11lGT7n/VBFB62pHFa3xnCW2hT7aneTXF/12gMzapiQoZKlzCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T01:10:15.968774Z"},"content_sha256":"f3c3c397c2a24f66d7384fe1134299332fd8c56c47ebc8d68bcde137d9e90908","schema_version":"1.0","event_id":"sha256:f3c3c397c2a24f66d7384fe1134299332fd8c56c47ebc8d68bcde137d9e90908"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HDPMA56VXNFULXYQCKDREI7ISY/bundle.json","state_url":"https://pith.science/pith/HDPMA56VXNFULXYQCKDREI7ISY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HDPMA56VXNFULXYQCKDREI7ISY/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-26T01:10:15Z","links":{"resolver":"https://pith.science/pith/HDPMA56VXNFULXYQCKDREI7ISY","bundle":"https://pith.science/pith/HDPMA56VXNFULXYQCKDREI7ISY/bundle.json","state":"https://pith.science/pith/HDPMA56VXNFULXYQCKDREI7ISY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HDPMA56VXNFULXYQCKDREI7ISY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:HDPMA56VXNFULXYQCKDREI7ISY","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":"ad44df75852fa379cfcc6b4f2e185e84f3079c02574558dc90a3fe42eee8950e","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:21:09Z","title_canon_sha256":"e7534a6c54f45d54bc159cad30c72c053892cc74e764956f1647df0d0b9a74da"},"schema_version":"1.0","source":{"id":"1401.3902","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1401.3902","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"arxiv_version","alias_value":"1401.3902v1","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1401.3902","created_at":"2026-05-18T03:02:06Z"},{"alias_kind":"pith_short_12","alias_value":"HDPMA56VXNFU","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_16","alias_value":"HDPMA56VXNFULXYQ","created_at":"2026-05-18T12:28:30Z"},{"alias_kind":"pith_short_8","alias_value":"HDPMA56V","created_at":"2026-05-18T12:28:30Z"}],"graph_snapshots":[{"event_id":"sha256:f3c3c397c2a24f66d7384fe1134299332fd8c56c47ebc8d68bcde137d9e90908","target":"graph","created_at":"2026-05-18T03:02:06Z","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":"Standard belief change assumes an underlying logic containing full classical propositional logic. However, there are good reasons for considering belief change in less expressive logics as well. In this paper we build on recent investigations by Delgrande on contraction for Horn logic. We show that the standard basic form of contraction, partial meet, is too strong in the Horn case. This result stands in contrast to Delgrande's conjecture that orderly maxichoice is the appropriate form of contraction for Horn logic. We then define a more appropriate notion of basic contraction for the Horn cas","authors_text":"Ivan Varzinczak, Renata Wassermann, Richard Booth, Thomas Meyer","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:21:09Z","title":"On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1401.3902","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:003583cf937b2f3fd2b775d813412e9462f0fe38907ffb300b39370e50abc80d","target":"record","created_at":"2026-05-18T03:02:06Z","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":"ad44df75852fa379cfcc6b4f2e185e84f3079c02574558dc90a3fe42eee8950e","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-01-16T05:21:09Z","title_canon_sha256":"e7534a6c54f45d54bc159cad30c72c053892cc74e764956f1647df0d0b9a74da"},"schema_version":"1.0","source":{"id":"1401.3902","kind":"arxiv","version":1}},"canonical_sha256":"38dec077d5bb4b45df1012871223e8961575e7a5a894333bced946e4a139267b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"38dec077d5bb4b45df1012871223e8961575e7a5a894333bced946e4a139267b","first_computed_at":"2026-05-18T03:02:06.109962Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:02:06.109962Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zZfMyCOCbHskZgpN+ZeQkyikcJoQLVdhquYHYfuovG6Xu+tVTe+NN9l1lZvYkzhCSUHPeUIVP0V6XjbbJXfsBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:02:06.110650Z","signed_message":"canonical_sha256_bytes"},"source_id":"1401.3902","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:003583cf937b2f3fd2b775d813412e9462f0fe38907ffb300b39370e50abc80d","sha256:f3c3c397c2a24f66d7384fe1134299332fd8c56c47ebc8d68bcde137d9e90908"],"state_sha256":"f59290999be12b07002b6042532408f1e3bdb2da2905bae53b7287b4f3a7a6bb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vz0HC/Dyn/pHWgqsude3Dq3p+qX8S9C+5HWdSNxUpOY+Mm6QkkCktOhPr03JgL4FctAOxRft3E7jeSx8U4K9Aw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T01:10:15.970753Z","bundle_sha256":"cfa4428ceae795d32b7719d2b2674356ba97ca80f11e053b8293afa29cc267cf"}}