{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:325LOSWEGYB4FGYYY52RHDEWK6","short_pith_number":"pith:325LOSWE","canonical_record":{"source":{"id":"1604.00162","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-04-01T08:14:30Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"9d1ab56546f3ed0cb1d6efbc9b7b10ffab9d53268e3e15b2c9765d0d7a314168","abstract_canon_sha256":"edd6ca34e66d74d1be22d9d2dc8ef995e9ace221d0e0f9826b67a3681917cbb1"},"schema_version":"1.0"},"canonical_sha256":"debab74ac43603c29b18c775138c96578a7770857d4292562ae1d7f6df7d72a8","source":{"kind":"arxiv","id":"1604.00162","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.00162","created_at":"2026-05-18T01:17:54Z"},{"alias_kind":"arxiv_version","alias_value":"1604.00162v1","created_at":"2026-05-18T01:17:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.00162","created_at":"2026-05-18T01:17:54Z"},{"alias_kind":"pith_short_12","alias_value":"325LOSWEGYB4","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"325LOSWEGYB4FGYY","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"325LOSWE","created_at":"2026-05-18T12:29:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:325LOSWEGYB4FGYYY52RHDEWK6","target":"record","payload":{"canonical_record":{"source":{"id":"1604.00162","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-04-01T08:14:30Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"9d1ab56546f3ed0cb1d6efbc9b7b10ffab9d53268e3e15b2c9765d0d7a314168","abstract_canon_sha256":"edd6ca34e66d74d1be22d9d2dc8ef995e9ace221d0e0f9826b67a3681917cbb1"},"schema_version":"1.0"},"canonical_sha256":"debab74ac43603c29b18c775138c96578a7770857d4292562ae1d7f6df7d72a8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:17:54.411073Z","signature_b64":"QFM6/j9iMCHv/WCO5rl3mjLCki9X8jdm/ZOhrSLKiLnp8r5RWhmfyjHydfGP2zrjsjA7wkEjdTLjP37Ix9WkCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"debab74ac43603c29b18c775138c96578a7770857d4292562ae1d7f6df7d72a8","last_reissued_at":"2026-05-18T01:17:54.410417Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:17:54.410417Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1604.00162","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:17:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Id7P54OGAXUnQ++b8C+oRuBsGeORJUpNnj0oPrURwXVsSQE5IhEoLNWhGGTKsOkRQguZ7e36KPWP2s7m9Un3CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T12:44:58.440572Z"},"content_sha256":"1d420e036d0ce2c6eead045f39f2231d45a6705bb57d635bbc602efc62f77983","schema_version":"1.0","event_id":"sha256:1d420e036d0ce2c6eead045f39f2231d45a6705bb57d635bbc602efc62f77983"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:325LOSWEGYB4FGYYY52RHDEWK6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Relations between assumption-based approaches in nonmonotonic logic and formal argumentation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Christian Stra{\\ss}er, Jesse Heyninck","submitted_at":"2016-04-01T08:14:30Z","abstract_excerpt":"In this paper we make a contribution to the unification of formal models of defeasible reasoning. We present several translations between formal argumentation frameworks and nonmonotonic logics for reasoning with plausible assumptions. More specifically, we translate adaptive logics into assumption-based argumentation and ASPIC+, ASPIC+ into assumption-based argumentation and a fragment of assumption-based argumentation into adaptive logics. Adaptive logics are closely related to Makinson's default assumptions and to a significant class of systems within the tradition of preferential semantics"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.00162","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:17:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8GG1uLumsGB0c7uUEUUGpWlmeAWl1aYAICJCVvbUVzeJUMz8Jyls0m059NpdRA4aveDqjet/zqyHcJDk5brZDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T12:44:58.440921Z"},"content_sha256":"0b5c1d021a9612f45b3e7d13764e2bb0ad6157c44d993f4878b9590efbf95df2","schema_version":"1.0","event_id":"sha256:0b5c1d021a9612f45b3e7d13764e2bb0ad6157c44d993f4878b9590efbf95df2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/325LOSWEGYB4FGYYY52RHDEWK6/bundle.json","state_url":"https://pith.science/pith/325LOSWEGYB4FGYYY52RHDEWK6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/325LOSWEGYB4FGYYY52RHDEWK6/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-26T12:44:58Z","links":{"resolver":"https://pith.science/pith/325LOSWEGYB4FGYYY52RHDEWK6","bundle":"https://pith.science/pith/325LOSWEGYB4FGYYY52RHDEWK6/bundle.json","state":"https://pith.science/pith/325LOSWEGYB4FGYYY52RHDEWK6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/325LOSWEGYB4FGYYY52RHDEWK6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:325LOSWEGYB4FGYYY52RHDEWK6","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":"edd6ca34e66d74d1be22d9d2dc8ef995e9ace221d0e0f9826b67a3681917cbb1","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-04-01T08:14:30Z","title_canon_sha256":"9d1ab56546f3ed0cb1d6efbc9b7b10ffab9d53268e3e15b2c9765d0d7a314168"},"schema_version":"1.0","source":{"id":"1604.00162","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.00162","created_at":"2026-05-18T01:17:54Z"},{"alias_kind":"arxiv_version","alias_value":"1604.00162v1","created_at":"2026-05-18T01:17:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.00162","created_at":"2026-05-18T01:17:54Z"},{"alias_kind":"pith_short_12","alias_value":"325LOSWEGYB4","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_16","alias_value":"325LOSWEGYB4FGYY","created_at":"2026-05-18T12:29:55Z"},{"alias_kind":"pith_short_8","alias_value":"325LOSWE","created_at":"2026-05-18T12:29:55Z"}],"graph_snapshots":[{"event_id":"sha256:0b5c1d021a9612f45b3e7d13764e2bb0ad6157c44d993f4878b9590efbf95df2","target":"graph","created_at":"2026-05-18T01:17:54Z","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 make a contribution to the unification of formal models of defeasible reasoning. We present several translations between formal argumentation frameworks and nonmonotonic logics for reasoning with plausible assumptions. More specifically, we translate adaptive logics into assumption-based argumentation and ASPIC+, ASPIC+ into assumption-based argumentation and a fragment of assumption-based argumentation into adaptive logics. Adaptive logics are closely related to Makinson's default assumptions and to a significant class of systems within the tradition of preferential semantics","authors_text":"Christian Stra{\\ss}er, Jesse Heyninck","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-04-01T08:14:30Z","title":"Relations between assumption-based approaches in nonmonotonic logic and formal argumentation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.00162","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:1d420e036d0ce2c6eead045f39f2231d45a6705bb57d635bbc602efc62f77983","target":"record","created_at":"2026-05-18T01:17:54Z","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":"edd6ca34e66d74d1be22d9d2dc8ef995e9ace221d0e0f9826b67a3681917cbb1","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-04-01T08:14:30Z","title_canon_sha256":"9d1ab56546f3ed0cb1d6efbc9b7b10ffab9d53268e3e15b2c9765d0d7a314168"},"schema_version":"1.0","source":{"id":"1604.00162","kind":"arxiv","version":1}},"canonical_sha256":"debab74ac43603c29b18c775138c96578a7770857d4292562ae1d7f6df7d72a8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"debab74ac43603c29b18c775138c96578a7770857d4292562ae1d7f6df7d72a8","first_computed_at":"2026-05-18T01:17:54.410417Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:54.410417Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QFM6/j9iMCHv/WCO5rl3mjLCki9X8jdm/ZOhrSLKiLnp8r5RWhmfyjHydfGP2zrjsjA7wkEjdTLjP37Ix9WkCw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:54.411073Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.00162","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1d420e036d0ce2c6eead045f39f2231d45a6705bb57d635bbc602efc62f77983","sha256:0b5c1d021a9612f45b3e7d13764e2bb0ad6157c44d993f4878b9590efbf95df2"],"state_sha256":"a7326128be120099ca08952e4c9839752b33a5162e0b220688318e43e515a915"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LdeUBLVVNai9UfmuY1JQW+L+mdJ05mmzEmpluGeZWacOlGhYgzWQK186afM3KKvctWknH/sgiDWl/I4r0XP8BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T12:44:58.442869Z","bundle_sha256":"fb76d85913e84396721c5366ae117cc2444503e8354b95f32fcc015aff67d295"}}