{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:IX2W5L4BWTLLKB3W25F2EP4LBR","short_pith_number":"pith:IX2W5L4B","schema_version":"1.0","canonical_sha256":"45f56eaf81b4d6b50776d74ba23f8b0c4dc1e28a644d60fefcc70f5ff3aa1e5a","source":{"kind":"arxiv","id":"1312.6096","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1312.6096","created_at":"2026-05-18T03:04:07.152273+00:00"},{"alias_kind":"arxiv_version","alias_value":"1312.6096v1","created_at":"2026-05-18T03:04:07.152273+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.6096","created_at":"2026-05-18T03:04:07.152273+00:00"},{"alias_kind":"pith_short_12","alias_value":"IX2W5L4BWTLL","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_16","alias_value":"IX2W5L4BWTLLKB3W","created_at":"2026-05-18T12:27:49.015174+00:00"},{"alias_kind":"pith_short_8","alias_value":"IX2W5L4B","created_at":"2026-05-18T12:27:49.015174+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/IX2W5L4BWTLLKB3W25F2EP4LBR","json":"https://pith.science/pith/IX2W5L4BWTLLKB3W25F2EP4LBR.json","graph_json":"https://pith.science/api/pith-number/IX2W5L4BWTLLKB3W25F2EP4LBR/graph.json","events_json":"https://pith.science/api/pith-number/IX2W5L4BWTLLKB3W25F2EP4LBR/events.json","paper":"https://pith.science/paper/IX2W5L4B"},"agent_actions":{"view_html":"https://pith.science/pith/IX2W5L4BWTLLKB3W25F2EP4LBR","download_json":"https://pith.science/pith/IX2W5L4BWTLLKB3W25F2EP4LBR.json","view_paper":"https://pith.science/paper/IX2W5L4B","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1312.6096&json=true","fetch_graph":"https://pith.science/api/pith-number/IX2W5L4BWTLLKB3W25F2EP4LBR/graph.json","fetch_events":"https://pith.science/api/pith-number/IX2W5L4BWTLLKB3W25F2EP4LBR/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/IX2W5L4BWTLLKB3W25F2EP4LBR/action/timestamp_anchor","attest_storage":"https://pith.science/pith/IX2W5L4BWTLLKB3W25F2EP4LBR/action/storage_attestation","attest_author":"https://pith.science/pith/IX2W5L4BWTLLKB3W25F2EP4LBR/action/author_attestation","sign_citation":"https://pith.science/pith/IX2W5L4BWTLLKB3W25F2EP4LBR/action/citation_signature","submit_replication":"https://pith.science/pith/IX2W5L4BWTLLKB3W25F2EP4LBR/action/replication_record"}},"created_at":"2026-05-18T03:04:07.152273+00:00","updated_at":"2026-05-18T03:04:07.152273+00:00"}