{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:JZGUVIB5TVIIKE7J5MZZ5HGKUX","short_pith_number":"pith:JZGUVIB5","canonical_record":{"source":{"id":"1903.12510","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-29T13:22:33Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"3046655ec9a8d89b7355f7046276bc469ab66694b601ac49054d673e25461325","abstract_canon_sha256":"2d54debc4e21af37b9cff8f2636c18289fcbbe407e8e64d184897467ab37b9c9"},"schema_version":"1.0"},"canonical_sha256":"4e4d4aa03d9d508513e9eb339e9ccaa5cac71d39c4879179dc2d613ef523cc80","source":{"kind":"arxiv","id":"1903.12510","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.12510","created_at":"2026-05-17T23:40:11Z"},{"alias_kind":"arxiv_version","alias_value":"1903.12510v2","created_at":"2026-05-17T23:40:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.12510","created_at":"2026-05-17T23:40:11Z"},{"alias_kind":"pith_short_12","alias_value":"JZGUVIB5TVII","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"JZGUVIB5TVIIKE7J","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"JZGUVIB5","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:JZGUVIB5TVIIKE7J5MZZ5HGKUX","target":"record","payload":{"canonical_record":{"source":{"id":"1903.12510","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-29T13:22:33Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"3046655ec9a8d89b7355f7046276bc469ab66694b601ac49054d673e25461325","abstract_canon_sha256":"2d54debc4e21af37b9cff8f2636c18289fcbbe407e8e64d184897467ab37b9c9"},"schema_version":"1.0"},"canonical_sha256":"4e4d4aa03d9d508513e9eb339e9ccaa5cac71d39c4879179dc2d613ef523cc80","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:11.063533Z","signature_b64":"FjcVvrm0hr17sCBbILg5vK+5imdTDr1FUTexAzDdI/9ZBo9NXDpcmj1CZ3XCXXL7BFFqEMGOCdLyoE134q6bBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4e4d4aa03d9d508513e9eb339e9ccaa5cac71d39c4879179dc2d613ef523cc80","last_reissued_at":"2026-05-17T23:40:11.062786Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:11.062786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.12510","source_version":2,"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-17T23:40:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ir7M80Qi6p9mOyUCPVGxw/Ds5AKmddGGlADljnnvEc/937R7wZ9SsdCfKRX4aFQ02BClbJioVAzUIqQ7xhfKDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T22:09:59.137339Z"},"content_sha256":"97b3513e1e70c222dabd10427395bc3383932f5988d8c5e3f6b04b43b4b3d682","schema_version":"1.0","event_id":"sha256:97b3513e1e70c222dabd10427395bc3383932f5988d8c5e3f6b04b43b4b3d682"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:JZGUVIB5TVIIKE7J5MZZ5HGKUX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Antonius Weinzierl, Gerhard Friedrich, Richard Taupe","submitted_at":"2019-03-29T13:22:33Z","abstract_excerpt":"The traditional ground-and-solve approach to Answer Set Programming (ASP) suffers from the grounding bottleneck, which makes large-scale problem instances unsolvable. Lazy grounding is an alternative approach that interleaves grounding with solving and thus uses space more efficiently. The limited view on the search space in lazy grounding poses unique challenges, however, and can have adverse effects on solving performance. In this paper we present a novel characterization of degrees of laziness in grounding for ASP, i.e. of compromises between lazily grounding as little as possible and the t"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.12510","kind":"arxiv","version":2},"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-17T23:40:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AAF88kuRXSANdiHCuMHmFAg9/Pd1H6/uQwNq7sHNzT3h+6Nh8Esx/W+PuzRKroWy3HLbcOpbVm1zHjoKY310Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T22:09:59.138075Z"},"content_sha256":"aaf706e9414db8feb750b47c0181a38c3bde91fd0956bc28896baa14c952dc9a","schema_version":"1.0","event_id":"sha256:aaf706e9414db8feb750b47c0181a38c3bde91fd0956bc28896baa14c952dc9a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JZGUVIB5TVIIKE7J5MZZ5HGKUX/bundle.json","state_url":"https://pith.science/pith/JZGUVIB5TVIIKE7J5MZZ5HGKUX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JZGUVIB5TVIIKE7J5MZZ5HGKUX/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-11T22:09:59Z","links":{"resolver":"https://pith.science/pith/JZGUVIB5TVIIKE7J5MZZ5HGKUX","bundle":"https://pith.science/pith/JZGUVIB5TVIIKE7J5MZZ5HGKUX/bundle.json","state":"https://pith.science/pith/JZGUVIB5TVIIKE7J5MZZ5HGKUX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JZGUVIB5TVIIKE7J5MZZ5HGKUX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:JZGUVIB5TVIIKE7J5MZZ5HGKUX","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":"2d54debc4e21af37b9cff8f2636c18289fcbbe407e8e64d184897467ab37b9c9","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-29T13:22:33Z","title_canon_sha256":"3046655ec9a8d89b7355f7046276bc469ab66694b601ac49054d673e25461325"},"schema_version":"1.0","source":{"id":"1903.12510","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.12510","created_at":"2026-05-17T23:40:11Z"},{"alias_kind":"arxiv_version","alias_value":"1903.12510v2","created_at":"2026-05-17T23:40:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.12510","created_at":"2026-05-17T23:40:11Z"},{"alias_kind":"pith_short_12","alias_value":"JZGUVIB5TVII","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"JZGUVIB5TVIIKE7J","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"JZGUVIB5","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:aaf706e9414db8feb750b47c0181a38c3bde91fd0956bc28896baa14c952dc9a","target":"graph","created_at":"2026-05-17T23:40:11Z","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":"The traditional ground-and-solve approach to Answer Set Programming (ASP) suffers from the grounding bottleneck, which makes large-scale problem instances unsolvable. Lazy grounding is an alternative approach that interleaves grounding with solving and thus uses space more efficiently. The limited view on the search space in lazy grounding poses unique challenges, however, and can have adverse effects on solving performance. In this paper we present a novel characterization of degrees of laziness in grounding for ASP, i.e. of compromises between lazily grounding as little as possible and the t","authors_text":"Antonius Weinzierl, Gerhard Friedrich, Richard Taupe","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-29T13:22:33Z","title":"Degrees of Laziness in Grounding: Effects of Lazy-Grounding Strategies on ASP Solving"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.12510","kind":"arxiv","version":2},"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:97b3513e1e70c222dabd10427395bc3383932f5988d8c5e3f6b04b43b4b3d682","target":"record","created_at":"2026-05-17T23:40:11Z","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":"2d54debc4e21af37b9cff8f2636c18289fcbbe407e8e64d184897467ab37b9c9","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-29T13:22:33Z","title_canon_sha256":"3046655ec9a8d89b7355f7046276bc469ab66694b601ac49054d673e25461325"},"schema_version":"1.0","source":{"id":"1903.12510","kind":"arxiv","version":2}},"canonical_sha256":"4e4d4aa03d9d508513e9eb339e9ccaa5cac71d39c4879179dc2d613ef523cc80","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4e4d4aa03d9d508513e9eb339e9ccaa5cac71d39c4879179dc2d613ef523cc80","first_computed_at":"2026-05-17T23:40:11.062786Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:11.062786Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"FjcVvrm0hr17sCBbILg5vK+5imdTDr1FUTexAzDdI/9ZBo9NXDpcmj1CZ3XCXXL7BFFqEMGOCdLyoE134q6bBA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:11.063533Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.12510","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:97b3513e1e70c222dabd10427395bc3383932f5988d8c5e3f6b04b43b4b3d682","sha256:aaf706e9414db8feb750b47c0181a38c3bde91fd0956bc28896baa14c952dc9a"],"state_sha256":"c48b3382d6a592b92745925a87e80c8b3cb42d3e7a728cf09e9584b5ec25bbeb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LnWgZfC4d3BEIbkhG97cZi6P/6ocw7d0k77iqUsRQrCMKRhZQYzTY1TgqfcLIEdy+yzVuK9NG/7UPp7LMwdQAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T22:09:59.142273Z","bundle_sha256":"34f2f610b98ac347fb89f4c06fba817689b4d2e7eaf9d5ab543dee548c93934d"}}