{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:DIXRQD63HILLWUAZFLKE2456D5","short_pith_number":"pith:DIXRQD63","canonical_record":{"source":{"id":"1804.11162","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-30T12:50:28Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"0474e35e808b3fd5dd0dd7dc51ce4a1b96cd2175d1ffd2ceaa114f613086fb61","abstract_canon_sha256":"ea73783628a86f7573e157dea1117dd574db9f24d72e0ca11a5f8dd930ccb361"},"schema_version":"1.0"},"canonical_sha256":"1a2f180fdb3a16bb50192ad44d73be1f7b1ba8922029ea7ac39a6dc5f677ce84","source":{"kind":"arxiv","id":"1804.11162","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.11162","created_at":"2026-05-18T00:14:33Z"},{"alias_kind":"arxiv_version","alias_value":"1804.11162v2","created_at":"2026-05-18T00:14:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.11162","created_at":"2026-05-18T00:14:33Z"},{"alias_kind":"pith_short_12","alias_value":"DIXRQD63HILL","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DIXRQD63HILLWUAZ","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DIXRQD63","created_at":"2026-05-18T12:32:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:DIXRQD63HILLWUAZFLKE2456D5","target":"record","payload":{"canonical_record":{"source":{"id":"1804.11162","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-30T12:50:28Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"0474e35e808b3fd5dd0dd7dc51ce4a1b96cd2175d1ffd2ceaa114f613086fb61","abstract_canon_sha256":"ea73783628a86f7573e157dea1117dd574db9f24d72e0ca11a5f8dd930ccb361"},"schema_version":"1.0"},"canonical_sha256":"1a2f180fdb3a16bb50192ad44d73be1f7b1ba8922029ea7ac39a6dc5f677ce84","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:14:33.794562Z","signature_b64":"iy4MOBfzdSfiQ24CAPeLmjYzbgMXP83bKsnhL6FGQh+6sbau/TpT1mWhA+UoGEh4NyrJAYNvZ2YmcaL1xJgvDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1a2f180fdb3a16bb50192ad44d73be1f7b1ba8922029ea7ac39a6dc5f677ce84","last_reissued_at":"2026-05-18T00:14:33.794000Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:14:33.794000Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.11162","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-18T00:14:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"74RHk2zXWULiy8TclUqznfsNveT5e+JP037SKskvlfXWFFFTWq9EaWf2P1mTR2STtErbEFAbE7dCxQGvtt4MBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T22:17:10.713049Z"},"content_sha256":"dd0413c620da017ca24bff3d83783c1c42fd99858ebcc0f8f847c1ebf133574a","schema_version":"1.0","event_id":"sha256:dd0413c620da017ca24bff3d83783c1c42fd99858ebcc0f8f847c1ebf133574a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:DIXRQD63HILLWUAZFLKE2456D5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Constraint Answer Set Programming without Grounding","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Elmer Salazar, Gopal Gupta, Joaqu\\'in Arias, Kyle Marple, Manuel Carro","submitted_at":"2018-04-30T12:50:28Z","abstract_excerpt":"Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, removes variables and the links among them, and also causes a combinatorial explosion in the size of the program. Several methods to overcome this issue have been devised: restricting the constraint domains (e.g., discrete instead of dense), or the type (or number) of models that can be returned. In this paper we propose to incorporate constraints into s(ASP), a goal-directed, top-down execution model which implements ASP "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.11162","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-18T00:14:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"02FAk+MOjL5ylwOa8HKzG5jzEK3cd1Cr5EsS4eoGV6gcJ48Mfk/UWTsJNCoPiLCTNiWguMEIZ3kXifF2G7OtBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T22:17:10.713746Z"},"content_sha256":"feebb95149703be88162b63dddc09493900401a4e0e96a83f6f13b99a803e6e7","schema_version":"1.0","event_id":"sha256:feebb95149703be88162b63dddc09493900401a4e0e96a83f6f13b99a803e6e7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DIXRQD63HILLWUAZFLKE2456D5/bundle.json","state_url":"https://pith.science/pith/DIXRQD63HILLWUAZFLKE2456D5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DIXRQD63HILLWUAZFLKE2456D5/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-28T22:17:10Z","links":{"resolver":"https://pith.science/pith/DIXRQD63HILLWUAZFLKE2456D5","bundle":"https://pith.science/pith/DIXRQD63HILLWUAZFLKE2456D5/bundle.json","state":"https://pith.science/pith/DIXRQD63HILLWUAZFLKE2456D5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DIXRQD63HILLWUAZFLKE2456D5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:DIXRQD63HILLWUAZFLKE2456D5","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":"ea73783628a86f7573e157dea1117dd574db9f24d72e0ca11a5f8dd930ccb361","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-30T12:50:28Z","title_canon_sha256":"0474e35e808b3fd5dd0dd7dc51ce4a1b96cd2175d1ffd2ceaa114f613086fb61"},"schema_version":"1.0","source":{"id":"1804.11162","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.11162","created_at":"2026-05-18T00:14:33Z"},{"alias_kind":"arxiv_version","alias_value":"1804.11162v2","created_at":"2026-05-18T00:14:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.11162","created_at":"2026-05-18T00:14:33Z"},{"alias_kind":"pith_short_12","alias_value":"DIXRQD63HILL","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_16","alias_value":"DIXRQD63HILLWUAZ","created_at":"2026-05-18T12:32:19Z"},{"alias_kind":"pith_short_8","alias_value":"DIXRQD63","created_at":"2026-05-18T12:32:19Z"}],"graph_snapshots":[{"event_id":"sha256:feebb95149703be88162b63dddc09493900401a4e0e96a83f6f13b99a803e6e7","target":"graph","created_at":"2026-05-18T00:14:33Z","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":"Extending ASP with constraints (CASP) enhances its expressiveness and performance. This extension is not straightforward as the grounding phase, present in most ASP systems, removes variables and the links among them, and also causes a combinatorial explosion in the size of the program. Several methods to overcome this issue have been devised: restricting the constraint domains (e.g., discrete instead of dense), or the type (or number) of models that can be returned. In this paper we propose to incorporate constraints into s(ASP), a goal-directed, top-down execution model which implements ASP ","authors_text":"Elmer Salazar, Gopal Gupta, Joaqu\\'in Arias, Kyle Marple, Manuel Carro","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-30T12:50:28Z","title":"Constraint Answer Set Programming without Grounding"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.11162","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:dd0413c620da017ca24bff3d83783c1c42fd99858ebcc0f8f847c1ebf133574a","target":"record","created_at":"2026-05-18T00:14:33Z","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":"ea73783628a86f7573e157dea1117dd574db9f24d72e0ca11a5f8dd930ccb361","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-30T12:50:28Z","title_canon_sha256":"0474e35e808b3fd5dd0dd7dc51ce4a1b96cd2175d1ffd2ceaa114f613086fb61"},"schema_version":"1.0","source":{"id":"1804.11162","kind":"arxiv","version":2}},"canonical_sha256":"1a2f180fdb3a16bb50192ad44d73be1f7b1ba8922029ea7ac39a6dc5f677ce84","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1a2f180fdb3a16bb50192ad44d73be1f7b1ba8922029ea7ac39a6dc5f677ce84","first_computed_at":"2026-05-18T00:14:33.794000Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:14:33.794000Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iy4MOBfzdSfiQ24CAPeLmjYzbgMXP83bKsnhL6FGQh+6sbau/TpT1mWhA+UoGEh4NyrJAYNvZ2YmcaL1xJgvDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:14:33.794562Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.11162","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:dd0413c620da017ca24bff3d83783c1c42fd99858ebcc0f8f847c1ebf133574a","sha256:feebb95149703be88162b63dddc09493900401a4e0e96a83f6f13b99a803e6e7"],"state_sha256":"1cfb1f6d8b183b693750c69a157f932343e5c8591a5991467ebb73061a3ca1cf"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lMWB9fJUlioNqImtkrvro5zDgP8mMZ0kdxugYZtbzJtomtP/OtZX7bgN/grZxuzSYJlmHZ4TeFhRjYkl9GY/CA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T22:17:10.716839Z","bundle_sha256":"7f7848dc419db702f6757af749d1fde0c7b35dae7ce76bd683179083bad9b627"}}