{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:HVQTDD3DLWAP6QYPAPJIFURF7Z","short_pith_number":"pith:HVQTDD3D","canonical_record":{"source":{"id":"1804.08674","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-23T19:10:51Z","cross_cats_sorted":[],"title_canon_sha256":"e34011d81662476b1e5a9932cc986b14051de86dc1cebdd54b0b7e550b1f0e5a","abstract_canon_sha256":"a406102c22a7e780f7877f0f9b3ced57988ac9c45009fad5b406545200a8d76a"},"schema_version":"1.0"},"canonical_sha256":"3d61318f635d80ff430f03d282d225fe76dea4cefd8988960eb36f3ed165e1da","source":{"kind":"arxiv","id":"1804.08674","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.08674","created_at":"2026-05-18T00:17:47Z"},{"alias_kind":"arxiv_version","alias_value":"1804.08674v1","created_at":"2026-05-18T00:17:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.08674","created_at":"2026-05-18T00:17:47Z"},{"alias_kind":"pith_short_12","alias_value":"HVQTDD3DLWAP","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HVQTDD3DLWAP6QYP","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HVQTDD3D","created_at":"2026-05-18T12:32:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:HVQTDD3DLWAP6QYPAPJIFURF7Z","target":"record","payload":{"canonical_record":{"source":{"id":"1804.08674","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-23T19:10:51Z","cross_cats_sorted":[],"title_canon_sha256":"e34011d81662476b1e5a9932cc986b14051de86dc1cebdd54b0b7e550b1f0e5a","abstract_canon_sha256":"a406102c22a7e780f7877f0f9b3ced57988ac9c45009fad5b406545200a8d76a"},"schema_version":"1.0"},"canonical_sha256":"3d61318f635d80ff430f03d282d225fe76dea4cefd8988960eb36f3ed165e1da","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:47.042124Z","signature_b64":"gYyrTZ3IoSg/YvI0XTm8vpsRr6oyUmkJ9kWEIko8OrgiFFJh90VDwwgBp958UVPxGVX/Mqm79AGfEMG3x43YAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3d61318f635d80ff430f03d282d225fe76dea4cefd8988960eb36f3ed165e1da","last_reissued_at":"2026-05-18T00:17:47.041456Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:47.041456Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.08674","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-18T00:17:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NLyZjzz0Lvv7E9km0Wt835TdREzWh9c7PrsK7J2yoU4zpnco5GOWWdSdfA3Vj8XvrRt6OKAWDzSEJ2a9zojaAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T06:34:16.051715Z"},"content_sha256":"1ba658c36beaf58f5f9439564fe375611b9b9999c1978771d4f63d62f0bd77e8","schema_version":"1.0","event_id":"sha256:1ba658c36beaf58f5f9439564fe375611b9b9999c1978771d4f63d62f0bd77e8"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:HVQTDD3DLWAP6QYPAPJIFURF7Z","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Equipping sequent-based argumentation with defeasible assumptions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Annemarie Borg","submitted_at":"2018-04-23T19:10:51Z","abstract_excerpt":"In many expert and everyday reasoning contexts it is very useful to reason on the basis of defeasible assumptions. For instance, if the information at hand is incomplete we often use plausible assumptions, or if the information is conflicting we interpret it as consistent as possible. In this paper sequent-based argumentation, a form of logical argumentation in which arguments are represented by a sequent, is extended to incorporate assumptions. The resulting assumptive framework is general, in that some other approaches to reasoning with assumptions can adequately be represented in it. To exe"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.08674","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-18T00:17:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NIm0xHHbplBJPvEEsSj+f6mAl8l1MOi3YjCiKgO1zc4uQXKVKpT1mZCvgbXSrgAzZwxen9diid4vQmR5xuTHAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-29T06:34:16.052051Z"},"content_sha256":"8e04fdd031e6b6283fe8a8db972f0a6583aa705b7fafbccad8d04754950c82e7","schema_version":"1.0","event_id":"sha256:8e04fdd031e6b6283fe8a8db972f0a6583aa705b7fafbccad8d04754950c82e7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HVQTDD3DLWAP6QYPAPJIFURF7Z/bundle.json","state_url":"https://pith.science/pith/HVQTDD3DLWAP6QYPAPJIFURF7Z/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HVQTDD3DLWAP6QYPAPJIFURF7Z/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-29T06:34:16Z","links":{"resolver":"https://pith.science/pith/HVQTDD3DLWAP6QYPAPJIFURF7Z","bundle":"https://pith.science/pith/HVQTDD3DLWAP6QYPAPJIFURF7Z/bundle.json","state":"https://pith.science/pith/HVQTDD3DLWAP6QYPAPJIFURF7Z/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HVQTDD3DLWAP6QYPAPJIFURF7Z/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:HVQTDD3DLWAP6QYPAPJIFURF7Z","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":"a406102c22a7e780f7877f0f9b3ced57988ac9c45009fad5b406545200a8d76a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-23T19:10:51Z","title_canon_sha256":"e34011d81662476b1e5a9932cc986b14051de86dc1cebdd54b0b7e550b1f0e5a"},"schema_version":"1.0","source":{"id":"1804.08674","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.08674","created_at":"2026-05-18T00:17:47Z"},{"alias_kind":"arxiv_version","alias_value":"1804.08674v1","created_at":"2026-05-18T00:17:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.08674","created_at":"2026-05-18T00:17:47Z"},{"alias_kind":"pith_short_12","alias_value":"HVQTDD3DLWAP","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_16","alias_value":"HVQTDD3DLWAP6QYP","created_at":"2026-05-18T12:32:28Z"},{"alias_kind":"pith_short_8","alias_value":"HVQTDD3D","created_at":"2026-05-18T12:32:28Z"}],"graph_snapshots":[{"event_id":"sha256:8e04fdd031e6b6283fe8a8db972f0a6583aa705b7fafbccad8d04754950c82e7","target":"graph","created_at":"2026-05-18T00:17:47Z","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 many expert and everyday reasoning contexts it is very useful to reason on the basis of defeasible assumptions. For instance, if the information at hand is incomplete we often use plausible assumptions, or if the information is conflicting we interpret it as consistent as possible. In this paper sequent-based argumentation, a form of logical argumentation in which arguments are represented by a sequent, is extended to incorporate assumptions. The resulting assumptive framework is general, in that some other approaches to reasoning with assumptions can adequately be represented in it. To exe","authors_text":"Annemarie Borg","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-23T19:10:51Z","title":"Equipping sequent-based argumentation with defeasible assumptions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.08674","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:1ba658c36beaf58f5f9439564fe375611b9b9999c1978771d4f63d62f0bd77e8","target":"record","created_at":"2026-05-18T00:17:47Z","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":"a406102c22a7e780f7877f0f9b3ced57988ac9c45009fad5b406545200a8d76a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-23T19:10:51Z","title_canon_sha256":"e34011d81662476b1e5a9932cc986b14051de86dc1cebdd54b0b7e550b1f0e5a"},"schema_version":"1.0","source":{"id":"1804.08674","kind":"arxiv","version":1}},"canonical_sha256":"3d61318f635d80ff430f03d282d225fe76dea4cefd8988960eb36f3ed165e1da","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3d61318f635d80ff430f03d282d225fe76dea4cefd8988960eb36f3ed165e1da","first_computed_at":"2026-05-18T00:17:47.041456Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:47.041456Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gYyrTZ3IoSg/YvI0XTm8vpsRr6oyUmkJ9kWEIko8OrgiFFJh90VDwwgBp958UVPxGVX/Mqm79AGfEMG3x43YAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:47.042124Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.08674","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1ba658c36beaf58f5f9439564fe375611b9b9999c1978771d4f63d62f0bd77e8","sha256:8e04fdd031e6b6283fe8a8db972f0a6583aa705b7fafbccad8d04754950c82e7"],"state_sha256":"044f20bca767411cb9ef6ef5572919313f01a7a1ce4c06c5721232a72a4bba39"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MrBUUuwnuy25n4+5Ery1KtEBxISNAYQSPc7X7N9wdbUh9qQ69RmZqfU/Qd0iwGIN8DsuYNYnPafTvF7LiFFeDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-29T06:34:16.053897Z","bundle_sha256":"c4f32ef1433b060219fbb20091e4d9243f47d9e166bd196b70d88e73b447af4c"}}