{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:VMGR2JQANEM7LQBRTZY2PKC4CG","short_pith_number":"pith:VMGR2JQA","canonical_record":{"source":{"id":"1502.02298","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-08T20:26:10Z","cross_cats_sorted":[],"title_canon_sha256":"13f250149104a80ae1c07b039902f946e9ee4b63d29e3cdf8d769f018ddcfc31","abstract_canon_sha256":"0eacb7a50c3b4d4686fa1751897b7b1ce17aa9ebf7e5b7077781d5c9058c763c"},"schema_version":"1.0"},"canonical_sha256":"ab0d1d26006919f5c0319e71a7a85c11a73884650a33d0921c7fd388c66a4ec2","source":{"kind":"arxiv","id":"1502.02298","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.02298","created_at":"2026-05-18T00:52:53Z"},{"alias_kind":"arxiv_version","alias_value":"1502.02298v2","created_at":"2026-05-18T00:52:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.02298","created_at":"2026-05-18T00:52:53Z"},{"alias_kind":"pith_short_12","alias_value":"VMGR2JQANEM7","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"VMGR2JQANEM7LQBR","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"VMGR2JQA","created_at":"2026-05-18T12:29:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:VMGR2JQANEM7LQBRTZY2PKC4CG","target":"record","payload":{"canonical_record":{"source":{"id":"1502.02298","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-08T20:26:10Z","cross_cats_sorted":[],"title_canon_sha256":"13f250149104a80ae1c07b039902f946e9ee4b63d29e3cdf8d769f018ddcfc31","abstract_canon_sha256":"0eacb7a50c3b4d4686fa1751897b7b1ce17aa9ebf7e5b7077781d5c9058c763c"},"schema_version":"1.0"},"canonical_sha256":"ab0d1d26006919f5c0319e71a7a85c11a73884650a33d0921c7fd388c66a4ec2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:52:53.354230Z","signature_b64":"5Gw4PmHbi7hxt5VNRCHd2WdxgT//sJXTQtK9W6YqTqhyt2LnkRGPDP50dt6kA0imkMupNwdzWHTdbGYRU4kmDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ab0d1d26006919f5c0319e71a7a85c11a73884650a33d0921c7fd388c66a4ec2","last_reissued_at":"2026-05-18T00:52:53.353565Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:52:53.353565Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.02298","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:52:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SnETS6LcX/RcDFnM4BADKb6/jHbaMW0lsJPR77JSTGe6jMV8tYeIVmWXB6F0bXRro+auSJUg8nsYnlhhQ6KaAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T22:27:43.158946Z"},"content_sha256":"6114f096112e9ff8ed77fa6b023c125b65358cbbecfa9601ca8225d107c326a9","schema_version":"1.0","event_id":"sha256:6114f096112e9ff8ed77fa6b023c125b65358cbbecfa9601ca8225d107c326a9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:VMGR2JQANEM7LQBRTZY2PKC4CG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"C\\'eline Hudelot, Isabelle Bloch, Jamal Atif, Marc Aiguier","submitted_at":"2015-02-08T20:26:10Z","abstract_excerpt":"Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently Horn and description logics. Here, we propose to generalize this operation from a model-theoretic point of view, by defining revision in an abstract model theory known under the name of satisfaction systems. In this framework, we generalize to any satisfaction systems the characterization of the well known AGM postulates given by Katsuno and Mendelzon for propositional logic in terms of minimal change among interpret"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.02298","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:52:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UAE2mbQ6H2Cq9udoem2tim09AOjlE40pXHI7KkoskZle1Ln0W+/HlHymgXClVvmOiXOdJnPhBhyzl2fd9NwnCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T22:27:43.159306Z"},"content_sha256":"8b99ab4f789134a67c967db40f4d0cb4219b5e2cf5c0063ddd8614451963b6de","schema_version":"1.0","event_id":"sha256:8b99ab4f789134a67c967db40f4d0cb4219b5e2cf5c0063ddd8614451963b6de"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VMGR2JQANEM7LQBRTZY2PKC4CG/bundle.json","state_url":"https://pith.science/pith/VMGR2JQANEM7LQBRTZY2PKC4CG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VMGR2JQANEM7LQBRTZY2PKC4CG/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-25T22:27:43Z","links":{"resolver":"https://pith.science/pith/VMGR2JQANEM7LQBRTZY2PKC4CG","bundle":"https://pith.science/pith/VMGR2JQANEM7LQBRTZY2PKC4CG/bundle.json","state":"https://pith.science/pith/VMGR2JQANEM7LQBRTZY2PKC4CG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VMGR2JQANEM7LQBRTZY2PKC4CG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:VMGR2JQANEM7LQBRTZY2PKC4CG","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":"0eacb7a50c3b4d4686fa1751897b7b1ce17aa9ebf7e5b7077781d5c9058c763c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-08T20:26:10Z","title_canon_sha256":"13f250149104a80ae1c07b039902f946e9ee4b63d29e3cdf8d769f018ddcfc31"},"schema_version":"1.0","source":{"id":"1502.02298","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.02298","created_at":"2026-05-18T00:52:53Z"},{"alias_kind":"arxiv_version","alias_value":"1502.02298v2","created_at":"2026-05-18T00:52:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.02298","created_at":"2026-05-18T00:52:53Z"},{"alias_kind":"pith_short_12","alias_value":"VMGR2JQANEM7","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"VMGR2JQANEM7LQBR","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"VMGR2JQA","created_at":"2026-05-18T12:29:47Z"}],"graph_snapshots":[{"event_id":"sha256:8b99ab4f789134a67c967db40f4d0cb4219b5e2cf5c0063ddd8614451963b6de","target":"graph","created_at":"2026-05-18T00:52:53Z","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":"Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently Horn and description logics. Here, we propose to generalize this operation from a model-theoretic point of view, by defining revision in an abstract model theory known under the name of satisfaction systems. In this framework, we generalize to any satisfaction systems the characterization of the well known AGM postulates given by Katsuno and Mendelzon for propositional logic in terms of minimal change among interpret","authors_text":"C\\'eline Hudelot, Isabelle Bloch, Jamal Atif, Marc Aiguier","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-08T20:26:10Z","title":"Belief Revision, Minimal Change and Relaxation: A General Framework based on Satisfaction Systems, and Applications to Description Logics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.02298","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:6114f096112e9ff8ed77fa6b023c125b65358cbbecfa9601ca8225d107c326a9","target":"record","created_at":"2026-05-18T00:52:53Z","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":"0eacb7a50c3b4d4686fa1751897b7b1ce17aa9ebf7e5b7077781d5c9058c763c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2015-02-08T20:26:10Z","title_canon_sha256":"13f250149104a80ae1c07b039902f946e9ee4b63d29e3cdf8d769f018ddcfc31"},"schema_version":"1.0","source":{"id":"1502.02298","kind":"arxiv","version":2}},"canonical_sha256":"ab0d1d26006919f5c0319e71a7a85c11a73884650a33d0921c7fd388c66a4ec2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ab0d1d26006919f5c0319e71a7a85c11a73884650a33d0921c7fd388c66a4ec2","first_computed_at":"2026-05-18T00:52:53.353565Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:52:53.353565Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5Gw4PmHbi7hxt5VNRCHd2WdxgT//sJXTQtK9W6YqTqhyt2LnkRGPDP50dt6kA0imkMupNwdzWHTdbGYRU4kmDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:52:53.354230Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.02298","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6114f096112e9ff8ed77fa6b023c125b65358cbbecfa9601ca8225d107c326a9","sha256:8b99ab4f789134a67c967db40f4d0cb4219b5e2cf5c0063ddd8614451963b6de"],"state_sha256":"b9960fb7234c9a27d2991f23ccc258c936936dfce4b5f33900dc9ec7662d12fe"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"803Y1M0Hs3zunOTUdjNdcFFjVogRxpgJXGTeTQ20u9elJMi/81+95vOQ77wbMoiDJrwgEAlxGs/SZJWDlhwRBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T22:27:43.162221Z","bundle_sha256":"8f1f7b1844900af0989cc9292c7c390dcb1c30adc0fc84d01294d52139e9df04"}}