{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:YUKGILV7YCOWKPMNVYDUK6INFN","short_pith_number":"pith:YUKGILV7","canonical_record":{"source":{"id":"1805.00660","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-02T07:58:55Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"3782fc522157d1dcbf4481adf78c103d85bac73af04b18ead47578921e6ab0e4","abstract_canon_sha256":"717615e735cf058d87ab2e71ccb0f0793adcb26ceb8cfeb9a9dc4ef8ada92d00"},"schema_version":"1.0"},"canonical_sha256":"c514642ebfc09d653d8dae0745790d2b7e660e428837b6054b76f1ab759e9626","source":{"kind":"arxiv","id":"1805.00660","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.00660","created_at":"2026-05-18T00:16:58Z"},{"alias_kind":"arxiv_version","alias_value":"1805.00660v1","created_at":"2026-05-18T00:16:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.00660","created_at":"2026-05-18T00:16:58Z"},{"alias_kind":"pith_short_12","alias_value":"YUKGILV7YCOW","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"YUKGILV7YCOWKPMN","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"YUKGILV7","created_at":"2026-05-18T12:33:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:YUKGILV7YCOWKPMNVYDUK6INFN","target":"record","payload":{"canonical_record":{"source":{"id":"1805.00660","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-02T07:58:55Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"3782fc522157d1dcbf4481adf78c103d85bac73af04b18ead47578921e6ab0e4","abstract_canon_sha256":"717615e735cf058d87ab2e71ccb0f0793adcb26ceb8cfeb9a9dc4ef8ada92d00"},"schema_version":"1.0"},"canonical_sha256":"c514642ebfc09d653d8dae0745790d2b7e660e428837b6054b76f1ab759e9626","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:16:58.265962Z","signature_b64":"4HUURy2y+R3tRmvJNQiiDgdjWjRw7TpDJZCKouD1weHPKh0Lwe0PxDBlq76rvmAWuh5YFLm2ywgHHSUDamM8Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c514642ebfc09d653d8dae0745790d2b7e660e428837b6054b76f1ab759e9626","last_reissued_at":"2026-05-18T00:16:58.265286Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:16:58.265286Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1805.00660","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-18T00:16:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dg5DAC+PYZtlFeWJ+v3fiCHu8Tzw+83kwUicTvHUmBMGjUDEtXXRW/I9Pj1LWf0mBvoAazm1FHVluNYGH6EyCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T08:38:27.248341Z"},"content_sha256":"3ea9b6ce975ae122a01194342c4a2e46d0d122767c9ad3ab70dbfb617d68b2fe","schema_version":"1.0","event_id":"sha256:3ea9b6ce975ae122a01194342c4a2e46d0d122767c9ad3ab70dbfb617d68b2fe"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:YUKGILV7YCOWKPMNVYDUK6INFN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"David Pearce, Jorge Fandinno, Luis Fari\\~nas del Cerro, Pedro Cabalar","submitted_at":"2018-05-02T07:58:55Z","abstract_excerpt":"In this paper, we propose a variant of Answer Set Programming (ASP) with evaluable functions that extends their application to sets of objects, something that allows a fully logical treatment of aggregates. Formally, we start from the syntax of First Order Logic with equality and the semantics of Quantified Equilibrium Logic with evaluable functions (QELF). Then, we proceed to incorporate a new kind of logical term, intensional set (a construct commonly used to denote the set of objects characterised by a given formula), and to extend QELF semantics for this new type of expression. In our exte"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.00660","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-18T00:16:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u1ArzXjTvF4A+oucX9P7yoUrI9beLHOQv+llUsDGnlrBYF7SzNOvP77dpa+6XefEjGvJ5XJzUxK2/8/mEVfpCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T08:38:27.248965Z"},"content_sha256":"b6c9e2cd6d17966356ae467e3c4c4a5c19166114df8bcc32c50a1093c150a573","schema_version":"1.0","event_id":"sha256:b6c9e2cd6d17966356ae467e3c4c4a5c19166114df8bcc32c50a1093c150a573"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YUKGILV7YCOWKPMNVYDUK6INFN/bundle.json","state_url":"https://pith.science/pith/YUKGILV7YCOWKPMNVYDUK6INFN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YUKGILV7YCOWKPMNVYDUK6INFN/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-26T08:38:27Z","links":{"resolver":"https://pith.science/pith/YUKGILV7YCOWKPMNVYDUK6INFN","bundle":"https://pith.science/pith/YUKGILV7YCOWKPMNVYDUK6INFN/bundle.json","state":"https://pith.science/pith/YUKGILV7YCOWKPMNVYDUK6INFN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YUKGILV7YCOWKPMNVYDUK6INFN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:YUKGILV7YCOWKPMNVYDUK6INFN","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":"717615e735cf058d87ab2e71ccb0f0793adcb26ceb8cfeb9a9dc4ef8ada92d00","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-02T07:58:55Z","title_canon_sha256":"3782fc522157d1dcbf4481adf78c103d85bac73af04b18ead47578921e6ab0e4"},"schema_version":"1.0","source":{"id":"1805.00660","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1805.00660","created_at":"2026-05-18T00:16:58Z"},{"alias_kind":"arxiv_version","alias_value":"1805.00660v1","created_at":"2026-05-18T00:16:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.00660","created_at":"2026-05-18T00:16:58Z"},{"alias_kind":"pith_short_12","alias_value":"YUKGILV7YCOW","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"YUKGILV7YCOWKPMN","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"YUKGILV7","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:b6c9e2cd6d17966356ae467e3c4c4a5c19166114df8bcc32c50a1093c150a573","target":"graph","created_at":"2026-05-18T00:16:58Z","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 this paper, we propose a variant of Answer Set Programming (ASP) with evaluable functions that extends their application to sets of objects, something that allows a fully logical treatment of aggregates. Formally, we start from the syntax of First Order Logic with equality and the semantics of Quantified Equilibrium Logic with evaluable functions (QELF). Then, we proceed to incorporate a new kind of logical term, intensional set (a construct commonly used to denote the set of objects characterised by a given formula), and to extend QELF semantics for this new type of expression. In our exte","authors_text":"David Pearce, Jorge Fandinno, Luis Fari\\~nas del Cerro, Pedro Cabalar","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-02T07:58:55Z","title":"Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.00660","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:3ea9b6ce975ae122a01194342c4a2e46d0d122767c9ad3ab70dbfb617d68b2fe","target":"record","created_at":"2026-05-18T00:16:58Z","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":"717615e735cf058d87ab2e71ccb0f0793adcb26ceb8cfeb9a9dc4ef8ada92d00","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-05-02T07:58:55Z","title_canon_sha256":"3782fc522157d1dcbf4481adf78c103d85bac73af04b18ead47578921e6ab0e4"},"schema_version":"1.0","source":{"id":"1805.00660","kind":"arxiv","version":1}},"canonical_sha256":"c514642ebfc09d653d8dae0745790d2b7e660e428837b6054b76f1ab759e9626","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c514642ebfc09d653d8dae0745790d2b7e660e428837b6054b76f1ab759e9626","first_computed_at":"2026-05-18T00:16:58.265286Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:16:58.265286Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4HUURy2y+R3tRmvJNQiiDgdjWjRw7TpDJZCKouD1weHPKh0Lwe0PxDBlq76rvmAWuh5YFLm2ywgHHSUDamM8Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:16:58.265962Z","signed_message":"canonical_sha256_bytes"},"source_id":"1805.00660","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3ea9b6ce975ae122a01194342c4a2e46d0d122767c9ad3ab70dbfb617d68b2fe","sha256:b6c9e2cd6d17966356ae467e3c4c4a5c19166114df8bcc32c50a1093c150a573"],"state_sha256":"d592cc33e6033c880dfba3965f7271456f2ecfe01f18f3a5615d1fcd1b5490dd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"iSdCeyMvKLWACURpjZh4SsdF5MJ+t61E/8dXlOHegIAQgIzYTRWg77zgmfWZp1E0gTk6mvYyUPYnTKutF/5WCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T08:38:27.252179Z","bundle_sha256":"f8fd63c95613b9d855e2b02046dfdbef6306b409c8cc691c88eb1ea4636027dd"}}