{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:GX5UVVZCPWPRMJFFHEJFFSBWXI","short_pith_number":"pith:GX5UVVZC","canonical_record":{"source":{"id":"1605.01846","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-06T07:39:19Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"8e554c8eb380dd999c75b4ea10990a1e30a47e0a12a98ee920812c2fe3f25dc9","abstract_canon_sha256":"6b0f0a899b79b58f9f919993e94164fab9b1416de9e6e7a7efa5efc740a7a1d0"},"schema_version":"1.0"},"canonical_sha256":"35fb4ad7227d9f1624a5391252c836ba38b19c447d9ea587f2f346e22d95127f","source":{"kind":"arxiv","id":"1605.01846","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.01846","created_at":"2026-05-18T01:11:30Z"},{"alias_kind":"arxiv_version","alias_value":"1605.01846v1","created_at":"2026-05-18T01:11:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.01846","created_at":"2026-05-18T01:11:30Z"},{"alias_kind":"pith_short_12","alias_value":"GX5UVVZCPWPR","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"GX5UVVZCPWPRMJFF","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"GX5UVVZC","created_at":"2026-05-18T12:30:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:GX5UVVZCPWPRMJFFHEJFFSBWXI","target":"record","payload":{"canonical_record":{"source":{"id":"1605.01846","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-06T07:39:19Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"8e554c8eb380dd999c75b4ea10990a1e30a47e0a12a98ee920812c2fe3f25dc9","abstract_canon_sha256":"6b0f0a899b79b58f9f919993e94164fab9b1416de9e6e7a7efa5efc740a7a1d0"},"schema_version":"1.0"},"canonical_sha256":"35fb4ad7227d9f1624a5391252c836ba38b19c447d9ea587f2f346e22d95127f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:30.729374Z","signature_b64":"LHc470GN/pIVCed4nd7ozEix4c9UWvtjp6qVRJFwdTO48kY0EgnYcH8YtIJM1Cm5KudtjPDSU/1ABOWHCVS2Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"35fb4ad7227d9f1624a5391252c836ba38b19c447d9ea587f2f346e22d95127f","last_reissued_at":"2026-05-18T01:11:30.728873Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:30.728873Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1605.01846","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-18T01:11:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZilYEJDppaQdDZzWVIS3EGUbIcSmbgZePoWTGXzAkXY22mgd+ychxvTgYf02BbChQ+aN3ZCafYAsjQacoS7mDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T04:39:50.881455Z"},"content_sha256":"9b24726d1ee1200ea089fdfd0be2b7efe700cfd2d949e9941617e44e35c0e1cd","schema_version":"1.0","event_id":"sha256:9b24726d1ee1200ea089fdfd0be2b7efe700cfd2d949e9941617e44e35c0e1cd"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:GX5UVVZCPWPRMJFFHEJFFSBWXI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The KB paradigm and its application to interactive configuration","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Gerda Janssens, Ingmar Dasseville, Marc Denecker, Pieter Van Hertum","submitted_at":"2016-05-06T07:39:19Z","abstract_excerpt":"The knowledge base paradigm aims to express domain knowledge in a rich formal language, and to use this domain knowledge as a knowledge base to solve various problems and tasks that arise in the domain by applying multiple forms of inference. As such, the paradigm applies a strict separation of concerns between information and problem solving. In this paper, we analyze the principles and feasibility of the knowledge base paradigm in the context of an important class of applications: interactive configuration problems. In interactive configuration problems, a configuration of interrelated objec"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.01846","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-18T01:11:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hqOODc3a66aK2vrPFsAq1xPZIUjyAowLjMcvxrsfZAOKvP/zp0IVzcPFI8I+/9Ckdz+Ob1ED329ExD1jibDIDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T04:39:50.881810Z"},"content_sha256":"7619aaa54eb57ad246306a25e07c3dc6d51f80f9580fa4f2fa2aed2ef07f33b5","schema_version":"1.0","event_id":"sha256:7619aaa54eb57ad246306a25e07c3dc6d51f80f9580fa4f2fa2aed2ef07f33b5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GX5UVVZCPWPRMJFFHEJFFSBWXI/bundle.json","state_url":"https://pith.science/pith/GX5UVVZCPWPRMJFFHEJFFSBWXI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GX5UVVZCPWPRMJFFHEJFFSBWXI/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-28T04:39:50Z","links":{"resolver":"https://pith.science/pith/GX5UVVZCPWPRMJFFHEJFFSBWXI","bundle":"https://pith.science/pith/GX5UVVZCPWPRMJFFHEJFFSBWXI/bundle.json","state":"https://pith.science/pith/GX5UVVZCPWPRMJFFHEJFFSBWXI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GX5UVVZCPWPRMJFFHEJFFSBWXI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:GX5UVVZCPWPRMJFFHEJFFSBWXI","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":"6b0f0a899b79b58f9f919993e94164fab9b1416de9e6e7a7efa5efc740a7a1d0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-06T07:39:19Z","title_canon_sha256":"8e554c8eb380dd999c75b4ea10990a1e30a47e0a12a98ee920812c2fe3f25dc9"},"schema_version":"1.0","source":{"id":"1605.01846","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1605.01846","created_at":"2026-05-18T01:11:30Z"},{"alias_kind":"arxiv_version","alias_value":"1605.01846v1","created_at":"2026-05-18T01:11:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1605.01846","created_at":"2026-05-18T01:11:30Z"},{"alias_kind":"pith_short_12","alias_value":"GX5UVVZCPWPR","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_16","alias_value":"GX5UVVZCPWPRMJFF","created_at":"2026-05-18T12:30:19Z"},{"alias_kind":"pith_short_8","alias_value":"GX5UVVZC","created_at":"2026-05-18T12:30:19Z"}],"graph_snapshots":[{"event_id":"sha256:7619aaa54eb57ad246306a25e07c3dc6d51f80f9580fa4f2fa2aed2ef07f33b5","target":"graph","created_at":"2026-05-18T01:11:30Z","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":"The knowledge base paradigm aims to express domain knowledge in a rich formal language, and to use this domain knowledge as a knowledge base to solve various problems and tasks that arise in the domain by applying multiple forms of inference. As such, the paradigm applies a strict separation of concerns between information and problem solving. In this paper, we analyze the principles and feasibility of the knowledge base paradigm in the context of an important class of applications: interactive configuration problems. In interactive configuration problems, a configuration of interrelated objec","authors_text":"Gerda Janssens, Ingmar Dasseville, Marc Denecker, Pieter Van Hertum","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-06T07:39:19Z","title":"The KB paradigm and its application to interactive configuration"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1605.01846","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:9b24726d1ee1200ea089fdfd0be2b7efe700cfd2d949e9941617e44e35c0e1cd","target":"record","created_at":"2026-05-18T01:11:30Z","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":"6b0f0a899b79b58f9f919993e94164fab9b1416de9e6e7a7efa5efc740a7a1d0","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-05-06T07:39:19Z","title_canon_sha256":"8e554c8eb380dd999c75b4ea10990a1e30a47e0a12a98ee920812c2fe3f25dc9"},"schema_version":"1.0","source":{"id":"1605.01846","kind":"arxiv","version":1}},"canonical_sha256":"35fb4ad7227d9f1624a5391252c836ba38b19c447d9ea587f2f346e22d95127f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"35fb4ad7227d9f1624a5391252c836ba38b19c447d9ea587f2f346e22d95127f","first_computed_at":"2026-05-18T01:11:30.728873Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:30.728873Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LHc470GN/pIVCed4nd7ozEix4c9UWvtjp6qVRJFwdTO48kY0EgnYcH8YtIJM1Cm5KudtjPDSU/1ABOWHCVS2Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:30.729374Z","signed_message":"canonical_sha256_bytes"},"source_id":"1605.01846","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b24726d1ee1200ea089fdfd0be2b7efe700cfd2d949e9941617e44e35c0e1cd","sha256:7619aaa54eb57ad246306a25e07c3dc6d51f80f9580fa4f2fa2aed2ef07f33b5"],"state_sha256":"141c5047932a92fb3c5a64ba31dccf0b993b12e651f4dc71e2e7032e30f83d9c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NqqUmjUacyT+TrO1U3RqrGdpNj1zQPRhq1HwcTJskMfKbP4ybxgLa7UK950EOvEeVbt3oTgT26ms6v47srLVDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T04:39:50.883732Z","bundle_sha256":"be7adb43bfd5622a3dad88136f2e73743698c76739ea80b53374f343209ef10c"}}