{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:DWANL5CIEROWRYDJLOOG7NJGCQ","short_pith_number":"pith:DWANL5CI","schema_version":"1.0","canonical_sha256":"1d80d5f448245d68e0695b9c6fb526141581347451bb3a7d5a2acf29e155924d","source":{"kind":"arxiv","id":"1907.09548","version":1},"attestation_state":"computed","paper":{"title":"On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Jo\\~ao Alc\\^antara, Juan Acosta-Guadarrama, Samy S\\'a","submitted_at":"2019-07-22T19:54:20Z","abstract_excerpt":"Abstract Dialectical Frameworks (ADFs) are argumentation frameworks where each node is associated with an acceptance condition. This allows us to model different types of dependencies as supports and attacks. Previous studies provided a translation from Normal Logic Programs (NLPs) to ADFs and proved the stable models semantics for a normal logic program has an equivalent semantics to that of the corresponding ADF. However, these studies failed in identifying a semantics for ADFs equivalent to a three-valued semantics (as partial stable models and well-founded models) for NLPs. In this work, w"},"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":"1907.09548","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-07-22T19:54:20Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b378ddf826dbd4d2054876c8f509d8cb34c713a7cb8e6204ddd071ba248c0fba","abstract_canon_sha256":"996c04affe57fe8203ab28c1280307c2f7cb5c39c5ead08149a0ecae016573c5"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:39:52.935034Z","signature_b64":"Tovp/7X8puSoz6eClvyfKGzbiMvwQdVf+4jxQyLAltFpLVglkbQU4v4pfkNRaFje+x+D5uMBqo7qeo5lZ+b7DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1d80d5f448245d68e0695b9c6fb526141581347451bb3a7d5a2acf29e155924d","last_reissued_at":"2026-05-17T23:39:52.934534Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:39:52.934534Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Jo\\~ao Alc\\^antara, Juan Acosta-Guadarrama, Samy S\\'a","submitted_at":"2019-07-22T19:54:20Z","abstract_excerpt":"Abstract Dialectical Frameworks (ADFs) are argumentation frameworks where each node is associated with an acceptance condition. This allows us to model different types of dependencies as supports and attacks. Previous studies provided a translation from Normal Logic Programs (NLPs) to ADFs and proved the stable models semantics for a normal logic program has an equivalent semantics to that of the corresponding ADF. However, these studies failed in identifying a semantics for ADFs equivalent to a three-valued semantics (as partial stable models and well-founded models) for NLPs. In this work, w"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.09548","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":"1907.09548","created_at":"2026-05-17T23:39:52.934605+00:00"},{"alias_kind":"arxiv_version","alias_value":"1907.09548v1","created_at":"2026-05-17T23:39:52.934605+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.09548","created_at":"2026-05-17T23:39:52.934605+00:00"},{"alias_kind":"pith_short_12","alias_value":"DWANL5CIEROW","created_at":"2026-05-18T12:33:15.570797+00:00"},{"alias_kind":"pith_short_16","alias_value":"DWANL5CIEROWRYDJ","created_at":"2026-05-18T12:33:15.570797+00:00"},{"alias_kind":"pith_short_8","alias_value":"DWANL5CI","created_at":"2026-05-18T12:33:15.570797+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/DWANL5CIEROWRYDJLOOG7NJGCQ","json":"https://pith.science/pith/DWANL5CIEROWRYDJLOOG7NJGCQ.json","graph_json":"https://pith.science/api/pith-number/DWANL5CIEROWRYDJLOOG7NJGCQ/graph.json","events_json":"https://pith.science/api/pith-number/DWANL5CIEROWRYDJLOOG7NJGCQ/events.json","paper":"https://pith.science/paper/DWANL5CI"},"agent_actions":{"view_html":"https://pith.science/pith/DWANL5CIEROWRYDJLOOG7NJGCQ","download_json":"https://pith.science/pith/DWANL5CIEROWRYDJLOOG7NJGCQ.json","view_paper":"https://pith.science/paper/DWANL5CI","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1907.09548&json=true","fetch_graph":"https://pith.science/api/pith-number/DWANL5CIEROWRYDJLOOG7NJGCQ/graph.json","fetch_events":"https://pith.science/api/pith-number/DWANL5CIEROWRYDJLOOG7NJGCQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DWANL5CIEROWRYDJLOOG7NJGCQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DWANL5CIEROWRYDJLOOG7NJGCQ/action/storage_attestation","attest_author":"https://pith.science/pith/DWANL5CIEROWRYDJLOOG7NJGCQ/action/author_attestation","sign_citation":"https://pith.science/pith/DWANL5CIEROWRYDJLOOG7NJGCQ/action/citation_signature","submit_replication":"https://pith.science/pith/DWANL5CIEROWRYDJLOOG7NJGCQ/action/replication_record"}},"created_at":"2026-05-17T23:39:52.934605+00:00","updated_at":"2026-05-17T23:39:52.934605+00:00"}