{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:XUCC36TV2CC43SXTRRYZSOLLQA","short_pith_number":"pith:XUCC36TV","canonical_record":{"source":{"id":"1203.0587","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-02T23:25:07Z","cross_cats_sorted":[],"title_canon_sha256":"fedb633dd6c380227abc244ec29d216d709f50f8af8e81437fe69fb2437da90b","abstract_canon_sha256":"8d92a5c5fcbb1435bf53b4c135f123f448448f7ade566ddd19b82b3cf6adae9b"},"schema_version":"1.0"},"canonical_sha256":"bd042dfa75d085cdcaf38c7199396b800b8d9452147d256c0bcf1de1d70bd12a","source":{"kind":"arxiv","id":"1203.0587","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.0587","created_at":"2026-05-18T04:00:51Z"},{"alias_kind":"arxiv_version","alias_value":"1203.0587v1","created_at":"2026-05-18T04:00:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.0587","created_at":"2026-05-18T04:00:51Z"},{"alias_kind":"pith_short_12","alias_value":"XUCC36TV2CC4","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XUCC36TV2CC43SXT","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XUCC36TV","created_at":"2026-05-18T12:27:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:XUCC36TV2CC43SXTRRYZSOLLQA","target":"record","payload":{"canonical_record":{"source":{"id":"1203.0587","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-02T23:25:07Z","cross_cats_sorted":[],"title_canon_sha256":"fedb633dd6c380227abc244ec29d216d709f50f8af8e81437fe69fb2437da90b","abstract_canon_sha256":"8d92a5c5fcbb1435bf53b4c135f123f448448f7ade566ddd19b82b3cf6adae9b"},"schema_version":"1.0"},"canonical_sha256":"bd042dfa75d085cdcaf38c7199396b800b8d9452147d256c0bcf1de1d70bd12a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:00:51.194912Z","signature_b64":"HiItuJAZSlGP+x2E+juWRPDedrWGmhM8saJY/b8+bQbenuLjwRzZfwQk81iRFhq5iz7QE837DU70NjfZvLROCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bd042dfa75d085cdcaf38c7199396b800b8d9452147d256c0bcf1de1d70bd12a","last_reissued_at":"2026-05-18T04:00:51.194364Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:00:51.194364Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.0587","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-18T04:00:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bt6LkAwG0zRQIqgD0sGtAz7/djXWaLZWB0V4emch3ys910YqheLT8JjbBbVMG2P2NTAkR5hPuLt/TkWCaifyAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T23:16:47.426689Z"},"content_sha256":"5477918ccc51374985c835497e884e3a788e614688ec13e2edf2ac5adf87f010","schema_version":"1.0","event_id":"sha256:5477918ccc51374985c835497e884e3a788e614688ec13e2edf2ac5adf87f010"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:XUCC36TV2CC43SXTRRYZSOLLQA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Expressing Preferences using Preference Set Constraint Atoms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alex Brik, Jeffrey B. Remmel","submitted_at":"2012-03-02T23:25:07Z","abstract_excerpt":"This paper introduces an extension of Answer Set Programming called Preference Set Constraint Programming which is a convenient and general formalism to reason with preferences. PSC programming extends Set Constraint Programming introduced by Marek and Remmel (Marek and Remmel 2004) by introducing two types of preference set constraint atoms, measure preference set constraint atoms and pre-ordered preference set constraint atoms, which are extensions of set constraint atoms. We show that the question of whether a PSC program has a preferred stable model is CoNP-complete. We give examples of th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.0587","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-18T04:00:51Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/WKwm5cW3NvKoMGy0v9x5hYSFLVDDkEtC+Lf/7obN70APjBV5ZKOb3b7FNRCd7+8pl/y7HF/xuz5sw0KSRphAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T23:16:47.427029Z"},"content_sha256":"d767430b861d1014d97fda3ba5b510c144d326e5c75a0c754061a3b0d7b07f52","schema_version":"1.0","event_id":"sha256:d767430b861d1014d97fda3ba5b510c144d326e5c75a0c754061a3b0d7b07f52"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/XUCC36TV2CC43SXTRRYZSOLLQA/bundle.json","state_url":"https://pith.science/pith/XUCC36TV2CC43SXTRRYZSOLLQA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/XUCC36TV2CC43SXTRRYZSOLLQA/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-25T23:16:47Z","links":{"resolver":"https://pith.science/pith/XUCC36TV2CC43SXTRRYZSOLLQA","bundle":"https://pith.science/pith/XUCC36TV2CC43SXTRRYZSOLLQA/bundle.json","state":"https://pith.science/pith/XUCC36TV2CC43SXTRRYZSOLLQA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/XUCC36TV2CC43SXTRRYZSOLLQA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:XUCC36TV2CC43SXTRRYZSOLLQA","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":"8d92a5c5fcbb1435bf53b4c135f123f448448f7ade566ddd19b82b3cf6adae9b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-02T23:25:07Z","title_canon_sha256":"fedb633dd6c380227abc244ec29d216d709f50f8af8e81437fe69fb2437da90b"},"schema_version":"1.0","source":{"id":"1203.0587","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.0587","created_at":"2026-05-18T04:00:51Z"},{"alias_kind":"arxiv_version","alias_value":"1203.0587v1","created_at":"2026-05-18T04:00:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.0587","created_at":"2026-05-18T04:00:51Z"},{"alias_kind":"pith_short_12","alias_value":"XUCC36TV2CC4","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_16","alias_value":"XUCC36TV2CC43SXT","created_at":"2026-05-18T12:27:27Z"},{"alias_kind":"pith_short_8","alias_value":"XUCC36TV","created_at":"2026-05-18T12:27:27Z"}],"graph_snapshots":[{"event_id":"sha256:d767430b861d1014d97fda3ba5b510c144d326e5c75a0c754061a3b0d7b07f52","target":"graph","created_at":"2026-05-18T04:00:51Z","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":"This paper introduces an extension of Answer Set Programming called Preference Set Constraint Programming which is a convenient and general formalism to reason with preferences. PSC programming extends Set Constraint Programming introduced by Marek and Remmel (Marek and Remmel 2004) by introducing two types of preference set constraint atoms, measure preference set constraint atoms and pre-ordered preference set constraint atoms, which are extensions of set constraint atoms. We show that the question of whether a PSC program has a preferred stable model is CoNP-complete. We give examples of th","authors_text":"Alex Brik, Jeffrey B. Remmel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-02T23:25:07Z","title":"Expressing Preferences using Preference Set Constraint Atoms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.0587","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:5477918ccc51374985c835497e884e3a788e614688ec13e2edf2ac5adf87f010","target":"record","created_at":"2026-05-18T04:00:51Z","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":"8d92a5c5fcbb1435bf53b4c135f123f448448f7ade566ddd19b82b3cf6adae9b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-03-02T23:25:07Z","title_canon_sha256":"fedb633dd6c380227abc244ec29d216d709f50f8af8e81437fe69fb2437da90b"},"schema_version":"1.0","source":{"id":"1203.0587","kind":"arxiv","version":1}},"canonical_sha256":"bd042dfa75d085cdcaf38c7199396b800b8d9452147d256c0bcf1de1d70bd12a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"bd042dfa75d085cdcaf38c7199396b800b8d9452147d256c0bcf1de1d70bd12a","first_computed_at":"2026-05-18T04:00:51.194364Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:00:51.194364Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HiItuJAZSlGP+x2E+juWRPDedrWGmhM8saJY/b8+bQbenuLjwRzZfwQk81iRFhq5iz7QE837DU70NjfZvLROCg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:00:51.194912Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.0587","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5477918ccc51374985c835497e884e3a788e614688ec13e2edf2ac5adf87f010","sha256:d767430b861d1014d97fda3ba5b510c144d326e5c75a0c754061a3b0d7b07f52"],"state_sha256":"a02c95b537221a25ffda65ae2246460131b3ffe0ee46ca8d20627ca63ee0de23"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tnGCD/dEUK8BBzMJXv6BtFjtfU8FamaIXR3xc+53Va+8Mqn+cOpP/txmEx6yhCNWjg+skrfcs/5INyk2mZl1Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T23:16:47.428899Z","bundle_sha256":"78957c9b56a78ca2818652ce104357462012b1684ce78d4a99dd61ea29dae9f0"}}