{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:UHUYWBHKIHCBIKTVM7JJQDK3EM","short_pith_number":"pith:UHUYWBHK","canonical_record":{"source":{"id":"1612.04791","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-12-14T20:15:36Z","cross_cats_sorted":[],"title_canon_sha256":"d1a6ba4ef5cd858cddf5a500180f2000db33deaad791fd3c696c487b7cee5761","abstract_canon_sha256":"b7cd15e00cf0c92961d40a3bcbb7b59cde6ba16b28090f1547087df57946c21f"},"schema_version":"1.0"},"canonical_sha256":"a1e98b04ea41c4142a7567d2980d5b232ddec9f7c2bd846a13c118d2ac580ea1","source":{"kind":"arxiv","id":"1612.04791","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.04791","created_at":"2026-05-18T00:54:52Z"},{"alias_kind":"arxiv_version","alias_value":"1612.04791v3","created_at":"2026-05-18T00:54:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.04791","created_at":"2026-05-18T00:54:52Z"},{"alias_kind":"pith_short_12","alias_value":"UHUYWBHKIHCB","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"UHUYWBHKIHCBIKTV","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"UHUYWBHK","created_at":"2026-05-18T12:30:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:UHUYWBHKIHCBIKTVM7JJQDK3EM","target":"record","payload":{"canonical_record":{"source":{"id":"1612.04791","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-12-14T20:15:36Z","cross_cats_sorted":[],"title_canon_sha256":"d1a6ba4ef5cd858cddf5a500180f2000db33deaad791fd3c696c487b7cee5761","abstract_canon_sha256":"b7cd15e00cf0c92961d40a3bcbb7b59cde6ba16b28090f1547087df57946c21f"},"schema_version":"1.0"},"canonical_sha256":"a1e98b04ea41c4142a7567d2980d5b232ddec9f7c2bd846a13c118d2ac580ea1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:54:52.239851Z","signature_b64":"yAD8Oug2N/912GNCmWv2IwBf8esHeOAQJP4WCOooyPz93tXaNCORtnEh4LmAVPM95NCcPlm5Y568WXi4ktHYAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a1e98b04ea41c4142a7567d2980d5b232ddec9f7c2bd846a13c118d2ac580ea1","last_reissued_at":"2026-05-18T00:54:52.239326Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:54:52.239326Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.04791","source_version":3,"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:54:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+Z6Egwc+9Y5B0mweC18rzDqbRF7H9HB50okLio7wxqH/IGe/iyIzx608pk6mMsHIhEE4R3U9KUq3Q7buyq7xBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T02:42:00.637248Z"},"content_sha256":"21b5c53903da5ed12dea05f2e52843bc713b863c5504a2282ca195c385316619","schema_version":"1.0","event_id":"sha256:21b5c53903da5ed12dea05f2e52843bc713b863c5504a2282ca195c385316619"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:UHUYWBHKIHCBIKTVM7JJQDK3EM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Scalable Computation of Optimized Queries for Sequential Diagnosis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Kostyantyn Shchekotykhin, Patrick Rodler, Wolfgang Schmid","submitted_at":"2016-12-14T20:15:36Z","abstract_excerpt":"In many model-based diagnosis applications it is impossible to provide such a set of observations and/or measurements that allow to identify the real cause of a fault. Therefore, diagnosis systems often return many possible candidates, leaving the burden of selecting the correct diagnosis to a user. Sequential diagnosis techniques solve this problem by automatically generating a sequence of queries to some oracle. The answers to these queries provide additional information necessary to gradually restrict the search space by removing diagnosis candidates inconsistent with the answers.\n  During "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.04791","kind":"arxiv","version":3},"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:54:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2Dmg95FkBhn1hngDt45GAk9oAnamwDV/xMBz38zXebJlgq+wYe2K3a4rnMWXBmp+gqUKyl/6mMmWE7FkB5ZVAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T02:42:00.637614Z"},"content_sha256":"8525d3fed6dccf051c9ee663d89952f9d60364059974ca718823e31598abcba2","schema_version":"1.0","event_id":"sha256:8525d3fed6dccf051c9ee663d89952f9d60364059974ca718823e31598abcba2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UHUYWBHKIHCBIKTVM7JJQDK3EM/bundle.json","state_url":"https://pith.science/pith/UHUYWBHKIHCBIKTVM7JJQDK3EM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UHUYWBHKIHCBIKTVM7JJQDK3EM/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-03T02:42:00Z","links":{"resolver":"https://pith.science/pith/UHUYWBHKIHCBIKTVM7JJQDK3EM","bundle":"https://pith.science/pith/UHUYWBHKIHCBIKTVM7JJQDK3EM/bundle.json","state":"https://pith.science/pith/UHUYWBHKIHCBIKTVM7JJQDK3EM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UHUYWBHKIHCBIKTVM7JJQDK3EM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:UHUYWBHKIHCBIKTVM7JJQDK3EM","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":"b7cd15e00cf0c92961d40a3bcbb7b59cde6ba16b28090f1547087df57946c21f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-12-14T20:15:36Z","title_canon_sha256":"d1a6ba4ef5cd858cddf5a500180f2000db33deaad791fd3c696c487b7cee5761"},"schema_version":"1.0","source":{"id":"1612.04791","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.04791","created_at":"2026-05-18T00:54:52Z"},{"alias_kind":"arxiv_version","alias_value":"1612.04791v3","created_at":"2026-05-18T00:54:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.04791","created_at":"2026-05-18T00:54:52Z"},{"alias_kind":"pith_short_12","alias_value":"UHUYWBHKIHCB","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_16","alias_value":"UHUYWBHKIHCBIKTV","created_at":"2026-05-18T12:30:46Z"},{"alias_kind":"pith_short_8","alias_value":"UHUYWBHK","created_at":"2026-05-18T12:30:46Z"}],"graph_snapshots":[{"event_id":"sha256:8525d3fed6dccf051c9ee663d89952f9d60364059974ca718823e31598abcba2","target":"graph","created_at":"2026-05-18T00:54: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":"In many model-based diagnosis applications it is impossible to provide such a set of observations and/or measurements that allow to identify the real cause of a fault. Therefore, diagnosis systems often return many possible candidates, leaving the burden of selecting the correct diagnosis to a user. Sequential diagnosis techniques solve this problem by automatically generating a sequence of queries to some oracle. The answers to these queries provide additional information necessary to gradually restrict the search space by removing diagnosis candidates inconsistent with the answers.\n  During ","authors_text":"Kostyantyn Shchekotykhin, Patrick Rodler, Wolfgang Schmid","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-12-14T20:15:36Z","title":"Scalable Computation of Optimized Queries for Sequential Diagnosis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.04791","kind":"arxiv","version":3},"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:21b5c53903da5ed12dea05f2e52843bc713b863c5504a2282ca195c385316619","target":"record","created_at":"2026-05-18T00:54: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":"b7cd15e00cf0c92961d40a3bcbb7b59cde6ba16b28090f1547087df57946c21f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-12-14T20:15:36Z","title_canon_sha256":"d1a6ba4ef5cd858cddf5a500180f2000db33deaad791fd3c696c487b7cee5761"},"schema_version":"1.0","source":{"id":"1612.04791","kind":"arxiv","version":3}},"canonical_sha256":"a1e98b04ea41c4142a7567d2980d5b232ddec9f7c2bd846a13c118d2ac580ea1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a1e98b04ea41c4142a7567d2980d5b232ddec9f7c2bd846a13c118d2ac580ea1","first_computed_at":"2026-05-18T00:54:52.239326Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:54:52.239326Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yAD8Oug2N/912GNCmWv2IwBf8esHeOAQJP4WCOooyPz93tXaNCORtnEh4LmAVPM95NCcPlm5Y568WXi4ktHYAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:54:52.239851Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.04791","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:21b5c53903da5ed12dea05f2e52843bc713b863c5504a2282ca195c385316619","sha256:8525d3fed6dccf051c9ee663d89952f9d60364059974ca718823e31598abcba2"],"state_sha256":"ddc4f00b08fcbfc37d44ef93f43e5520879c1e6f685797ba9a3236f23fad975d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GrFIDcXVY9Ma9Qj5ffVMjjkwb8tWuSOtJ9xsFCSVk0bHlPUHS+GdMoKqNDHEBCkr7rxMAWuYur+WkaZ7dHQ9Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T02:42:00.639473Z","bundle_sha256":"62bfc556f8a97f6894b440393986bf37cccee655f00c1c20de7dd01e20f5c279"}}