{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2004:EKXBU3JEFWWOQLCSPDQYGQGL5K","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":"f6bd6789e659317ecef6502e65441d5c1c81a60462350ed3fe7c719c8aa59ffe","cross_cats_sorted":[],"license":"","primary_cat":"cs.AI","submitted_at":"2004-10-06T15:01:50Z","title_canon_sha256":"8a512cb994c51892d8fc674d9dd9ba8b8eaebbd86f0621d6440da025fa28df39"},"schema_version":"1.0","source":{"id":"cs/0410014","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0410014","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0410014v1","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0410014","created_at":"2026-05-18T01:06:49Z"},{"alias_kind":"pith_short_12","alias_value":"EKXBU3JEFWWO","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_16","alias_value":"EKXBU3JEFWWOQLCS","created_at":"2026-05-18T12:25:52Z"},{"alias_kind":"pith_short_8","alias_value":"EKXBU3JE","created_at":"2026-05-18T12:25:52Z"}],"graph_snapshots":[{"event_id":"sha256:689a94991be777b2b87008370723163f7cde936c6dd0205bae4c21ba49b99029","target":"graph","created_at":"2026-05-18T01:06:49Z","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":"Normal forms for logic programs under stable/answer set semantics are introduced. We argue that these forms can simplify the study of program properties, mainly consistency. The first normal form, called the {\\em kernel} of the program, is useful for studying existence and number of answer sets. A kernel program is composed of the atoms which are undefined in the Well-founded semantics, which are those that directly affect the existence of answer sets. The body of rules is composed of negative literals only. Thus, the kernel form tends to be significantly more compact than other formulations. ","authors_text":"Alessandro Provetti, Stefania Costantini","cross_cats":[],"headline":"","license":"","primary_cat":"cs.AI","submitted_at":"2004-10-06T15:01:50Z","title":"Normal forms for Answer Sets Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0410014","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:de77e14347ee5aaf100e3aedcc2e599b8d768ca98ebc665b47c253fd3fbab0bb","target":"record","created_at":"2026-05-18T01:06:49Z","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":"f6bd6789e659317ecef6502e65441d5c1c81a60462350ed3fe7c719c8aa59ffe","cross_cats_sorted":[],"license":"","primary_cat":"cs.AI","submitted_at":"2004-10-06T15:01:50Z","title_canon_sha256":"8a512cb994c51892d8fc674d9dd9ba8b8eaebbd86f0621d6440da025fa28df39"},"schema_version":"1.0","source":{"id":"cs/0410014","kind":"arxiv","version":1}},"canonical_sha256":"22ae1a6d242dace82c5278e18340cbea984abe75c78daa29038f3e2fc8a57b66","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"22ae1a6d242dace82c5278e18340cbea984abe75c78daa29038f3e2fc8a57b66","first_computed_at":"2026-05-18T01:06:49.231322Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:06:49.231322Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"D+BrQWcGgJgkf1gnaiaHa46lPyCJ3p42uDsJLJu9Xss4y1TLYgMUyMcfdMImB6JcHY4EgW/oUN+esqaAQMVMDw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:06:49.232058Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0410014","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:de77e14347ee5aaf100e3aedcc2e599b8d768ca98ebc665b47c253fd3fbab0bb","sha256:689a94991be777b2b87008370723163f7cde936c6dd0205bae4c21ba49b99029"],"state_sha256":"2b5d8fcbe00743cf2502c65df45dfc839a9c6c487eda1ea5ea6d88798fbf99cc"}