{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:UG3NCIZVFUWJOVKNCZJPH3GQMG","short_pith_number":"pith:UG3NCIZV","canonical_record":{"source":{"id":"1603.03884","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-03-12T10:22:13Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"dcbc02546b78366636306f3f89638afc5535e54ce00ac3702aea788557f0fac1","abstract_canon_sha256":"cbfde8aab81ddf063464dc367467eeeb7af8cfe16bf26d47fc5c3c6b13482748"},"schema_version":"1.0"},"canonical_sha256":"a1b6d123352d2c97554d1652f3ecd0618ebdc6aa693747356b6199f2a71f9345","source":{"kind":"arxiv","id":"1603.03884","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.03884","created_at":"2026-05-18T01:19:10Z"},{"alias_kind":"arxiv_version","alias_value":"1603.03884v1","created_at":"2026-05-18T01:19:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.03884","created_at":"2026-05-18T01:19:10Z"},{"alias_kind":"pith_short_12","alias_value":"UG3NCIZVFUWJ","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"UG3NCIZVFUWJOVKN","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"UG3NCIZV","created_at":"2026-05-18T12:30:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:UG3NCIZVFUWJOVKNCZJPH3GQMG","target":"record","payload":{"canonical_record":{"source":{"id":"1603.03884","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-03-12T10:22:13Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"dcbc02546b78366636306f3f89638afc5535e54ce00ac3702aea788557f0fac1","abstract_canon_sha256":"cbfde8aab81ddf063464dc367467eeeb7af8cfe16bf26d47fc5c3c6b13482748"},"schema_version":"1.0"},"canonical_sha256":"a1b6d123352d2c97554d1652f3ecd0618ebdc6aa693747356b6199f2a71f9345","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:19:10.209337Z","signature_b64":"80fib12YXQm+1BwYgWZSKj2TRBrx4QvcGDyVTNXVB7+BPAc9tlNiuspr214FlXewdnmn1ribMJW5xmqAruEjCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a1b6d123352d2c97554d1652f3ecd0618ebdc6aa693747356b6199f2a71f9345","last_reissued_at":"2026-05-18T01:19:10.208687Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:19:10.208687Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.03884","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-18T01:19:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rFzE69jtmrPdfIl/ZEa98i008r9adLrU4JzoJZk6zYxOHkb57Sz+mpgPJ1KL7j7Dhge4DMUR69Lqs3JLcuL7DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T04:40:13.579008Z"},"content_sha256":"5b466210f8ec452e6b56b12f9e4c5599593af96aad0c3738021387d03b866bfd","schema_version":"1.0","event_id":"sha256:5b466210f8ec452e6b56b12f9e4c5599593af96aad0c3738021387d03b866bfd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:UG3NCIZVFUWJOVKNCZJPH3GQMG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Grounding Recursive Aggregates: Preliminary Report","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.AI","authors_text":"Martin Gebser, Roland Kaminski, Torsten Schaub","submitted_at":"2016-03-12T10:22:13Z","abstract_excerpt":"Problem solving in Answer Set Programming consists of two steps, a first grounding phase, systematically replacing all variables by terms, and a second solving phase computing the stable models of the obtained ground program. An intricate part of both phases is the treatment of aggregates, which are popular language constructs that allow for expressing properties over sets. In this paper, we elaborate upon the treatment of aggregates during grounding in Gringo series 4. Consequently, our approach is applicable to grounding based on semi-naive database evaluation techniques. In particular, we p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.03884","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-18T01:19:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JZy5I/cFXkI7wFEqZ6AK7inth/J5jlc/nAat5cACIyovky+knkqz+vZRPR3NeGTtXbm6/yYqL0CMfgkeu5lZDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T04:40:13.579382Z"},"content_sha256":"7886b337b6b6b8e70f856fe1e04191195de889842053e24f90c1e81a27699dc8","schema_version":"1.0","event_id":"sha256:7886b337b6b6b8e70f856fe1e04191195de889842053e24f90c1e81a27699dc8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UG3NCIZVFUWJOVKNCZJPH3GQMG/bundle.json","state_url":"https://pith.science/pith/UG3NCIZVFUWJOVKNCZJPH3GQMG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UG3NCIZVFUWJOVKNCZJPH3GQMG/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-06-05T04:40:13Z","links":{"resolver":"https://pith.science/pith/UG3NCIZVFUWJOVKNCZJPH3GQMG","bundle":"https://pith.science/pith/UG3NCIZVFUWJOVKNCZJPH3GQMG/bundle.json","state":"https://pith.science/pith/UG3NCIZVFUWJOVKNCZJPH3GQMG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UG3NCIZVFUWJOVKNCZJPH3GQMG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:UG3NCIZVFUWJOVKNCZJPH3GQMG","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":"cbfde8aab81ddf063464dc367467eeeb7af8cfe16bf26d47fc5c3c6b13482748","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-03-12T10:22:13Z","title_canon_sha256":"dcbc02546b78366636306f3f89638afc5535e54ce00ac3702aea788557f0fac1"},"schema_version":"1.0","source":{"id":"1603.03884","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.03884","created_at":"2026-05-18T01:19:10Z"},{"alias_kind":"arxiv_version","alias_value":"1603.03884v1","created_at":"2026-05-18T01:19:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.03884","created_at":"2026-05-18T01:19:10Z"},{"alias_kind":"pith_short_12","alias_value":"UG3NCIZVFUWJ","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"UG3NCIZVFUWJOVKN","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"UG3NCIZV","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:7886b337b6b6b8e70f856fe1e04191195de889842053e24f90c1e81a27699dc8","target":"graph","created_at":"2026-05-18T01:19:10Z","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":"Problem solving in Answer Set Programming consists of two steps, a first grounding phase, systematically replacing all variables by terms, and a second solving phase computing the stable models of the obtained ground program. An intricate part of both phases is the treatment of aggregates, which are popular language constructs that allow for expressing properties over sets. In this paper, we elaborate upon the treatment of aggregates during grounding in Gringo series 4. Consequently, our approach is applicable to grounding based on semi-naive database evaluation techniques. In particular, we p","authors_text":"Martin Gebser, Roland Kaminski, Torsten Schaub","cross_cats":["cs.DB"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-03-12T10:22:13Z","title":"Grounding Recursive Aggregates: Preliminary Report"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.03884","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:5b466210f8ec452e6b56b12f9e4c5599593af96aad0c3738021387d03b866bfd","target":"record","created_at":"2026-05-18T01:19:10Z","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":"cbfde8aab81ddf063464dc367467eeeb7af8cfe16bf26d47fc5c3c6b13482748","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-03-12T10:22:13Z","title_canon_sha256":"dcbc02546b78366636306f3f89638afc5535e54ce00ac3702aea788557f0fac1"},"schema_version":"1.0","source":{"id":"1603.03884","kind":"arxiv","version":1}},"canonical_sha256":"a1b6d123352d2c97554d1652f3ecd0618ebdc6aa693747356b6199f2a71f9345","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a1b6d123352d2c97554d1652f3ecd0618ebdc6aa693747356b6199f2a71f9345","first_computed_at":"2026-05-18T01:19:10.208687Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:19:10.208687Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"80fib12YXQm+1BwYgWZSKj2TRBrx4QvcGDyVTNXVB7+BPAc9tlNiuspr214FlXewdnmn1ribMJW5xmqAruEjCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:19:10.209337Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.03884","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5b466210f8ec452e6b56b12f9e4c5599593af96aad0c3738021387d03b866bfd","sha256:7886b337b6b6b8e70f856fe1e04191195de889842053e24f90c1e81a27699dc8"],"state_sha256":"f0bf5884a4c04214dad76367fd76755467f15405e41c53219abc19eaaa16e525"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uRx48lzWtLHHShBePXdzigozxNiegGvXIM3MVOkuVPmYbuj+YaOTXwGEBx99KUgp+qPUSEI4GX7xprI8GoLqAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T04:40:13.581688Z","bundle_sha256":"cdc570e446f07a69a96edc890dd47f6ab6b36fb320f1c36aaa945f7b05fc2f68"}}