{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:4B7OJ6HFVIQRCWBCI7BM6TLBCF","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":"23a396aeec7cc1e98f354cb7f89a0a851d8ad2e19fa34ad1e17f629a3fabd527","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-11-28T11:21:43Z","title_canon_sha256":"356b04d224399d8d8e975237d30ae10c7cf86209a744e6ab1229efc7627772ac"},"schema_version":"1.0","source":{"id":"1811.11501","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.11501","created_at":"2026-05-17T23:59:40Z"},{"alias_kind":"arxiv_version","alias_value":"1811.11501v1","created_at":"2026-05-17T23:59:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.11501","created_at":"2026-05-17T23:59:40Z"},{"alias_kind":"pith_short_12","alias_value":"4B7OJ6HFVIQR","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_16","alias_value":"4B7OJ6HFVIQRCWBC","created_at":"2026-05-18T12:32:05Z"},{"alias_kind":"pith_short_8","alias_value":"4B7OJ6HF","created_at":"2026-05-18T12:32:05Z"}],"graph_snapshots":[{"event_id":"sha256:baff9335b32661a70240324efc73703271ae2b736372ae5fa814107250f3603f","target":"graph","created_at":"2026-05-17T23:59:40Z","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":"In this paper, we consider counting and projected model counting of extensions in abstract argumentation for various semantics. When asking for projected counts we are interested in counting the number of extensions of a given argumentation framework while multiple extensions that are identical when restricted to the projected arguments count as only one projected extension. We establish classical complexity results and parameterized complexity results when the problems are parameterized by treewidth of the undirected argumentation graph. To obtain upper bounds for counting projected extension","authors_text":"Arne Meier, Johannes K. Fichte, Markus Hecher","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-11-28T11:21:43Z","title":"Counting Complexity for Reasoning in Abstract Argumentation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.11501","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:19bdd5fdc8357cd9184e2e16cbde54509a14c5dfed958a2c785292a90e0cde78","target":"record","created_at":"2026-05-17T23:59:40Z","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":"23a396aeec7cc1e98f354cb7f89a0a851d8ad2e19fa34ad1e17f629a3fabd527","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-11-28T11:21:43Z","title_canon_sha256":"356b04d224399d8d8e975237d30ae10c7cf86209a744e6ab1229efc7627772ac"},"schema_version":"1.0","source":{"id":"1811.11501","kind":"arxiv","version":1}},"canonical_sha256":"e07ee4f8e5aa2111582247c2cf4d6111479ae3e2270b184b79cb4755b60a9c51","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e07ee4f8e5aa2111582247c2cf4d6111479ae3e2270b184b79cb4755b60a9c51","first_computed_at":"2026-05-17T23:59:40.900205Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:59:40.900205Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"194H+pz5YjuJ2OX61s48S05BPn8sDb3p0NyyH/4VyVwUl/Y9vYF1gsEs4xvN2WC690sGLRRruSg92RXwz1ybCA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:59:40.900852Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.11501","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:19bdd5fdc8357cd9184e2e16cbde54509a14c5dfed958a2c785292a90e0cde78","sha256:baff9335b32661a70240324efc73703271ae2b736372ae5fa814107250f3603f"],"state_sha256":"f8f5f48c4b5f54aed82454fda27f2413d30cdb52deb4e9a70eda3cd6df5c4993"}