{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:IX2W5L4BWTLLKB3W25F2EP4LBR","short_pith_number":"pith:IX2W5L4B","canonical_record":{"source":{"id":"1312.6096","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T20:18:04Z","cross_cats_sorted":[],"title_canon_sha256":"150be316bff3b5564ccd5665fd6ac1a835ba9eef758345c2327d89ce4a004cf1","abstract_canon_sha256":"a6fc760e3ec410a3106c93ca37a64a8a7522e56af0d4a83665daf477c124ab2b"},"schema_version":"1.0"},"canonical_sha256":"45f56eaf81b4d6b50776d74ba23f8b0c4dc1e28a644d60fefcc70f5ff3aa1e5a","source":{"kind":"arxiv","id":"1312.6096","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.6096","created_at":"2026-05-18T03:04:07Z"},{"alias_kind":"arxiv_version","alias_value":"1312.6096v1","created_at":"2026-05-18T03:04:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.6096","created_at":"2026-05-18T03:04:07Z"},{"alias_kind":"pith_short_12","alias_value":"IX2W5L4BWTLL","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"IX2W5L4BWTLLKB3W","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"IX2W5L4B","created_at":"2026-05-18T12:27:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:IX2W5L4BWTLLKB3W25F2EP4LBR","target":"record","payload":{"canonical_record":{"source":{"id":"1312.6096","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T20:18:04Z","cross_cats_sorted":[],"title_canon_sha256":"150be316bff3b5564ccd5665fd6ac1a835ba9eef758345c2327d89ce4a004cf1","abstract_canon_sha256":"a6fc760e3ec410a3106c93ca37a64a8a7522e56af0d4a83665daf477c124ab2b"},"schema_version":"1.0"},"canonical_sha256":"45f56eaf81b4d6b50776d74ba23f8b0c4dc1e28a644d60fefcc70f5ff3aa1e5a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:04:07.152661Z","signature_b64":"FShheni0UykTNWGDM6vG2RxLuYScCHj5kFvYiYMeP6du9qxRGuYgdlm9WF9zDlMSEkU368ooXwMFGOop5L68BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"45f56eaf81b4d6b50776d74ba23f8b0c4dc1e28a644d60fefcc70f5ff3aa1e5a","last_reissued_at":"2026-05-18T03:04:07.152209Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:04:07.152209Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1312.6096","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:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VBZreH5TOp6vNIQkW7yTQlFNazFGaCF27byhfz7AfCg0N9KG0KKkLCgh/Tp2MXqYLwu2y/epTB59iqi/cB7OAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T03:16:24.372229Z"},"content_sha256":"3f41fe58f0f0762f337cd89040876a48890e170932fea4058a39f5d7e60cb98f","schema_version":"1.0","event_id":"sha256:3f41fe58f0f0762f337cd89040876a48890e170932fea4058a39f5d7e60cb98f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:IX2W5L4BWTLLKB3W25F2EP4LBR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Properties of Answer Set Programming with Convex 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":"2013-12-20T20:18:04Z","abstract_excerpt":"In recent years, Answer Set Programming (ASP), logic programming under the stable model or answer set semantics, has seen several extensions by generalizing the notion of an atom in these programs: be it aggregate atoms, HEX atoms, generalized quantifiers, or abstract constraints, the idea is to have more complicated satisfaction patterns in the lattice of Herbrand interpretations than traditional, simple atoms. In this paper we refer to any of these constructs as generalized atoms. Several semantics with differing characteristics have been proposed for these extensions, rendering the big pict"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.6096","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:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jaIWkqgr6qbwM7MfFmNmIfdk1G3rD9UNd1qYOtmEkkeiuhzMKw+WV9Lsv/4PPsvZBY/io0g4lzsSaU/pQQcKAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T03:16:24.372956Z"},"content_sha256":"52915f4799c549227bffe616b907880635a75b789493584eddd89caff8a0e10a","schema_version":"1.0","event_id":"sha256:52915f4799c549227bffe616b907880635a75b789493584eddd89caff8a0e10a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IX2W5L4BWTLLKB3W25F2EP4LBR/bundle.json","state_url":"https://pith.science/pith/IX2W5L4BWTLLKB3W25F2EP4LBR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IX2W5L4BWTLLKB3W25F2EP4LBR/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-31T03:16:24Z","links":{"resolver":"https://pith.science/pith/IX2W5L4BWTLLKB3W25F2EP4LBR","bundle":"https://pith.science/pith/IX2W5L4BWTLLKB3W25F2EP4LBR/bundle.json","state":"https://pith.science/pith/IX2W5L4BWTLLKB3W25F2EP4LBR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IX2W5L4BWTLLKB3W25F2EP4LBR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:IX2W5L4BWTLLKB3W25F2EP4LBR","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":"a6fc760e3ec410a3106c93ca37a64a8a7522e56af0d4a83665daf477c124ab2b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T20:18:04Z","title_canon_sha256":"150be316bff3b5564ccd5665fd6ac1a835ba9eef758345c2327d89ce4a004cf1"},"schema_version":"1.0","source":{"id":"1312.6096","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1312.6096","created_at":"2026-05-18T03:04:07Z"},{"alias_kind":"arxiv_version","alias_value":"1312.6096v1","created_at":"2026-05-18T03:04:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.6096","created_at":"2026-05-18T03:04:07Z"},{"alias_kind":"pith_short_12","alias_value":"IX2W5L4BWTLL","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_16","alias_value":"IX2W5L4BWTLLKB3W","created_at":"2026-05-18T12:27:49Z"},{"alias_kind":"pith_short_8","alias_value":"IX2W5L4B","created_at":"2026-05-18T12:27:49Z"}],"graph_snapshots":[{"event_id":"sha256:52915f4799c549227bffe616b907880635a75b789493584eddd89caff8a0e10a","target":"graph","created_at":"2026-05-18T03:04:07Z","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":"In recent years, Answer Set Programming (ASP), logic programming under the stable model or answer set semantics, has seen several extensions by generalizing the notion of an atom in these programs: be it aggregate atoms, HEX atoms, generalized quantifiers, or abstract constraints, the idea is to have more complicated satisfaction patterns in the lattice of Herbrand interpretations than traditional, simple atoms. In this paper we refer to any of these constructs as generalized atoms. Several semantics with differing characteristics have been proposed for these extensions, rendering the big pict","authors_text":"Mario Alviano, Wolfgang Faber","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T20:18:04Z","title":"Properties of Answer Set Programming with Convex Generalized Atoms"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.6096","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:3f41fe58f0f0762f337cd89040876a48890e170932fea4058a39f5d7e60cb98f","target":"record","created_at":"2026-05-18T03:04:07Z","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":"a6fc760e3ec410a3106c93ca37a64a8a7522e56af0d4a83665daf477c124ab2b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-12-20T20:18:04Z","title_canon_sha256":"150be316bff3b5564ccd5665fd6ac1a835ba9eef758345c2327d89ce4a004cf1"},"schema_version":"1.0","source":{"id":"1312.6096","kind":"arxiv","version":1}},"canonical_sha256":"45f56eaf81b4d6b50776d74ba23f8b0c4dc1e28a644d60fefcc70f5ff3aa1e5a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"45f56eaf81b4d6b50776d74ba23f8b0c4dc1e28a644d60fefcc70f5ff3aa1e5a","first_computed_at":"2026-05-18T03:04:07.152209Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:04:07.152209Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FShheni0UykTNWGDM6vG2RxLuYScCHj5kFvYiYMeP6du9qxRGuYgdlm9WF9zDlMSEkU368ooXwMFGOop5L68BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:04:07.152661Z","signed_message":"canonical_sha256_bytes"},"source_id":"1312.6096","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3f41fe58f0f0762f337cd89040876a48890e170932fea4058a39f5d7e60cb98f","sha256:52915f4799c549227bffe616b907880635a75b789493584eddd89caff8a0e10a"],"state_sha256":"9729c9cfea5a4d0561a6c1a86e127aeae5c8e354ac5d880aeab7fd56a22a6cae"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AJtkE+p6m1KDqlbFaQtquUyTMn9CjjcWkS5BcADu7YQS5e86eWAX6en48faHZqkDmX0a5avujIslTqx7EkZyDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T03:16:24.376240Z","bundle_sha256":"30004ac8527febd83cde0a22e10133298a562cd2692803b2cb6625c48266d3ae"}}