{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:6FLJKVQV5I3FNFWPUKKRM372SS","short_pith_number":"pith:6FLJKVQV","canonical_record":{"source":{"id":"1404.6445","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-04-25T14:57:54Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4bb7aa964c675b9194dd3ba53388c644438a1fca81c81f8c7809d7891f6c1291","abstract_canon_sha256":"e07c44801117037042248aa4f641d34969fba10146f935e63e24a0e19e811849"},"schema_version":"1.0"},"canonical_sha256":"f156955615ea365696cfa295166ffa949c69f587df97d37fce87f213d1ad392a","source":{"kind":"arxiv","id":"1404.6445","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.6445","created_at":"2026-05-18T02:53:16Z"},{"alias_kind":"arxiv_version","alias_value":"1404.6445v1","created_at":"2026-05-18T02:53:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.6445","created_at":"2026-05-18T02:53:16Z"},{"alias_kind":"pith_short_12","alias_value":"6FLJKVQV5I3F","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"6FLJKVQV5I3FNFWP","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"6FLJKVQV","created_at":"2026-05-18T12:28:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:6FLJKVQV5I3FNFWPUKKRM372SS","target":"record","payload":{"canonical_record":{"source":{"id":"1404.6445","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-04-25T14:57:54Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4bb7aa964c675b9194dd3ba53388c644438a1fca81c81f8c7809d7891f6c1291","abstract_canon_sha256":"e07c44801117037042248aa4f641d34969fba10146f935e63e24a0e19e811849"},"schema_version":"1.0"},"canonical_sha256":"f156955615ea365696cfa295166ffa949c69f587df97d37fce87f213d1ad392a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:53:16.471671Z","signature_b64":"INciSHnXIYdYL7SgBeQBiE/QtZoeqqrB4eGZNp+rqFYKD/yxABGc0Z3T196+fAkh5c/7x+d7Tv3trObRpSznAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f156955615ea365696cfa295166ffa949c69f587df97d37fce87f213d1ad392a","last_reissued_at":"2026-05-18T02:53:16.470982Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:53:16.470982Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1404.6445","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:53:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vdrHasN9dFhxOttwHRWSaw1XPkUvZb/4EjPeKXv5jzk5v6HjsBs7TyVLDc4pxIGxlhyeyaW0ARrYJduchrWFAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T04:13:16.426898Z"},"content_sha256":"77452b51f27ec522d1468c83098c6f6d38d4efde31afb9b31f37d5dd299ff5a9","schema_version":"1.0","event_id":"sha256:77452b51f27ec522d1468c83098c6f6d38d4efde31afb9b31f37d5dd299ff5a9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:6FLJKVQV5I3FNFWPUKKRM372SS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Belief merging within fragments of propositional logic","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Nadia Creignou, Odile Papini, Stefan R\\\"ummele, Stefan Woltran","submitted_at":"2014-04-25T14:57:54Z","abstract_excerpt":"Recently, belief change within the framework of fragments of propositional logic has gained increasing attention. Previous works focused on belief contraction and belief revision on the Horn fragment. However, the problem of belief merging within fragments of propositional logic has been neglected so far. This paper presents a general approach to define new merging operators derived from existing ones such that the result of merging remains in the fragment under consideration. Our approach is not limited to the case of Horn fragment but applicable to any fragment of propositional logic charact"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.6445","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:53:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NIgFOanuhAolNLlJUmoXKpCXxIjnGQD+vmtLuYj6gBqHuFTguqzhmIQ+Q7LYF+CBLLln5gB08RJD1bLnvA+NBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T04:13:16.427257Z"},"content_sha256":"4fdab8b0e872c1e933831c4426e659c3c1815c3fb097ff0241a2d43e553c394f","schema_version":"1.0","event_id":"sha256:4fdab8b0e872c1e933831c4426e659c3c1815c3fb097ff0241a2d43e553c394f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6FLJKVQV5I3FNFWPUKKRM372SS/bundle.json","state_url":"https://pith.science/pith/6FLJKVQV5I3FNFWPUKKRM372SS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6FLJKVQV5I3FNFWPUKKRM372SS/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-01T04:13:16Z","links":{"resolver":"https://pith.science/pith/6FLJKVQV5I3FNFWPUKKRM372SS","bundle":"https://pith.science/pith/6FLJKVQV5I3FNFWPUKKRM372SS/bundle.json","state":"https://pith.science/pith/6FLJKVQV5I3FNFWPUKKRM372SS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6FLJKVQV5I3FNFWPUKKRM372SS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:6FLJKVQV5I3FNFWPUKKRM372SS","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":"e07c44801117037042248aa4f641d34969fba10146f935e63e24a0e19e811849","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-04-25T14:57:54Z","title_canon_sha256":"4bb7aa964c675b9194dd3ba53388c644438a1fca81c81f8c7809d7891f6c1291"},"schema_version":"1.0","source":{"id":"1404.6445","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1404.6445","created_at":"2026-05-18T02:53:16Z"},{"alias_kind":"arxiv_version","alias_value":"1404.6445v1","created_at":"2026-05-18T02:53:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.6445","created_at":"2026-05-18T02:53:16Z"},{"alias_kind":"pith_short_12","alias_value":"6FLJKVQV5I3F","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_16","alias_value":"6FLJKVQV5I3FNFWP","created_at":"2026-05-18T12:28:16Z"},{"alias_kind":"pith_short_8","alias_value":"6FLJKVQV","created_at":"2026-05-18T12:28:16Z"}],"graph_snapshots":[{"event_id":"sha256:4fdab8b0e872c1e933831c4426e659c3c1815c3fb097ff0241a2d43e553c394f","target":"graph","created_at":"2026-05-18T02:53:16Z","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":"Recently, belief change within the framework of fragments of propositional logic has gained increasing attention. Previous works focused on belief contraction and belief revision on the Horn fragment. However, the problem of belief merging within fragments of propositional logic has been neglected so far. This paper presents a general approach to define new merging operators derived from existing ones such that the result of merging remains in the fragment under consideration. Our approach is not limited to the case of Horn fragment but applicable to any fragment of propositional logic charact","authors_text":"Nadia Creignou, Odile Papini, Stefan R\\\"ummele, Stefan Woltran","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-04-25T14:57:54Z","title":"Belief merging within fragments of propositional logic"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.6445","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:77452b51f27ec522d1468c83098c6f6d38d4efde31afb9b31f37d5dd299ff5a9","target":"record","created_at":"2026-05-18T02:53:16Z","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":"e07c44801117037042248aa4f641d34969fba10146f935e63e24a0e19e811849","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-04-25T14:57:54Z","title_canon_sha256":"4bb7aa964c675b9194dd3ba53388c644438a1fca81c81f8c7809d7891f6c1291"},"schema_version":"1.0","source":{"id":"1404.6445","kind":"arxiv","version":1}},"canonical_sha256":"f156955615ea365696cfa295166ffa949c69f587df97d37fce87f213d1ad392a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f156955615ea365696cfa295166ffa949c69f587df97d37fce87f213d1ad392a","first_computed_at":"2026-05-18T02:53:16.470982Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:53:16.470982Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"INciSHnXIYdYL7SgBeQBiE/QtZoeqqrB4eGZNp+rqFYKD/yxABGc0Z3T196+fAkh5c/7x+d7Tv3trObRpSznAA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:53:16.471671Z","signed_message":"canonical_sha256_bytes"},"source_id":"1404.6445","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:77452b51f27ec522d1468c83098c6f6d38d4efde31afb9b31f37d5dd299ff5a9","sha256:4fdab8b0e872c1e933831c4426e659c3c1815c3fb097ff0241a2d43e553c394f"],"state_sha256":"52ed9098b23dbd7fac913539b76b43176de0cd31a572462d4dc1f4ea752a2da2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TD8D0cLVc5tvfsU0Hcnmzvwk8giNm6NIuNpEySH1WyxkMY3oPWHpYj9XRIywG+6V3IQ3kPUGWhgcIvi7ElGBCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T04:13:16.429571Z","bundle_sha256":"ed0b1e579e1db709259ed2493ecf784a0064ba5ad150053f10f14a0a42352ca9"}}