{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:5UOZFUWJSYBBVHONK2FGHMLBIF","short_pith_number":"pith:5UOZFUWJ","canonical_record":{"source":{"id":"1709.08034","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-09-23T10:21:56Z","cross_cats_sorted":[],"title_canon_sha256":"03b3c6b1f6e64c801e859e6538255d143cbcf91777e02278b8144ed7b7ea24e0","abstract_canon_sha256":"c078fef96a9555cea60429a57a732cfe6ea90099f153dd40cd2526bbcbdb9736"},"schema_version":"1.0"},"canonical_sha256":"ed1d92d2c996021a9dcd568a63b1614143564741f1c21f153a086bb4de694bfa","source":{"kind":"arxiv","id":"1709.08034","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.08034","created_at":"2026-05-18T00:22:05Z"},{"alias_kind":"arxiv_version","alias_value":"1709.08034v2","created_at":"2026-05-18T00:22:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.08034","created_at":"2026-05-18T00:22:05Z"},{"alias_kind":"pith_short_12","alias_value":"5UOZFUWJSYBB","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5UOZFUWJSYBBVHON","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5UOZFUWJ","created_at":"2026-05-18T12:31:00Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:5UOZFUWJSYBBVHONK2FGHMLBIF","target":"record","payload":{"canonical_record":{"source":{"id":"1709.08034","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-09-23T10:21:56Z","cross_cats_sorted":[],"title_canon_sha256":"03b3c6b1f6e64c801e859e6538255d143cbcf91777e02278b8144ed7b7ea24e0","abstract_canon_sha256":"c078fef96a9555cea60429a57a732cfe6ea90099f153dd40cd2526bbcbdb9736"},"schema_version":"1.0"},"canonical_sha256":"ed1d92d2c996021a9dcd568a63b1614143564741f1c21f153a086bb4de694bfa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:22:05.641463Z","signature_b64":"eqCOCAP7kIIM68kkf0/odMz1igy14qB72TJZ9/vUFyqt6okCOnKQ44LZvaDfjA3jQE9plOqMCCqpmVJm9GwcDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ed1d92d2c996021a9dcd568a63b1614143564741f1c21f153a086bb4de694bfa","last_reissued_at":"2026-05-18T00:22:05.640813Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:22:05.640813Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.08034","source_version":2,"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:22:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ylGle90xwbaFBun5JDfDiG+i9HZT+zzCwjtnu4YV1RfqzNB+cqo2OyN0KMrsuDVsvvLsUZ9UppGSNutWuKzBBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T14:13:41.341071Z"},"content_sha256":"5e433c7af48ad866813e3fc9eaf8632d2ee92cf88153bc099140eee55ef94f69","schema_version":"1.0","event_id":"sha256:5e433c7af48ad866813e3fc9eaf8632d2ee92cf88153bc099140eee55ef94f69"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:5UOZFUWJSYBBVHONK2FGHMLBIF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Prioritized Norms in Formal Argumentation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Beishui Liao, Leendert van der Torre, Nir Oren, Serena Villata","submitted_at":"2017-09-23T10:21:56Z","abstract_excerpt":"To resolve conflicts among norms, various nonmonotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent nonmonotonic logics. In this paper, we propose a representation of prioritized normative reasoning by argumentation. Using hierarchical abstract normative systems, we define three kinds of prioritized normative reasoning approaches, called Greedy, Reduction, and Optimization. Then, after formulating an argumentation theory for a hierarchical abstract normative system, we show that for a totally ordered hierarchical"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.08034","kind":"arxiv","version":2},"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:22:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZBOa9kuQSRsYoglILQye0qA7G3LsqTMwJxlLJmVkvk9teL7Y5E2g4psHu1k+Ds14FaseB6TlMtwGaxikaZtSAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T14:13:41.341791Z"},"content_sha256":"eed351f8f70158c9dec01c87a60b0ebbda3aeb762295f7935fc39acf53e4fbcb","schema_version":"1.0","event_id":"sha256:eed351f8f70158c9dec01c87a60b0ebbda3aeb762295f7935fc39acf53e4fbcb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5UOZFUWJSYBBVHONK2FGHMLBIF/bundle.json","state_url":"https://pith.science/pith/5UOZFUWJSYBBVHONK2FGHMLBIF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5UOZFUWJSYBBVHONK2FGHMLBIF/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-07T14:13:41Z","links":{"resolver":"https://pith.science/pith/5UOZFUWJSYBBVHONK2FGHMLBIF","bundle":"https://pith.science/pith/5UOZFUWJSYBBVHONK2FGHMLBIF/bundle.json","state":"https://pith.science/pith/5UOZFUWJSYBBVHONK2FGHMLBIF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5UOZFUWJSYBBVHONK2FGHMLBIF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:5UOZFUWJSYBBVHONK2FGHMLBIF","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":"c078fef96a9555cea60429a57a732cfe6ea90099f153dd40cd2526bbcbdb9736","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-09-23T10:21:56Z","title_canon_sha256":"03b3c6b1f6e64c801e859e6538255d143cbcf91777e02278b8144ed7b7ea24e0"},"schema_version":"1.0","source":{"id":"1709.08034","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.08034","created_at":"2026-05-18T00:22:05Z"},{"alias_kind":"arxiv_version","alias_value":"1709.08034v2","created_at":"2026-05-18T00:22:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.08034","created_at":"2026-05-18T00:22:05Z"},{"alias_kind":"pith_short_12","alias_value":"5UOZFUWJSYBB","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_16","alias_value":"5UOZFUWJSYBBVHON","created_at":"2026-05-18T12:31:00Z"},{"alias_kind":"pith_short_8","alias_value":"5UOZFUWJ","created_at":"2026-05-18T12:31:00Z"}],"graph_snapshots":[{"event_id":"sha256:eed351f8f70158c9dec01c87a60b0ebbda3aeb762295f7935fc39acf53e4fbcb","target":"graph","created_at":"2026-05-18T00:22: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":"To resolve conflicts among norms, various nonmonotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent nonmonotonic logics. In this paper, we propose a representation of prioritized normative reasoning by argumentation. Using hierarchical abstract normative systems, we define three kinds of prioritized normative reasoning approaches, called Greedy, Reduction, and Optimization. Then, after formulating an argumentation theory for a hierarchical abstract normative system, we show that for a totally ordered hierarchical","authors_text":"Beishui Liao, Leendert van der Torre, Nir Oren, Serena Villata","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-09-23T10:21:56Z","title":"Prioritized Norms in Formal Argumentation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.08034","kind":"arxiv","version":2},"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:5e433c7af48ad866813e3fc9eaf8632d2ee92cf88153bc099140eee55ef94f69","target":"record","created_at":"2026-05-18T00:22: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":"c078fef96a9555cea60429a57a732cfe6ea90099f153dd40cd2526bbcbdb9736","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-09-23T10:21:56Z","title_canon_sha256":"03b3c6b1f6e64c801e859e6538255d143cbcf91777e02278b8144ed7b7ea24e0"},"schema_version":"1.0","source":{"id":"1709.08034","kind":"arxiv","version":2}},"canonical_sha256":"ed1d92d2c996021a9dcd568a63b1614143564741f1c21f153a086bb4de694bfa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ed1d92d2c996021a9dcd568a63b1614143564741f1c21f153a086bb4de694bfa","first_computed_at":"2026-05-18T00:22:05.640813Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:22:05.640813Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eqCOCAP7kIIM68kkf0/odMz1igy14qB72TJZ9/vUFyqt6okCOnKQ44LZvaDfjA3jQE9plOqMCCqpmVJm9GwcDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:22:05.641463Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.08034","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5e433c7af48ad866813e3fc9eaf8632d2ee92cf88153bc099140eee55ef94f69","sha256:eed351f8f70158c9dec01c87a60b0ebbda3aeb762295f7935fc39acf53e4fbcb"],"state_sha256":"9deb53d2a6f9d438ef23b827c00ed8e2b235777a68ed0b95440817ca384d2968"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mFjD5kg+K4uPAaX/kURzxSeyjZX77PGQl1Zx0pd8aqsT8gbNKLckBOU7ABB27kGz5SfaE5ya5d1NGgCyLBr4Dw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T14:13:41.345425Z","bundle_sha256":"5f6b62c216ee03a84aa50ba73f2210a7403b7dce27598a525198f7dd45dcf207"}}