{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:QWV65U4ULZ376PZ7P3OH6XSSIA","short_pith_number":"pith:QWV65U4U","canonical_record":{"source":{"id":"1304.2755","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:49:54Z","cross_cats_sorted":[],"title_canon_sha256":"9d3a6ed4c1a6291997b04bb1e33cb6d0a66b842d6d16093374cf6b17916112b4","abstract_canon_sha256":"8a4afa78ec889e43e337d83749c120523b45498319b13dce75b5ebd237520b56"},"schema_version":"1.0"},"canonical_sha256":"85abeed3945e77ff3f3f7edc7f5e524039ff34a124d3ebcde7afc35d5cb9f358","source":{"kind":"arxiv","id":"1304.2755","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.2755","created_at":"2026-05-18T03:28:28Z"},{"alias_kind":"arxiv_version","alias_value":"1304.2755v1","created_at":"2026-05-18T03:28:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.2755","created_at":"2026-05-18T03:28:28Z"},{"alias_kind":"pith_short_12","alias_value":"QWV65U4ULZ37","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"QWV65U4ULZ376PZ7","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"QWV65U4U","created_at":"2026-05-18T12:27:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:QWV65U4ULZ376PZ7P3OH6XSSIA","target":"record","payload":{"canonical_record":{"source":{"id":"1304.2755","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:49:54Z","cross_cats_sorted":[],"title_canon_sha256":"9d3a6ed4c1a6291997b04bb1e33cb6d0a66b842d6d16093374cf6b17916112b4","abstract_canon_sha256":"8a4afa78ec889e43e337d83749c120523b45498319b13dce75b5ebd237520b56"},"schema_version":"1.0"},"canonical_sha256":"85abeed3945e77ff3f3f7edc7f5e524039ff34a124d3ebcde7afc35d5cb9f358","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:28:28.358333Z","signature_b64":"VHueYipJWMDNECdT7bmMic5xA/90sstmpzjLk0ko9LGCDwczfp9ia10TeQl3bQALaTYla9VivBKY0CP9f+YLBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"85abeed3945e77ff3f3f7edc7f5e524039ff34a124d3ebcde7afc35d5cb9f358","last_reissued_at":"2026-05-18T03:28:28.357588Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:28:28.357588Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1304.2755","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-18T03:28:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3Mi4/Ip4WPcScaf+SFNNPBYA/93juYFwo4mIjL2ttlmdtYXfWEY5SR0kWBzab5lw6h4OBFaM5FP1vgXGbacRCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:16:20.324303Z"},"content_sha256":"e7ec60984947da8aa2fcd3a94324a02a59e46fd8e56c029d330b3504007e981c","schema_version":"1.0","event_id":"sha256:e7ec60984947da8aa2fcd3a94324a02a59e46fd8e56c029d330b3504007e981c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:QWV65U4ULZ376PZ7P3OH6XSSIA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Combining Symbolic and Numeric Approaches to Uncertainty Management","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Bruce D'Ambrosio","submitted_at":"2013-03-27T19:49:54Z","abstract_excerpt":"A complete approach to reasoning under uncertainty requires support for incremental and interactive formulation and revision of, as well as reasoning with, models of the problem domain capable of representing our uncertainty. We present a hybrid reasoning scheme which combines symbolic and numeric methods for uncertainty management to provide efficient and effective support for each of these tasks. The hybrid is based on symbolic techniques adapted from Assumption-based Truth Maintenance systems (ATMS), combined with numeric methods adapted from the Dempster/Shafer theory of evidence, as exten"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.2755","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-18T03:28:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bX4US/LruM5ZB5NsOvQ6CqijGwkw+vOk7QIxPixz3MxH/oTnxMD2B6iUX1gWpd8Rs8xxMrixDjfDpGGKAoDNAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:16:20.325013Z"},"content_sha256":"4dad60dbe855728bd36324ca05aed74916da63c2cc3b314a62099c397c17324a","schema_version":"1.0","event_id":"sha256:4dad60dbe855728bd36324ca05aed74916da63c2cc3b314a62099c397c17324a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QWV65U4ULZ376PZ7P3OH6XSSIA/bundle.json","state_url":"https://pith.science/pith/QWV65U4ULZ376PZ7P3OH6XSSIA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QWV65U4ULZ376PZ7P3OH6XSSIA/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-26T03:16:20Z","links":{"resolver":"https://pith.science/pith/QWV65U4ULZ376PZ7P3OH6XSSIA","bundle":"https://pith.science/pith/QWV65U4ULZ376PZ7P3OH6XSSIA/bundle.json","state":"https://pith.science/pith/QWV65U4ULZ376PZ7P3OH6XSSIA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QWV65U4ULZ376PZ7P3OH6XSSIA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:QWV65U4ULZ376PZ7P3OH6XSSIA","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":"8a4afa78ec889e43e337d83749c120523b45498319b13dce75b5ebd237520b56","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:49:54Z","title_canon_sha256":"9d3a6ed4c1a6291997b04bb1e33cb6d0a66b842d6d16093374cf6b17916112b4"},"schema_version":"1.0","source":{"id":"1304.2755","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.2755","created_at":"2026-05-18T03:28:28Z"},{"alias_kind":"arxiv_version","alias_value":"1304.2755v1","created_at":"2026-05-18T03:28:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.2755","created_at":"2026-05-18T03:28:28Z"},{"alias_kind":"pith_short_12","alias_value":"QWV65U4ULZ37","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"QWV65U4ULZ376PZ7","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"QWV65U4U","created_at":"2026-05-18T12:27:57Z"}],"graph_snapshots":[{"event_id":"sha256:4dad60dbe855728bd36324ca05aed74916da63c2cc3b314a62099c397c17324a","target":"graph","created_at":"2026-05-18T03:28:28Z","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":"A complete approach to reasoning under uncertainty requires support for incremental and interactive formulation and revision of, as well as reasoning with, models of the problem domain capable of representing our uncertainty. We present a hybrid reasoning scheme which combines symbolic and numeric methods for uncertainty management to provide efficient and effective support for each of these tasks. The hybrid is based on symbolic techniques adapted from Assumption-based Truth Maintenance systems (ATMS), combined with numeric methods adapted from the Dempster/Shafer theory of evidence, as exten","authors_text":"Bruce D'Ambrosio","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:49:54Z","title":"Combining Symbolic and Numeric Approaches to Uncertainty Management"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.2755","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:e7ec60984947da8aa2fcd3a94324a02a59e46fd8e56c029d330b3504007e981c","target":"record","created_at":"2026-05-18T03:28:28Z","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":"8a4afa78ec889e43e337d83749c120523b45498319b13dce75b5ebd237520b56","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-03-27T19:49:54Z","title_canon_sha256":"9d3a6ed4c1a6291997b04bb1e33cb6d0a66b842d6d16093374cf6b17916112b4"},"schema_version":"1.0","source":{"id":"1304.2755","kind":"arxiv","version":1}},"canonical_sha256":"85abeed3945e77ff3f3f7edc7f5e524039ff34a124d3ebcde7afc35d5cb9f358","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"85abeed3945e77ff3f3f7edc7f5e524039ff34a124d3ebcde7afc35d5cb9f358","first_computed_at":"2026-05-18T03:28:28.357588Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:28:28.357588Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"VHueYipJWMDNECdT7bmMic5xA/90sstmpzjLk0ko9LGCDwczfp9ia10TeQl3bQALaTYla9VivBKY0CP9f+YLBg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:28:28.358333Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.2755","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e7ec60984947da8aa2fcd3a94324a02a59e46fd8e56c029d330b3504007e981c","sha256:4dad60dbe855728bd36324ca05aed74916da63c2cc3b314a62099c397c17324a"],"state_sha256":"f0b062fb54c334accfebc921ab32ef0ef4f7a7f4af854b4d8c0c58ed802b5d54"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vXKRrocHk0KGXoQxlTeYiwoATPoIJL/mAkyPB2rrMTOrtniDFojV6U730jZqfvzCh6HzdPTyQJWPb2t0oSSxCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T03:16:20.328918Z","bundle_sha256":"da47e4766d6f513a6ed98f1ffb4b13d64a6505a3779861ce1c76352657f43f05"}}