{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2011:6J5KNCIKTIXBTBC6F3PRBMISPB","short_pith_number":"pith:6J5KNCIK","schema_version":"1.0","canonical_sha256":"f27aa6890a9a2e19845e2edf10b1127867cad37a4666841780caacea01c5040f","source":{"kind":"arxiv","id":"1108.4942","version":1},"attestation_state":"computed","paper":{"title":"Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Johannes Wallner, Sarah Alice Gaggl, Stefan Woltran, Wolfgang Dvo\\v{r}\\'ak","submitted_at":"2011-08-24T20:19:09Z","abstract_excerpt":"Dung's famous abstract argumentation frameworks represent the core formalism for many problems and applications in the field of argumentation which significantly evolved within the last decade. Recent work in the field has thus focused on implementations for these frameworks, whereby one of the main approaches is to use Answer-Set Programming (ASP). While some of the argumentation semantics can be nicely expressed within the ASP language, others required rather cumbersome encoding techniques. Recent advances in ASP systems, in particular, the metasp optimization frontend for the ASP-package gr"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1108.4942","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2011-08-24T20:19:09Z","cross_cats_sorted":[],"title_canon_sha256":"a5452c290af2cebce2b50fdb083b5e2444a27d8433f88edfffe20d4754f23e07","abstract_canon_sha256":"264cffbd893ef7044bda346564c3b8f729116bcf71a3c89071e59b8f32ca1658"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:16:53.767388Z","signature_b64":"T0iN14d9hp65xPu83npZFgs4UccwTNO7BU200Zh9SmPi7+9L0zYu+gVQA3nMboI2onqsppSnLllVzXmXAZvLDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f27aa6890a9a2e19845e2edf10b1127867cad37a4666841780caacea01c5040f","last_reissued_at":"2026-05-18T01:16:53.766648Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:16:53.766648Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Johannes Wallner, Sarah Alice Gaggl, Stefan Woltran, Wolfgang Dvo\\v{r}\\'ak","submitted_at":"2011-08-24T20:19:09Z","abstract_excerpt":"Dung's famous abstract argumentation frameworks represent the core formalism for many problems and applications in the field of argumentation which significantly evolved within the last decade. Recent work in the field has thus focused on implementations for these frameworks, whereby one of the main approaches is to use Answer-Set Programming (ASP). While some of the argumentation semantics can be nicely expressed within the ASP language, others required rather cumbersome encoding techniques. Recent advances in ASP systems, in particular, the metasp optimization frontend for the ASP-package gr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.4942","kind":"arxiv","version":1},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1108.4942","created_at":"2026-05-18T01:16:53.766767+00:00"},{"alias_kind":"arxiv_version","alias_value":"1108.4942v1","created_at":"2026-05-18T01:16:53.766767+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.4942","created_at":"2026-05-18T01:16:53.766767+00:00"},{"alias_kind":"pith_short_12","alias_value":"6J5KNCIKTIXB","created_at":"2026-05-18T12:26:22.705136+00:00"},{"alias_kind":"pith_short_16","alias_value":"6J5KNCIKTIXBTBC6","created_at":"2026-05-18T12:26:22.705136+00:00"},{"alias_kind":"pith_short_8","alias_value":"6J5KNCIK","created_at":"2026-05-18T12:26:22.705136+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6J5KNCIKTIXBTBC6F3PRBMISPB","json":"https://pith.science/pith/6J5KNCIKTIXBTBC6F3PRBMISPB.json","graph_json":"https://pith.science/api/pith-number/6J5KNCIKTIXBTBC6F3PRBMISPB/graph.json","events_json":"https://pith.science/api/pith-number/6J5KNCIKTIXBTBC6F3PRBMISPB/events.json","paper":"https://pith.science/paper/6J5KNCIK"},"agent_actions":{"view_html":"https://pith.science/pith/6J5KNCIKTIXBTBC6F3PRBMISPB","download_json":"https://pith.science/pith/6J5KNCIKTIXBTBC6F3PRBMISPB.json","view_paper":"https://pith.science/paper/6J5KNCIK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1108.4942&json=true","fetch_graph":"https://pith.science/api/pith-number/6J5KNCIKTIXBTBC6F3PRBMISPB/graph.json","fetch_events":"https://pith.science/api/pith-number/6J5KNCIKTIXBTBC6F3PRBMISPB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6J5KNCIKTIXBTBC6F3PRBMISPB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6J5KNCIKTIXBTBC6F3PRBMISPB/action/storage_attestation","attest_author":"https://pith.science/pith/6J5KNCIKTIXBTBC6F3PRBMISPB/action/author_attestation","sign_citation":"https://pith.science/pith/6J5KNCIKTIXBTBC6F3PRBMISPB/action/citation_signature","submit_replication":"https://pith.science/pith/6J5KNCIKTIXBTBC6F3PRBMISPB/action/replication_record"}},"created_at":"2026-05-18T01:16:53.766767+00:00","updated_at":"2026-05-18T01:16:53.766767+00:00"}