{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:6IDQ366Y7M3CJFGPZNLHJMICSL","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":"f128d51c80a08b4681e07924b397ec4714ba316a086c3a48396efa2b2419e396","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-07-20T05:28:50Z","title_canon_sha256":"f2be79b5e56af47d27581587ce3ac3fff5e7f68474c2c4e87d012335523e556a"},"schema_version":"1.0","source":{"id":"1507.05388","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.05388","created_at":"2026-05-18T01:36:36Z"},{"alias_kind":"arxiv_version","alias_value":"1507.05388v1","created_at":"2026-05-18T01:36:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.05388","created_at":"2026-05-18T01:36:36Z"},{"alias_kind":"pith_short_12","alias_value":"6IDQ366Y7M3C","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_16","alias_value":"6IDQ366Y7M3CJFGP","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_8","alias_value":"6IDQ366Y","created_at":"2026-05-18T12:29:07Z"}],"graph_snapshots":[{"event_id":"sha256:8f919c06e3fb6840b14db9dd58563d4118145612bc131a842ad6b4734c18727a","target":"graph","created_at":"2026-05-18T01:36:36Z","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":"Disjunctive Answer Set Programming is a powerful declarative programming paradigm with complexity beyond NP. Identifying classes of programs for which the consistency problem is in NP is of interest from the theoretical standpoint and can potentially lead to improvements in the design of answer set programming solvers. One of such classes consists of dual-normal programs, where the number of positive body atoms in proper rules is at most one. Unlike other classes of programs, dual-normal programs have received little attention so far. In this paper we study this class. We relate dual-normal pr","authors_text":"Johannes K. Fichte, Miroslaw Truszczynski, Stefan Woltran","cross_cats":["cs.AI","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-07-20T05:28:50Z","title":"Dual-normal Logic Programs - the Forgotten Class"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.05388","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:980e9849b54b2c1fa0607b91db7eb19332c49a9a3d064fdbfbb2456e7384ca82","target":"record","created_at":"2026-05-18T01:36:36Z","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":"f128d51c80a08b4681e07924b397ec4714ba316a086c3a48396efa2b2419e396","cross_cats_sorted":["cs.AI","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CC","submitted_at":"2015-07-20T05:28:50Z","title_canon_sha256":"f2be79b5e56af47d27581587ce3ac3fff5e7f68474c2c4e87d012335523e556a"},"schema_version":"1.0","source":{"id":"1507.05388","kind":"arxiv","version":1}},"canonical_sha256":"f2070dfbd8fb362494cfcb5674b10292ef3506a6676f86da465ed50be8e05ec3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f2070dfbd8fb362494cfcb5674b10292ef3506a6676f86da465ed50be8e05ec3","first_computed_at":"2026-05-18T01:36:36.947954Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:36.947954Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ffsWTzEbWsr/3uGLLKCCG8mihVv1auPGRaTAZssbJriri8v3EPdIO4m98FzxZ2ra0CkF+EahDbehxA7eiCB1Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:36.948495Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.05388","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:980e9849b54b2c1fa0607b91db7eb19332c49a9a3d064fdbfbb2456e7384ca82","sha256:8f919c06e3fb6840b14db9dd58563d4118145612bc131a842ad6b4734c18727a"],"state_sha256":"77f11a1df9fce021cd64a8aa6ce95634d72ea505018e7fc36eb1185390066da4"}