{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:VGNFJPP7V7Q7YDEOK2WYYBR3JU","short_pith_number":"pith:VGNFJPP7","canonical_record":{"source":{"id":"1809.07141","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-19T12:18:10Z","cross_cats_sorted":[],"title_canon_sha256":"f794797e0f5e94f001a854940ff8a5003c1b04ff3a9ec81fea44bedff599f8f7","abstract_canon_sha256":"c80fb2534f54ba875c0cafb9bb60d96ae52452f9db7f3af67526f17ff6036a46"},"schema_version":"1.0"},"canonical_sha256":"a99a54bdffafe1fc0c8e56ad8c063b4d14745bb7e94494bc215322338a95ef35","source":{"kind":"arxiv","id":"1809.07141","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.07141","created_at":"2026-05-18T00:05:20Z"},{"alias_kind":"arxiv_version","alias_value":"1809.07141v1","created_at":"2026-05-18T00:05:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.07141","created_at":"2026-05-18T00:05:20Z"},{"alias_kind":"pith_short_12","alias_value":"VGNFJPP7V7Q7","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VGNFJPP7V7Q7YDEO","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VGNFJPP7","created_at":"2026-05-18T12:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:VGNFJPP7V7Q7YDEOK2WYYBR3JU","target":"record","payload":{"canonical_record":{"source":{"id":"1809.07141","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-19T12:18:10Z","cross_cats_sorted":[],"title_canon_sha256":"f794797e0f5e94f001a854940ff8a5003c1b04ff3a9ec81fea44bedff599f8f7","abstract_canon_sha256":"c80fb2534f54ba875c0cafb9bb60d96ae52452f9db7f3af67526f17ff6036a46"},"schema_version":"1.0"},"canonical_sha256":"a99a54bdffafe1fc0c8e56ad8c063b4d14745bb7e94494bc215322338a95ef35","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:05:20.602760Z","signature_b64":"uke00wMysyQUCbdXZHiMIKqpAxyulSbAvuhG9sQAKxq1q2l0wBpuOwxDHZzSn+eGy7TF33sHE5pyV2AGaD2yDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a99a54bdffafe1fc0c8e56ad8c063b4d14745bb7e94494bc215322338a95ef35","last_reissued_at":"2026-05-18T00:05:20.602033Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:05:20.602033Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.07141","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-18T00:05:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xrspllq+jDn2l/E+VGDep3j7J+bK3Tki3uUARxjTYqHPsTxBHAUfADzLLQ8PlkCVUMBBnWrnKzhccLdMmDJoDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T07:57:00.330333Z"},"content_sha256":"0ebe8d7119304967d2b30760fdadea5fa19417a5fff8de62778753a8061a5211","schema_version":"1.0","event_id":"sha256:0ebe8d7119304967d2b30760fdadea5fa19417a5fff8de62778753a8061a5211"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:VGNFJPP7V7Q7YDEOK2WYYBR3JU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A survey of advances in epistemic logic program solvers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Anthony P. Leclerc, Patrick Thor Kahl","submitted_at":"2018-09-19T12:18:10Z","abstract_excerpt":"Recent research in extensions of Answer Set Programming has included a renewed interest in the language of Epistemic Specifications, which adds modal operators K (\"known\") and M (\"may be true\") to provide for more powerful introspective reasoning and enhanced capability, particularly when reasoning with incomplete information. An epistemic logic program is a set of rules in this language. Infused with the research has been the desire for an efficient solver to enable the practical use of such programs for problem solving. In this paper, we report on the current state of development of epistemi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.07141","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-18T00:05:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CHHoagqEJFJa9dkV1kFif1CBJUO9Upo5Pr1Pw+ThIogCaEljtIxX6CWHlBAGxpYJwpmIzvGICQAQSA0CtaeZDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T07:57:00.331072Z"},"content_sha256":"af3fde3b52f06bb20ad485e82721e0157d2dc7c50df4f077eb2da23999150d3c","schema_version":"1.0","event_id":"sha256:af3fde3b52f06bb20ad485e82721e0157d2dc7c50df4f077eb2da23999150d3c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VGNFJPP7V7Q7YDEOK2WYYBR3JU/bundle.json","state_url":"https://pith.science/pith/VGNFJPP7V7Q7YDEOK2WYYBR3JU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VGNFJPP7V7Q7YDEOK2WYYBR3JU/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-09T07:57:00Z","links":{"resolver":"https://pith.science/pith/VGNFJPP7V7Q7YDEOK2WYYBR3JU","bundle":"https://pith.science/pith/VGNFJPP7V7Q7YDEOK2WYYBR3JU/bundle.json","state":"https://pith.science/pith/VGNFJPP7V7Q7YDEOK2WYYBR3JU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VGNFJPP7V7Q7YDEOK2WYYBR3JU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:VGNFJPP7V7Q7YDEOK2WYYBR3JU","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":"c80fb2534f54ba875c0cafb9bb60d96ae52452f9db7f3af67526f17ff6036a46","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-19T12:18:10Z","title_canon_sha256":"f794797e0f5e94f001a854940ff8a5003c1b04ff3a9ec81fea44bedff599f8f7"},"schema_version":"1.0","source":{"id":"1809.07141","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.07141","created_at":"2026-05-18T00:05:20Z"},{"alias_kind":"arxiv_version","alias_value":"1809.07141v1","created_at":"2026-05-18T00:05:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.07141","created_at":"2026-05-18T00:05:20Z"},{"alias_kind":"pith_short_12","alias_value":"VGNFJPP7V7Q7","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VGNFJPP7V7Q7YDEO","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VGNFJPP7","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:af3fde3b52f06bb20ad485e82721e0157d2dc7c50df4f077eb2da23999150d3c","target":"graph","created_at":"2026-05-18T00:05:20Z","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":"Recent research in extensions of Answer Set Programming has included a renewed interest in the language of Epistemic Specifications, which adds modal operators K (\"known\") and M (\"may be true\") to provide for more powerful introspective reasoning and enhanced capability, particularly when reasoning with incomplete information. An epistemic logic program is a set of rules in this language. Infused with the research has been the desire for an efficient solver to enable the practical use of such programs for problem solving. In this paper, we report on the current state of development of epistemi","authors_text":"Anthony P. Leclerc, Patrick Thor Kahl","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-19T12:18:10Z","title":"A survey of advances in epistemic logic program solvers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.07141","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:0ebe8d7119304967d2b30760fdadea5fa19417a5fff8de62778753a8061a5211","target":"record","created_at":"2026-05-18T00:05:20Z","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":"c80fb2534f54ba875c0cafb9bb60d96ae52452f9db7f3af67526f17ff6036a46","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2018-09-19T12:18:10Z","title_canon_sha256":"f794797e0f5e94f001a854940ff8a5003c1b04ff3a9ec81fea44bedff599f8f7"},"schema_version":"1.0","source":{"id":"1809.07141","kind":"arxiv","version":1}},"canonical_sha256":"a99a54bdffafe1fc0c8e56ad8c063b4d14745bb7e94494bc215322338a95ef35","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a99a54bdffafe1fc0c8e56ad8c063b4d14745bb7e94494bc215322338a95ef35","first_computed_at":"2026-05-18T00:05:20.602033Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:05:20.602033Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"uke00wMysyQUCbdXZHiMIKqpAxyulSbAvuhG9sQAKxq1q2l0wBpuOwxDHZzSn+eGy7TF33sHE5pyV2AGaD2yDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:05:20.602760Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.07141","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0ebe8d7119304967d2b30760fdadea5fa19417a5fff8de62778753a8061a5211","sha256:af3fde3b52f06bb20ad485e82721e0157d2dc7c50df4f077eb2da23999150d3c"],"state_sha256":"329ebe95ad6a1a68671f313a8dd9543b82334d5132f612dc687dff7cf4134878"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IehehZB77WNxgefU1fvXapiStlPi2Uao1oj3M7jxLuQJReFNQmXKVFVCfSCYhGI4l1JaZsyO4YhVsV2Ox7oJDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T07:57:00.336222Z","bundle_sha256":"27a8b62021bfb2063d01d35b3498df3bdb67d898ddf2a01373b50b9286f82b36"}}