{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:NNEBEWVP33SUTCPDECD6GU3BRG","short_pith_number":"pith:NNEBEWVP","canonical_record":{"source":{"id":"1907.09124","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-22T03:57:15Z","cross_cats_sorted":[],"title_canon_sha256":"cebe0feadf4e9bf72afa4fb0cb27568b4097fac530be4e5d814a4150d5efbdaf","abstract_canon_sha256":"852934eeef5da2b3a2f7b7fc837f56dbe9bdc0030f6d26af79d666b06c587c71"},"schema_version":"1.0"},"canonical_sha256":"6b48125aafdee54989e32087e3536189b6aa8446b0e038950a37941bfbce7633","source":{"kind":"arxiv","id":"1907.09124","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.09124","created_at":"2026-05-17T23:40:00Z"},{"alias_kind":"arxiv_version","alias_value":"1907.09124v1","created_at":"2026-05-17T23:40:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.09124","created_at":"2026-05-17T23:40:00Z"},{"alias_kind":"pith_short_12","alias_value":"NNEBEWVP33SU","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"NNEBEWVP33SUTCPD","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"NNEBEWVP","created_at":"2026-05-18T12:33:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:NNEBEWVP33SUTCPDECD6GU3BRG","target":"record","payload":{"canonical_record":{"source":{"id":"1907.09124","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-22T03:57:15Z","cross_cats_sorted":[],"title_canon_sha256":"cebe0feadf4e9bf72afa4fb0cb27568b4097fac530be4e5d814a4150d5efbdaf","abstract_canon_sha256":"852934eeef5da2b3a2f7b7fc837f56dbe9bdc0030f6d26af79d666b06c587c71"},"schema_version":"1.0"},"canonical_sha256":"6b48125aafdee54989e32087e3536189b6aa8446b0e038950a37941bfbce7633","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:00.054697Z","signature_b64":"Ef0V555OQjCI8N5IdDPY5p6mtg4uXEHyILxJCY62b3uVzmd5x6p8lQZRKbVfW9Dz48i72uw6+K4werQPpijNCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6b48125aafdee54989e32087e3536189b6aa8446b0e038950a37941bfbce7633","last_reissued_at":"2026-05-17T23:40:00.054167Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:00.054167Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1907.09124","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-17T23:40:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PFx9bcTj4enj/hVpmAo89zvOjeBNoT8QlDmn/bp4U9ubl12W9lst7IlPV8BChpUrW5kykURGehS4aVbU+VmcDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T16:22:59.984847Z"},"content_sha256":"7a88aec79020589a141f5fed5ad8b23d53f2392b53a590655ef2a483498a85a1","schema_version":"1.0","event_id":"sha256:7a88aec79020589a141f5fed5ad8b23d53f2392b53a590655ef2a483498a85a1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:NNEBEWVP33SUTCPDECD6GU3BRG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Algebraic Approach for Action Based Default Reasoning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Carlos Areces, Pablo F. Castro, Raul Fervari, Valentin Cassano","submitted_at":"2019-07-22T03:57:15Z","abstract_excerpt":"Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted. This kind of assumptions appear, e.g., in autonomous computing systems where decisions must be taken in the presence of an incomplete set of norms regulating a particular scenario. Combining default and deontic reasoning over actions allows us to formally reason about such assumptions. With this in mind, we propose a logical formalism for default reasoning over a deontic action logic. The novelty of our approach is"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.09124","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-17T23:40:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9ktPB1a88ewNFxKVJATs7jMDdNpnctjiFOEZZ91x6FJpIAKaG8pCuREjH0Ii3+ZY4cK03ZEtKW4zv+GzrvCPAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T16:22:59.985547Z"},"content_sha256":"64241b1444a7e7d5e91ff649409e38c4545542eb3594dd7663c36a078fae2547","schema_version":"1.0","event_id":"sha256:64241b1444a7e7d5e91ff649409e38c4545542eb3594dd7663c36a078fae2547"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/NNEBEWVP33SUTCPDECD6GU3BRG/bundle.json","state_url":"https://pith.science/pith/NNEBEWVP33SUTCPDECD6GU3BRG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/NNEBEWVP33SUTCPDECD6GU3BRG/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-05-25T16:22:59Z","links":{"resolver":"https://pith.science/pith/NNEBEWVP33SUTCPDECD6GU3BRG","bundle":"https://pith.science/pith/NNEBEWVP33SUTCPDECD6GU3BRG/bundle.json","state":"https://pith.science/pith/NNEBEWVP33SUTCPDECD6GU3BRG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/NNEBEWVP33SUTCPDECD6GU3BRG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:NNEBEWVP33SUTCPDECD6GU3BRG","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":"852934eeef5da2b3a2f7b7fc837f56dbe9bdc0030f6d26af79d666b06c587c71","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-22T03:57:15Z","title_canon_sha256":"cebe0feadf4e9bf72afa4fb0cb27568b4097fac530be4e5d814a4150d5efbdaf"},"schema_version":"1.0","source":{"id":"1907.09124","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1907.09124","created_at":"2026-05-17T23:40:00Z"},{"alias_kind":"arxiv_version","alias_value":"1907.09124v1","created_at":"2026-05-17T23:40:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.09124","created_at":"2026-05-17T23:40:00Z"},{"alias_kind":"pith_short_12","alias_value":"NNEBEWVP33SU","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"NNEBEWVP33SUTCPD","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"NNEBEWVP","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:64241b1444a7e7d5e91ff649409e38c4545542eb3594dd7663c36a078fae2547","target":"graph","created_at":"2026-05-17T23:40:00Z","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":"Often, we assume that an action is permitted simply because it is not explicitly forbidden; or, similarly, that an action is forbidden simply because it is not explicitly permitted. This kind of assumptions appear, e.g., in autonomous computing systems where decisions must be taken in the presence of an incomplete set of norms regulating a particular scenario. Combining default and deontic reasoning over actions allows us to formally reason about such assumptions. With this in mind, we propose a logical formalism for default reasoning over a deontic action logic. The novelty of our approach is","authors_text":"Carlos Areces, Pablo F. Castro, Raul Fervari, Valentin Cassano","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-22T03:57:15Z","title":"An Algebraic Approach for Action Based Default Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.09124","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:7a88aec79020589a141f5fed5ad8b23d53f2392b53a590655ef2a483498a85a1","target":"record","created_at":"2026-05-17T23:40:00Z","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":"852934eeef5da2b3a2f7b7fc837f56dbe9bdc0030f6d26af79d666b06c587c71","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2019-07-22T03:57:15Z","title_canon_sha256":"cebe0feadf4e9bf72afa4fb0cb27568b4097fac530be4e5d814a4150d5efbdaf"},"schema_version":"1.0","source":{"id":"1907.09124","kind":"arxiv","version":1}},"canonical_sha256":"6b48125aafdee54989e32087e3536189b6aa8446b0e038950a37941bfbce7633","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6b48125aafdee54989e32087e3536189b6aa8446b0e038950a37941bfbce7633","first_computed_at":"2026-05-17T23:40:00.054167Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:40:00.054167Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Ef0V555OQjCI8N5IdDPY5p6mtg4uXEHyILxJCY62b3uVzmd5x6p8lQZRKbVfW9Dz48i72uw6+K4werQPpijNCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:40:00.054697Z","signed_message":"canonical_sha256_bytes"},"source_id":"1907.09124","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7a88aec79020589a141f5fed5ad8b23d53f2392b53a590655ef2a483498a85a1","sha256:64241b1444a7e7d5e91ff649409e38c4545542eb3594dd7663c36a078fae2547"],"state_sha256":"c63c4cd43415960b96c6190fa1b3136799b92499a454bce634a1b8c0dfe934f8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hPD7FyUnIRynljQPI+gIuIPcArxPJEmC4KqrgWQ6oNdGhUOELeryamb6bgy8T5GJHi6xOj8aQcrmnHHoazpDDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T16:22:59.989005Z","bundle_sha256":"cea5993cddffca5f0406dac52bd797c359802550cfe14b71f33230a87a0ff94b"}}