{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:4L5SG2QHRPSKZCIKZEFZ7ZDND5","short_pith_number":"pith:4L5SG2QH","canonical_record":{"source":{"id":"1905.11764","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2019-05-28T12:19:47Z","cross_cats_sorted":[],"title_canon_sha256":"fe47da20fe67fe8cfd41a12eade4e043ff44bc252e47ad89583390e0b9b782a5","abstract_canon_sha256":"cce9b48e3da4f7bd98f516d114dbb4f26b0d3c685d040e2e372ead816075127f"},"schema_version":"1.0"},"canonical_sha256":"e2fb236a078be4ac890ac90b9fe46d1f6f18eee29afe130cab9e38918b9a1fac","source":{"kind":"arxiv","id":"1905.11764","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.11764","created_at":"2026-05-17T23:44:52Z"},{"alias_kind":"arxiv_version","alias_value":"1905.11764v1","created_at":"2026-05-17T23:44:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.11764","created_at":"2026-05-17T23:44:52Z"},{"alias_kind":"pith_short_12","alias_value":"4L5SG2QHRPSK","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"4L5SG2QHRPSKZCIK","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"4L5SG2QH","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:4L5SG2QHRPSKZCIKZEFZ7ZDND5","target":"record","payload":{"canonical_record":{"source":{"id":"1905.11764","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2019-05-28T12:19:47Z","cross_cats_sorted":[],"title_canon_sha256":"fe47da20fe67fe8cfd41a12eade4e043ff44bc252e47ad89583390e0b9b782a5","abstract_canon_sha256":"cce9b48e3da4f7bd98f516d114dbb4f26b0d3c685d040e2e372ead816075127f"},"schema_version":"1.0"},"canonical_sha256":"e2fb236a078be4ac890ac90b9fe46d1f6f18eee29afe130cab9e38918b9a1fac","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:52.382996Z","signature_b64":"iJd3GryavVnPW14wmB7Qo084vIcCCPC6GLIrNlVsWQ4oyOeE4SBgxEt3pBugc6s9r8qC7aVvbOM2aAn4N0QEAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e2fb236a078be4ac890ac90b9fe46d1f6f18eee29afe130cab9e38918b9a1fac","last_reissued_at":"2026-05-17T23:44:52.382050Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:52.382050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.11764","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:44:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DVlbvfojQDi+1pHNqAGSCFE/BVyLss3aEX7+QtSsuwEyUOd4Y9MqGhZ4QetIWy6MUhufDkVmUB8OMH0KGAvPDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T19:18:48.866451Z"},"content_sha256":"782ae1530d3fb5d1dead14d176f9a80f087e26517e16dbc14473cfbaf15153b1","schema_version":"1.0","event_id":"sha256:782ae1530d3fb5d1dead14d176f9a80f087e26517e16dbc14473cfbaf15153b1"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:4L5SG2QHRPSKZCIKZEFZ7ZDND5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Justification Based Reasoning in Dynamic Conflict Resolution","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.MA","authors_text":"Astrid Rakow, Martin Fr\\\"anzle, Paul Kr\\\"oger, Werner Damm, Willem Hagemann","submitted_at":"2019-05-28T12:19:47Z","abstract_excerpt":"We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their local perception. We distinguish several types of conflicts for this setting. In order to enable modelling of conflict situations and the reasons for conflicts, we present a logical framework that adopts concepts from epistemic and modal logic, justification and temporal logic. Using this framework, we illustrate how conflicts can be identified and how we derive a chain of justifications leading to this conflict. We d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.11764","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:44:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CzDOFpJZTt6a5BUToQ+RzcYCXumDW9WcXsQEUyc03/lRPjxT4WGplRNhWCnw8+qXAS4HgPKteFMWQArWAx9PAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T19:18:48.867084Z"},"content_sha256":"1de5d5e795bd429a82699aa0fca2d253164786036ce7baca6654b5ca329e41c6","schema_version":"1.0","event_id":"sha256:1de5d5e795bd429a82699aa0fca2d253164786036ce7baca6654b5ca329e41c6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4L5SG2QHRPSKZCIKZEFZ7ZDND5/bundle.json","state_url":"https://pith.science/pith/4L5SG2QHRPSKZCIKZEFZ7ZDND5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4L5SG2QHRPSKZCIKZEFZ7ZDND5/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-31T19:18:48Z","links":{"resolver":"https://pith.science/pith/4L5SG2QHRPSKZCIKZEFZ7ZDND5","bundle":"https://pith.science/pith/4L5SG2QHRPSKZCIKZEFZ7ZDND5/bundle.json","state":"https://pith.science/pith/4L5SG2QHRPSKZCIKZEFZ7ZDND5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4L5SG2QHRPSKZCIKZEFZ7ZDND5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:4L5SG2QHRPSKZCIKZEFZ7ZDND5","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":"cce9b48e3da4f7bd98f516d114dbb4f26b0d3c685d040e2e372ead816075127f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2019-05-28T12:19:47Z","title_canon_sha256":"fe47da20fe67fe8cfd41a12eade4e043ff44bc252e47ad89583390e0b9b782a5"},"schema_version":"1.0","source":{"id":"1905.11764","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.11764","created_at":"2026-05-17T23:44:52Z"},{"alias_kind":"arxiv_version","alias_value":"1905.11764v1","created_at":"2026-05-17T23:44:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.11764","created_at":"2026-05-17T23:44:52Z"},{"alias_kind":"pith_short_12","alias_value":"4L5SG2QHRPSK","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"4L5SG2QHRPSKZCIK","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"4L5SG2QH","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:1de5d5e795bd429a82699aa0fca2d253164786036ce7baca6654b5ca329e41c6","target":"graph","created_at":"2026-05-17T23:44:52Z","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 study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their local perception. We distinguish several types of conflicts for this setting. In order to enable modelling of conflict situations and the reasons for conflicts, we present a logical framework that adopts concepts from epistemic and modal logic, justification and temporal logic. Using this framework, we illustrate how conflicts can be identified and how we derive a chain of justifications leading to this conflict. We d","authors_text":"Astrid Rakow, Martin Fr\\\"anzle, Paul Kr\\\"oger, Werner Damm, Willem Hagemann","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2019-05-28T12:19:47Z","title":"Justification Based Reasoning in Dynamic Conflict Resolution"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.11764","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:782ae1530d3fb5d1dead14d176f9a80f087e26517e16dbc14473cfbaf15153b1","target":"record","created_at":"2026-05-17T23:44:52Z","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":"cce9b48e3da4f7bd98f516d114dbb4f26b0d3c685d040e2e372ead816075127f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MA","submitted_at":"2019-05-28T12:19:47Z","title_canon_sha256":"fe47da20fe67fe8cfd41a12eade4e043ff44bc252e47ad89583390e0b9b782a5"},"schema_version":"1.0","source":{"id":"1905.11764","kind":"arxiv","version":1}},"canonical_sha256":"e2fb236a078be4ac890ac90b9fe46d1f6f18eee29afe130cab9e38918b9a1fac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e2fb236a078be4ac890ac90b9fe46d1f6f18eee29afe130cab9e38918b9a1fac","first_computed_at":"2026-05-17T23:44:52.382050Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:52.382050Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iJd3GryavVnPW14wmB7Qo084vIcCCPC6GLIrNlVsWQ4oyOeE4SBgxEt3pBugc6s9r8qC7aVvbOM2aAn4N0QEAQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:52.382996Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.11764","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:782ae1530d3fb5d1dead14d176f9a80f087e26517e16dbc14473cfbaf15153b1","sha256:1de5d5e795bd429a82699aa0fca2d253164786036ce7baca6654b5ca329e41c6"],"state_sha256":"b0825345187c34093e4ae2c877cd4ca33468b7bc0a6b083d092f9e06ec63b5d4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JlUAmCUTcIPmwT6ZXCxyKeUp0HLzL5UiUGrz7w/QXiCw4lUihfxcyQjcTVqXJGlY8JrFrKptJbbM01h8OWLkAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T19:18:48.870434Z","bundle_sha256":"834428ecabbeb2b89ef400601bae091a0423b872950fa86d14858bb69f51b045"}}