{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:K2LSWTOSEGP4PYHZVZQRUZ6CC7","short_pith_number":"pith:K2LSWTOS","canonical_record":{"source":{"id":"1405.1287","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-06T14:44:40Z","cross_cats_sorted":[],"title_canon_sha256":"edc2f56fdeee541c83ff5c0d2fe44ece49f896d6030d319d1fddf38c4097c228","abstract_canon_sha256":"2a852874ffbe61e19b0347328ebab6c0ad83d8f5f12308874741eb5f7cba9dc1"},"schema_version":"1.0"},"canonical_sha256":"56972b4dd2219fc7e0f9ae611a67c217fc432ffc2c6ace5ca98175e5d2c4f82b","source":{"kind":"arxiv","id":"1405.1287","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.1287","created_at":"2026-05-18T02:52:33Z"},{"alias_kind":"arxiv_version","alias_value":"1405.1287v1","created_at":"2026-05-18T02:52:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.1287","created_at":"2026-05-18T02:52:33Z"},{"alias_kind":"pith_short_12","alias_value":"K2LSWTOSEGP4","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"K2LSWTOSEGP4PYHZ","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"K2LSWTOS","created_at":"2026-05-18T12:28:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:K2LSWTOSEGP4PYHZVZQRUZ6CC7","target":"record","payload":{"canonical_record":{"source":{"id":"1405.1287","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-06T14:44:40Z","cross_cats_sorted":[],"title_canon_sha256":"edc2f56fdeee541c83ff5c0d2fe44ece49f896d6030d319d1fddf38c4097c228","abstract_canon_sha256":"2a852874ffbe61e19b0347328ebab6c0ad83d8f5f12308874741eb5f7cba9dc1"},"schema_version":"1.0"},"canonical_sha256":"56972b4dd2219fc7e0f9ae611a67c217fc432ffc2c6ace5ca98175e5d2c4f82b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:52:33.123774Z","signature_b64":"MrgqTAHHsz28GpOljWWI2G/FEtIbXD+3l2PF6qgGMeQZvgn8fdYpOGjzj7PPTgzHcj8eb2BQbcvgQFjA4ncSDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"56972b4dd2219fc7e0f9ae611a67c217fc432ffc2c6ace5ca98175e5d2c4f82b","last_reissued_at":"2026-05-18T02:52:33.123333Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:52:33.123333Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1405.1287","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:52:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IE5ZAHyVgm2kCGyCcyw4He2kBlPA6MGNYfLc09/w3PkTQpYxh3tylof0AgNYbjuGadU+817iM12KAJuyc32ECQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T10:53:24.202611Z"},"content_sha256":"b633a9d6ce36f110b91bd3e21d6b75b34b61b5997b21673768b2a5882af80953","schema_version":"1.0","event_id":"sha256:b633a9d6ce36f110b91bd3e21d6b75b34b61b5997b21673768b2a5882af80953"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:K2LSWTOSEGP4PYHZVZQRUZ6CC7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Semantics and Compilation of Answer Set Programming with Generalized Atoms","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Mario Alviano, Wolfgang Faber","submitted_at":"2014-05-06T14:44:40Z","abstract_excerpt":"Answer Set Programming (ASP) is logic programming under the stable model or answer set semantics. During the last decade, this paradigm has seen several extensions by generalizing the notion of atom used in these programs. Among these, there are aggregate atoms, HEX atoms, generalized quantifiers, and abstract constraints. In this paper we refer to these constructs collectively as generalized atoms. The idea common to all of these constructs is that their satisfaction depends on the truth values of a set of (non-generalized) atoms, rather than the truth value of a single (non-generalized) atom"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.1287","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:52:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7PL8KkyLQWwAGPqfEnwL+TZhRdGdobCVAMpE+CtojOYt2MeTtZ5xdVbnePCA/hExCm3XHT71eig/jsLto73gDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T10:53:24.203258Z"},"content_sha256":"c5173325e92248547dbf3457b75109c9e01199c71505e3be95b4abb5d3802d56","schema_version":"1.0","event_id":"sha256:c5173325e92248547dbf3457b75109c9e01199c71505e3be95b4abb5d3802d56"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K2LSWTOSEGP4PYHZVZQRUZ6CC7/bundle.json","state_url":"https://pith.science/pith/K2LSWTOSEGP4PYHZVZQRUZ6CC7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K2LSWTOSEGP4PYHZVZQRUZ6CC7/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-31T10:53:24Z","links":{"resolver":"https://pith.science/pith/K2LSWTOSEGP4PYHZVZQRUZ6CC7","bundle":"https://pith.science/pith/K2LSWTOSEGP4PYHZVZQRUZ6CC7/bundle.json","state":"https://pith.science/pith/K2LSWTOSEGP4PYHZVZQRUZ6CC7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K2LSWTOSEGP4PYHZVZQRUZ6CC7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:K2LSWTOSEGP4PYHZVZQRUZ6CC7","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":"2a852874ffbe61e19b0347328ebab6c0ad83d8f5f12308874741eb5f7cba9dc1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-06T14:44:40Z","title_canon_sha256":"edc2f56fdeee541c83ff5c0d2fe44ece49f896d6030d319d1fddf38c4097c228"},"schema_version":"1.0","source":{"id":"1405.1287","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.1287","created_at":"2026-05-18T02:52:33Z"},{"alias_kind":"arxiv_version","alias_value":"1405.1287v1","created_at":"2026-05-18T02:52:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.1287","created_at":"2026-05-18T02:52:33Z"},{"alias_kind":"pith_short_12","alias_value":"K2LSWTOSEGP4","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"K2LSWTOSEGP4PYHZ","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"K2LSWTOS","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:c5173325e92248547dbf3457b75109c9e01199c71505e3be95b4abb5d3802d56","target":"graph","created_at":"2026-05-18T02:52:33Z","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":"Answer Set Programming (ASP) is logic programming under the stable model or answer set semantics. During the last decade, this paradigm has seen several extensions by generalizing the notion of atom used in these programs. Among these, there are aggregate atoms, HEX atoms, generalized quantifiers, and abstract constraints. In this paper we refer to these constructs collectively as generalized atoms. The idea common to all of these constructs is that their satisfaction depends on the truth values of a set of (non-generalized) atoms, rather than the truth value of a single (non-generalized) atom","authors_text":"Mario Alviano, Wolfgang Faber","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-06T14:44:40Z","title":"Semantics and Compilation of Answer Set Programming with Generalized Atoms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.1287","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:b633a9d6ce36f110b91bd3e21d6b75b34b61b5997b21673768b2a5882af80953","target":"record","created_at":"2026-05-18T02:52:33Z","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":"2a852874ffbe61e19b0347328ebab6c0ad83d8f5f12308874741eb5f7cba9dc1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-06T14:44:40Z","title_canon_sha256":"edc2f56fdeee541c83ff5c0d2fe44ece49f896d6030d319d1fddf38c4097c228"},"schema_version":"1.0","source":{"id":"1405.1287","kind":"arxiv","version":1}},"canonical_sha256":"56972b4dd2219fc7e0f9ae611a67c217fc432ffc2c6ace5ca98175e5d2c4f82b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"56972b4dd2219fc7e0f9ae611a67c217fc432ffc2c6ace5ca98175e5d2c4f82b","first_computed_at":"2026-05-18T02:52:33.123333Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:52:33.123333Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MrgqTAHHsz28GpOljWWI2G/FEtIbXD+3l2PF6qgGMeQZvgn8fdYpOGjzj7PPTgzHcj8eb2BQbcvgQFjA4ncSDg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:52:33.123774Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.1287","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b633a9d6ce36f110b91bd3e21d6b75b34b61b5997b21673768b2a5882af80953","sha256:c5173325e92248547dbf3457b75109c9e01199c71505e3be95b4abb5d3802d56"],"state_sha256":"ea59f2f58329fe0cd2872daa9c7482e89f7ad952e1adc8c6f7c4daf82b342a56"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ie4w7N8R4OrkLXdnLwG9Ru+Ekq9iP5iygj6TawZDohHoHrrhKP8E8VskKJkzQmVGFnOvF/bhFG10olDP2WY7Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T10:53:24.207138Z","bundle_sha256":"c6d5a3b8aa613830d71b9cbedbbf619ca6475be0631872c7a0ab68ed450571c6"}}