{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:OWQAANYMDU37Y2KWYL3FZKJ32K","short_pith_number":"pith:OWQAANYM","canonical_record":{"source":{"id":"1607.08864","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-07-29T16:26:54Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"1702209398db031955882689211fd1d8a21b3eeec13f6f306e5da473f30244f4","abstract_canon_sha256":"c3d337071736fd6f285b2886a8ce02a7c4b58d3d599b775ae7e68e337893e453"},"schema_version":"1.0"},"canonical_sha256":"75a000370c1d37fc6956c2f65ca93bd2be45da90671f736d9397a1556b15ed86","source":{"kind":"arxiv","id":"1607.08864","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.08864","created_at":"2026-05-18T01:09:57Z"},{"alias_kind":"arxiv_version","alias_value":"1607.08864v2","created_at":"2026-05-18T01:09:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.08864","created_at":"2026-05-18T01:09:57Z"},{"alias_kind":"pith_short_12","alias_value":"OWQAANYMDU37","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OWQAANYMDU37Y2KW","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OWQAANYM","created_at":"2026-05-18T12:30:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:OWQAANYMDU37Y2KWYL3FZKJ32K","target":"record","payload":{"canonical_record":{"source":{"id":"1607.08864","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-07-29T16:26:54Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"1702209398db031955882689211fd1d8a21b3eeec13f6f306e5da473f30244f4","abstract_canon_sha256":"c3d337071736fd6f285b2886a8ce02a7c4b58d3d599b775ae7e68e337893e453"},"schema_version":"1.0"},"canonical_sha256":"75a000370c1d37fc6956c2f65ca93bd2be45da90671f736d9397a1556b15ed86","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:09:57.137053Z","signature_b64":"lTOCQcW5y07KiBDPPapfiBlY0ZjwB0ywCjo90H8r6ZG9+37QefeEJBazxItOH1vZ6CSJjiwO9o17PR2vYRZgDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"75a000370c1d37fc6956c2f65ca93bd2be45da90671f736d9397a1556b15ed86","last_reissued_at":"2026-05-18T01:09:57.136072Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:09:57.136072Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1607.08864","source_version":2,"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:09:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z5H0xhU+h5NuRt6ybm2hVmpTULFdsxOIVd0BoTBikb3LxkKfafLoGGU0sbAorAEMMu1l6ggsZ5PgIPEBFxZ3DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T12:23:22.049726Z"},"content_sha256":"d0206ec187252bf1748fa7fc4cc31f69c829246f4f37157dbce3340550c789af","schema_version":"1.0","event_id":"sha256:d0206ec187252bf1748fa7fc4cc31f69c829246f4f37157dbce3340550c789af"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:OWQAANYMDU37Y2KWYL3FZKJ32K","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The DLVHEX System for Knowledge Representation: Recent Advances (System Description)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.PL"],"primary_cat":"cs.CL","authors_text":"Christoph Redl","submitted_at":"2016-07-29T16:26:54Z","abstract_excerpt":"The DLVHEX system implements the HEX-semantics, which integrates answer set programming (ASP) with arbitrary external sources. Since its first release ten years ago, significant advancements were achieved. Most importantly, the exploitation of properties of external sources led to efficiency improvements and flexibility enhancements of the language, and technical improvements on the system side increased user's convenience. In this paper, we present the current status of the system and point out the most important recent enhancements over early versions. While existing literature focuses on th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.08864","kind":"arxiv","version":2},"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:09:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Fe7kkaEI53gctm3dSky4EISz9KJGOlbZw1zPiq7vnq71dRQzJK+0r1n5Me2nIkzxrRHRMZKhOKGxWpAB6R5CAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T12:23:22.050430Z"},"content_sha256":"0299c34f1619e0c35a21ab10bc7f9f3f025cfdd789460a2d842f5f1676ae86e7","schema_version":"1.0","event_id":"sha256:0299c34f1619e0c35a21ab10bc7f9f3f025cfdd789460a2d842f5f1676ae86e7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OWQAANYMDU37Y2KWYL3FZKJ32K/bundle.json","state_url":"https://pith.science/pith/OWQAANYMDU37Y2KWYL3FZKJ32K/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OWQAANYMDU37Y2KWYL3FZKJ32K/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-27T12:23:22Z","links":{"resolver":"https://pith.science/pith/OWQAANYMDU37Y2KWYL3FZKJ32K","bundle":"https://pith.science/pith/OWQAANYMDU37Y2KWYL3FZKJ32K/bundle.json","state":"https://pith.science/pith/OWQAANYMDU37Y2KWYL3FZKJ32K/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OWQAANYMDU37Y2KWYL3FZKJ32K/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:OWQAANYMDU37Y2KWYL3FZKJ32K","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":"c3d337071736fd6f285b2886a8ce02a7c4b58d3d599b775ae7e68e337893e453","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-07-29T16:26:54Z","title_canon_sha256":"1702209398db031955882689211fd1d8a21b3eeec13f6f306e5da473f30244f4"},"schema_version":"1.0","source":{"id":"1607.08864","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1607.08864","created_at":"2026-05-18T01:09:57Z"},{"alias_kind":"arxiv_version","alias_value":"1607.08864v2","created_at":"2026-05-18T01:09:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1607.08864","created_at":"2026-05-18T01:09:57Z"},{"alias_kind":"pith_short_12","alias_value":"OWQAANYMDU37","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"OWQAANYMDU37Y2KW","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"OWQAANYM","created_at":"2026-05-18T12:30:36Z"}],"graph_snapshots":[{"event_id":"sha256:0299c34f1619e0c35a21ab10bc7f9f3f025cfdd789460a2d842f5f1676ae86e7","target":"graph","created_at":"2026-05-18T01:09:57Z","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 DLVHEX system implements the HEX-semantics, which integrates answer set programming (ASP) with arbitrary external sources. Since its first release ten years ago, significant advancements were achieved. Most importantly, the exploitation of properties of external sources led to efficiency improvements and flexibility enhancements of the language, and technical improvements on the system side increased user's convenience. In this paper, we present the current status of the system and point out the most important recent enhancements over early versions. While existing literature focuses on th","authors_text":"Christoph Redl","cross_cats":["cs.AI","cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-07-29T16:26:54Z","title":"The DLVHEX System for Knowledge Representation: Recent Advances (System Description)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1607.08864","kind":"arxiv","version":2},"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:d0206ec187252bf1748fa7fc4cc31f69c829246f4f37157dbce3340550c789af","target":"record","created_at":"2026-05-18T01:09:57Z","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":"c3d337071736fd6f285b2886a8ce02a7c4b58d3d599b775ae7e68e337893e453","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CL","submitted_at":"2016-07-29T16:26:54Z","title_canon_sha256":"1702209398db031955882689211fd1d8a21b3eeec13f6f306e5da473f30244f4"},"schema_version":"1.0","source":{"id":"1607.08864","kind":"arxiv","version":2}},"canonical_sha256":"75a000370c1d37fc6956c2f65ca93bd2be45da90671f736d9397a1556b15ed86","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"75a000370c1d37fc6956c2f65ca93bd2be45da90671f736d9397a1556b15ed86","first_computed_at":"2026-05-18T01:09:57.136072Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:57.136072Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lTOCQcW5y07KiBDPPapfiBlY0ZjwB0ywCjo90H8r6ZG9+37QefeEJBazxItOH1vZ6CSJjiwO9o17PR2vYRZgDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:57.137053Z","signed_message":"canonical_sha256_bytes"},"source_id":"1607.08864","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d0206ec187252bf1748fa7fc4cc31f69c829246f4f37157dbce3340550c789af","sha256:0299c34f1619e0c35a21ab10bc7f9f3f025cfdd789460a2d842f5f1676ae86e7"],"state_sha256":"0673de9b9d7a14047ed06622484fbc0ec3bfdea2eb34771a8364a87fe0b32906"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4FbjwyOG/NareRk+2MPmaOi+UEB8BVleuit27jbdFH0dX7Iqz0/ck4soTupnX5aoN0tPeBxkqFY6SWlJOtOMCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T12:23:22.053820Z","bundle_sha256":"ab8d8db917fb78ef898847e64fe25ae2e65fcb581b21289f32174f2824041221"}}