{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:LYUZH7FTFLCCQ5H27CLSBEKMKG","short_pith_number":"pith:LYUZH7FT","canonical_record":{"source":{"id":"1606.00339","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-01T16:04:47Z","cross_cats_sorted":[],"title_canon_sha256":"a3b57c3fa82aa010bf2590c0d5ec63221cd84dd9ad3f2157564d61d636b27072","abstract_canon_sha256":"7b1cfcca2807cac9bb34b95d7cbc66fd19455f90531ec76398d86dc863da94f4"},"schema_version":"1.0"},"canonical_sha256":"5e2993fcb32ac42874faf89720914c51b058e4bd3182d2ab5df371aa122e5df5","source":{"kind":"arxiv","id":"1606.00339","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.00339","created_at":"2026-05-18T01:13:05Z"},{"alias_kind":"arxiv_version","alias_value":"1606.00339v1","created_at":"2026-05-18T01:13:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.00339","created_at":"2026-05-18T01:13:05Z"},{"alias_kind":"pith_short_12","alias_value":"LYUZH7FTFLCC","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_16","alias_value":"LYUZH7FTFLCCQ5H2","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_8","alias_value":"LYUZH7FT","created_at":"2026-05-18T12:30:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:LYUZH7FTFLCCQ5H27CLSBEKMKG","target":"record","payload":{"canonical_record":{"source":{"id":"1606.00339","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-01T16:04:47Z","cross_cats_sorted":[],"title_canon_sha256":"a3b57c3fa82aa010bf2590c0d5ec63221cd84dd9ad3f2157564d61d636b27072","abstract_canon_sha256":"7b1cfcca2807cac9bb34b95d7cbc66fd19455f90531ec76398d86dc863da94f4"},"schema_version":"1.0"},"canonical_sha256":"5e2993fcb32ac42874faf89720914c51b058e4bd3182d2ab5df371aa122e5df5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:13:05.503730Z","signature_b64":"z+dystkcgA2oGblo9oF9zQlcTaBpzMjOtgT0Hj4D3f9BAIi1t5lS65l195+NisWMbllMgAJTr6ZdoahD8WXhCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5e2993fcb32ac42874faf89720914c51b058e4bd3182d2ab5df371aa122e5df5","last_reissued_at":"2026-05-18T01:13:05.503348Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:13:05.503348Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.00339","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:13:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hIQi6PZM6Ov/q+V7O2ZiqnS8ldnJoo3Vr4uOru1EwJXHl8NoUUiIbM3hzKVUTSa1/dskFSU1wvbOJop+v2mQDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T10:31:22.106495Z"},"content_sha256":"63162b124c8a744e611be1bcb6c738b45aad534db485182ccba1b3e7d33b2ef4","schema_version":"1.0","event_id":"sha256:63162b124c8a744e611be1bcb6c738b45aad534db485182ccba1b3e7d33b2ef4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:LYUZH7FTFLCCQ5H27CLSBEKMKG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A structured argumentation framework for detaching conditional obligations","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Christian Stra{\\ss}er, Mathieu Beirlaen","submitted_at":"2016-06-01T16:04:47Z","abstract_excerpt":"We present a general formal argumentation system for dealing with the detachment of conditional obligations. Given a set of facts, constraints, and conditional obligations, we answer the question whether an unconditional obligation is detachable by considering reasons for and against its detachment. For the evaluation of arguments in favor of detaching obligations we use a Dung-style argumentation-theoretical semantics. We illustrate the modularity of the general framework by considering some extensions, and we compare the framework to some related approaches from the literature."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.00339","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:13:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oqb6gKoiCk0pzlKuOq6iOTaCRfKLSk076lwGbL9CYDqVNgy9E0Nblko5DighAwE36i36DhoVb8xS66xFydbpBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T10:31:22.106848Z"},"content_sha256":"d78336d3cadf1c8503c58c2b3b05b90ee98d4af2edb2983a7b3230fe9a3a7782","schema_version":"1.0","event_id":"sha256:d78336d3cadf1c8503c58c2b3b05b90ee98d4af2edb2983a7b3230fe9a3a7782"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LYUZH7FTFLCCQ5H27CLSBEKMKG/bundle.json","state_url":"https://pith.science/pith/LYUZH7FTFLCCQ5H27CLSBEKMKG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LYUZH7FTFLCCQ5H27CLSBEKMKG/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-26T10:31:22Z","links":{"resolver":"https://pith.science/pith/LYUZH7FTFLCCQ5H27CLSBEKMKG","bundle":"https://pith.science/pith/LYUZH7FTFLCCQ5H27CLSBEKMKG/bundle.json","state":"https://pith.science/pith/LYUZH7FTFLCCQ5H27CLSBEKMKG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LYUZH7FTFLCCQ5H27CLSBEKMKG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:LYUZH7FTFLCCQ5H27CLSBEKMKG","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":"7b1cfcca2807cac9bb34b95d7cbc66fd19455f90531ec76398d86dc863da94f4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-01T16:04:47Z","title_canon_sha256":"a3b57c3fa82aa010bf2590c0d5ec63221cd84dd9ad3f2157564d61d636b27072"},"schema_version":"1.0","source":{"id":"1606.00339","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.00339","created_at":"2026-05-18T01:13:05Z"},{"alias_kind":"arxiv_version","alias_value":"1606.00339v1","created_at":"2026-05-18T01:13:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.00339","created_at":"2026-05-18T01:13:05Z"},{"alias_kind":"pith_short_12","alias_value":"LYUZH7FTFLCC","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_16","alias_value":"LYUZH7FTFLCCQ5H2","created_at":"2026-05-18T12:30:29Z"},{"alias_kind":"pith_short_8","alias_value":"LYUZH7FT","created_at":"2026-05-18T12:30:29Z"}],"graph_snapshots":[{"event_id":"sha256:d78336d3cadf1c8503c58c2b3b05b90ee98d4af2edb2983a7b3230fe9a3a7782","target":"graph","created_at":"2026-05-18T01:13:05Z","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":"We present a general formal argumentation system for dealing with the detachment of conditional obligations. Given a set of facts, constraints, and conditional obligations, we answer the question whether an unconditional obligation is detachable by considering reasons for and against its detachment. For the evaluation of arguments in favor of detaching obligations we use a Dung-style argumentation-theoretical semantics. We illustrate the modularity of the general framework by considering some extensions, and we compare the framework to some related approaches from the literature.","authors_text":"Christian Stra{\\ss}er, Mathieu Beirlaen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-01T16:04:47Z","title":"A structured argumentation framework for detaching conditional obligations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.00339","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:63162b124c8a744e611be1bcb6c738b45aad534db485182ccba1b3e7d33b2ef4","target":"record","created_at":"2026-05-18T01:13:05Z","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":"7b1cfcca2807cac9bb34b95d7cbc66fd19455f90531ec76398d86dc863da94f4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-06-01T16:04:47Z","title_canon_sha256":"a3b57c3fa82aa010bf2590c0d5ec63221cd84dd9ad3f2157564d61d636b27072"},"schema_version":"1.0","source":{"id":"1606.00339","kind":"arxiv","version":1}},"canonical_sha256":"5e2993fcb32ac42874faf89720914c51b058e4bd3182d2ab5df371aa122e5df5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5e2993fcb32ac42874faf89720914c51b058e4bd3182d2ab5df371aa122e5df5","first_computed_at":"2026-05-18T01:13:05.503348Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:13:05.503348Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"z+dystkcgA2oGblo9oF9zQlcTaBpzMjOtgT0Hj4D3f9BAIi1t5lS65l195+NisWMbllMgAJTr6ZdoahD8WXhCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:13:05.503730Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.00339","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:63162b124c8a744e611be1bcb6c738b45aad534db485182ccba1b3e7d33b2ef4","sha256:d78336d3cadf1c8503c58c2b3b05b90ee98d4af2edb2983a7b3230fe9a3a7782"],"state_sha256":"bd587a362c78bf6a777aba11a812891073731b014aff0e9bf8aa99f85836d977"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FZcgOGXkXWdohhJIVOrmujB06+t8G+PoU+L9Etruf5KM75eKvBcQ22n50+c5fj48OWSGeOi8pGf+e+g33KxtBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T10:31:22.108816Z","bundle_sha256":"17f962fa2a683675de1134c9710a2e600141a38bfb08a32758b12c95fc1c6abe"}}