{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:WMSIZSCWHQIQQUD2E4MISAW2M5","short_pith_number":"pith:WMSIZSCW","canonical_record":{"source":{"id":"1312.6130","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T21:01:32Z","cross_cats_sorted":[],"title_canon_sha256":"6ebbfd3815e4bd0c63f1809b8012a62e346ad13f2ffd7cca9e40c3e61084d2a3","abstract_canon_sha256":"4e7b3f748bf07b69623dae83ef47bc69e075eb05b4b811f0d5f3c677aa0296aa"},"schema_version":"1.0"},"canonical_sha256":"b3248cc8563c1108507a27188902da6744c24a42b5b2dfde5c353d161654e0a8","source":{"kind":"arxiv","id":"1312.6130","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.6130","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"arxiv_version","alias_value":"1312.6130v1","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.6130","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"pith_short_12","alias_value":"WMSIZSCWHQIQ","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"WMSIZSCWHQIQQUD2","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"WMSIZSCW","created_at":"2026-05-18T12:28:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:WMSIZSCWHQIQQUD2E4MISAW2M5","target":"record","payload":{"canonical_record":{"source":{"id":"1312.6130","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T21:01:32Z","cross_cats_sorted":[],"title_canon_sha256":"6ebbfd3815e4bd0c63f1809b8012a62e346ad13f2ffd7cca9e40c3e61084d2a3","abstract_canon_sha256":"4e7b3f748bf07b69623dae83ef47bc69e075eb05b4b811f0d5f3c677aa0296aa"},"schema_version":"1.0"},"canonical_sha256":"b3248cc8563c1108507a27188902da6744c24a42b5b2dfde5c353d161654e0a8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:04:05.972610Z","signature_b64":"l0UlwuXm/hRlcvTOaD14Bfe0odtUUfPqTEYeJJTGjRDAf8a1jqVg2krs0xFGFCGU03zP+IAEh3axWlzu8GPHBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b3248cc8563c1108507a27188902da6744c24a42b5b2dfde5c353d161654e0a8","last_reissued_at":"2026-05-18T03:04:05.972130Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:04:05.972130Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1312.6130","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:04:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+27cXw7S490xnyBM4y1qcNGrAornRAZ+U1Hh/k9lxgdmYw9ks9aHX1EF/VPCr/qNf3h8wEcw+g9LJpLO/0BbBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T23:13:17.533871Z"},"content_sha256":"3de52c5cd5a6689d5783e4d6d2dff7d230a06b54bce22f2c4a5e2146c4513ad3","schema_version":"1.0","event_id":"sha256:3de52c5cd5a6689d5783e4d6d2dff7d230a06b54bce22f2c4a5e2146c4513ad3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:WMSIZSCWHQIQQUD2E4MISAW2M5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Functional View of Strong Negation in Answer Set Programming","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Joohyung Lee, Michael Bartholomew","submitted_at":"2013-12-20T21:01:32Z","abstract_excerpt":"The distinction between strong negation and default negation has been useful in answer set programming. We present an alternative account of strong negation, which lets us view strong negation in terms of the functional stable model semantics by Bartholomew and Lee. More specifically, we show that, under complete interpretations, minimizing both positive and negative literals in the traditional answer set semantics is essentially the same as ensuring the uniqueness of Boolean function values under the functional stable model semantics. The same account lets us view Lifschitz's two-valued logic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.6130","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:04:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"68e621Q2+FaNoDxGSy1agRrzUKcaXcTd+2tQkFbLfBecD7f4tEuNARCpdyGf8Aam8B8SrQN/86TtB2Z8kKKpDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T23:13:17.534547Z"},"content_sha256":"58f2cf865f2c9c517fe4e972bde0ad3ac7d98ceee25e97b473b301b3f5389264","schema_version":"1.0","event_id":"sha256:58f2cf865f2c9c517fe4e972bde0ad3ac7d98ceee25e97b473b301b3f5389264"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WMSIZSCWHQIQQUD2E4MISAW2M5/bundle.json","state_url":"https://pith.science/pith/WMSIZSCWHQIQQUD2E4MISAW2M5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WMSIZSCWHQIQQUD2E4MISAW2M5/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-27T23:13:17Z","links":{"resolver":"https://pith.science/pith/WMSIZSCWHQIQQUD2E4MISAW2M5","bundle":"https://pith.science/pith/WMSIZSCWHQIQQUD2E4MISAW2M5/bundle.json","state":"https://pith.science/pith/WMSIZSCWHQIQQUD2E4MISAW2M5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WMSIZSCWHQIQQUD2E4MISAW2M5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:WMSIZSCWHQIQQUD2E4MISAW2M5","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":"4e7b3f748bf07b69623dae83ef47bc69e075eb05b4b811f0d5f3c677aa0296aa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T21:01:32Z","title_canon_sha256":"6ebbfd3815e4bd0c63f1809b8012a62e346ad13f2ffd7cca9e40c3e61084d2a3"},"schema_version":"1.0","source":{"id":"1312.6130","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.6130","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"arxiv_version","alias_value":"1312.6130v1","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.6130","created_at":"2026-05-18T03:04:05Z"},{"alias_kind":"pith_short_12","alias_value":"WMSIZSCWHQIQ","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_16","alias_value":"WMSIZSCWHQIQQUD2","created_at":"2026-05-18T12:28:04Z"},{"alias_kind":"pith_short_8","alias_value":"WMSIZSCW","created_at":"2026-05-18T12:28:04Z"}],"graph_snapshots":[{"event_id":"sha256:58f2cf865f2c9c517fe4e972bde0ad3ac7d98ceee25e97b473b301b3f5389264","target":"graph","created_at":"2026-05-18T03:04:05Z","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":"The distinction between strong negation and default negation has been useful in answer set programming. We present an alternative account of strong negation, which lets us view strong negation in terms of the functional stable model semantics by Bartholomew and Lee. More specifically, we show that, under complete interpretations, minimizing both positive and negative literals in the traditional answer set semantics is essentially the same as ensuring the uniqueness of Boolean function values under the functional stable model semantics. The same account lets us view Lifschitz's two-valued logic","authors_text":"Joohyung Lee, Michael Bartholomew","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T21:01:32Z","title":"A Functional View of Strong Negation in Answer Set Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.6130","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:3de52c5cd5a6689d5783e4d6d2dff7d230a06b54bce22f2c4a5e2146c4513ad3","target":"record","created_at":"2026-05-18T03:04:05Z","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":"4e7b3f748bf07b69623dae83ef47bc69e075eb05b4b811f0d5f3c677aa0296aa","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T21:01:32Z","title_canon_sha256":"6ebbfd3815e4bd0c63f1809b8012a62e346ad13f2ffd7cca9e40c3e61084d2a3"},"schema_version":"1.0","source":{"id":"1312.6130","kind":"arxiv","version":1}},"canonical_sha256":"b3248cc8563c1108507a27188902da6744c24a42b5b2dfde5c353d161654e0a8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b3248cc8563c1108507a27188902da6744c24a42b5b2dfde5c353d161654e0a8","first_computed_at":"2026-05-18T03:04:05.972130Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:04:05.972130Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"l0UlwuXm/hRlcvTOaD14Bfe0odtUUfPqTEYeJJTGjRDAf8a1jqVg2krs0xFGFCGU03zP+IAEh3axWlzu8GPHBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:04:05.972610Z","signed_message":"canonical_sha256_bytes"},"source_id":"1312.6130","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3de52c5cd5a6689d5783e4d6d2dff7d230a06b54bce22f2c4a5e2146c4513ad3","sha256:58f2cf865f2c9c517fe4e972bde0ad3ac7d98ceee25e97b473b301b3f5389264"],"state_sha256":"8eb39163332c0ebc046ddce49390f35cd540a7f972e37ef2e390b3aaffde9896"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MEbi4AsV+rJ0UX9hXzRPAHCsZDFc93RFpvKM+9sbL1jOD93iK8IIN/NGFPZ5u3evAA9c9W2WpmGDuGuGTTLhBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T23:13:17.537919Z","bundle_sha256":"4f3de38dd1bfe7822373d17a9302240023200b558c51da38020a7a9e47fe281e"}}