{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:MUM6O7HXIJMCS2KOBQMOJ5KUCD","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":"753c47faf8849f6b344b16036497f73859f0b010200585ace5305224596a7e69","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-14T05:06:55Z","title_canon_sha256":"fd4926f2fba6bed7f3e04b03639b54a2a6846decf408cf0ba66b5fbd8646dfda"},"schema_version":"1.0","source":{"id":"1405.3362","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.3362","created_at":"2026-05-18T02:51:56Z"},{"alias_kind":"arxiv_version","alias_value":"1405.3362v1","created_at":"2026-05-18T02:51:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.3362","created_at":"2026-05-18T02:51:56Z"},{"alias_kind":"pith_short_12","alias_value":"MUM6O7HXIJMC","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_16","alias_value":"MUM6O7HXIJMCS2KO","created_at":"2026-05-18T12:28:38Z"},{"alias_kind":"pith_short_8","alias_value":"MUM6O7HX","created_at":"2026-05-18T12:28:38Z"}],"graph_snapshots":[{"event_id":"sha256:1dc9a0398b0580b60b6b7f6aad33d4df7971cf5a0c0f5eceb2f00ed1c0606009","target":"graph","created_at":"2026-05-18T02:51:56Z","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":"To appear in Theory and Practice of Logic Programming (TPLP)\n  Bound Founded Answer Set Programming (BFASP) is an extension of Answer Set Programming (ASP) that extends stable model semantics to numeric variables. While the theory of BFASP is defined on ground rules, in practice BFASP programs are written as complex non-ground expressions. Flattening of BFASP is a technique used to simplify arbitrary expressions of the language to a small and well defined set of primitive expressions. In this paper, we first show how we can flatten arbitrary BFASP rule expressions, to give equivalent BFASP pro","authors_text":"Geoffrey Chu, Peter James Stuckey, Rehan Abdul Aziz","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-14T05:06:55Z","title":"Grounding Bound Founded Answer Set Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.3362","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:c4292b715b7cb7d0f2bcdbf1f5170ef2e5da5fdfa13ce10caa2c80dd04253243","target":"record","created_at":"2026-05-18T02:51:56Z","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":"753c47faf8849f6b344b16036497f73859f0b010200585ace5305224596a7e69","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2014-05-14T05:06:55Z","title_canon_sha256":"fd4926f2fba6bed7f3e04b03639b54a2a6846decf408cf0ba66b5fbd8646dfda"},"schema_version":"1.0","source":{"id":"1405.3362","kind":"arxiv","version":1}},"canonical_sha256":"6519e77cf7425829694e0c18e4f55410e49ed8711878b09c61e4c7a2ab4996a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6519e77cf7425829694e0c18e4f55410e49ed8711878b09c61e4c7a2ab4996a5","first_computed_at":"2026-05-18T02:51:56.256536Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:51:56.256536Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eHV3g+zEx180xLQk2FmGLvoGM9WHOTs/MOMr2QVlc14o+8sw2C4zsD7sSkN9rt4kDhGpuB3AqEuHwXrnT+AkBA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:51:56.256966Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.3362","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c4292b715b7cb7d0f2bcdbf1f5170ef2e5da5fdfa13ce10caa2c80dd04253243","sha256:1dc9a0398b0580b60b6b7f6aad33d4df7971cf5a0c0f5eceb2f00ed1c0606009"],"state_sha256":"071d080ac68a8d8c4dbf4913fb803f7e0a38f5b7f1a1f7b47f62135f8b79dcf8"}