{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:YUETYSNUUQYIJMEAATJBUBZX5J","short_pith_number":"pith:YUETYSNU","canonical_record":{"source":{"id":"1608.01946","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-05T17:33:23Z","cross_cats_sorted":[],"title_canon_sha256":"b0d0249529271876344e7a57156c0a0d73ac10e918601a8bd4648c8be08a095e","abstract_canon_sha256":"08ea96868e8a9001ad0d1b258cd7378f8b7ab60267e98945277baa994a3c3fea"},"schema_version":"1.0"},"canonical_sha256":"c5093c49b4a43084b08004d21a0737ea56f53665e7d1cb4922a3166fe819ab3a","source":{"kind":"arxiv","id":"1608.01946","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.01946","created_at":"2026-05-18T01:09:44Z"},{"alias_kind":"arxiv_version","alias_value":"1608.01946v1","created_at":"2026-05-18T01:09:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.01946","created_at":"2026-05-18T01:09:44Z"},{"alias_kind":"pith_short_12","alias_value":"YUETYSNUUQYI","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"YUETYSNUUQYIJMEA","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"YUETYSNU","created_at":"2026-05-18T12:30:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:YUETYSNUUQYIJMEAATJBUBZX5J","target":"record","payload":{"canonical_record":{"source":{"id":"1608.01946","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-05T17:33:23Z","cross_cats_sorted":[],"title_canon_sha256":"b0d0249529271876344e7a57156c0a0d73ac10e918601a8bd4648c8be08a095e","abstract_canon_sha256":"08ea96868e8a9001ad0d1b258cd7378f8b7ab60267e98945277baa994a3c3fea"},"schema_version":"1.0"},"canonical_sha256":"c5093c49b4a43084b08004d21a0737ea56f53665e7d1cb4922a3166fe819ab3a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:09:44.211172Z","signature_b64":"u0aNznahZVbKBn466cV/Aq0KPtf4eO9DtwarlhWtG8GeW4zWStw/fadrGWI5bS4oMxXHmX9xNhJZnoxor5naBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c5093c49b4a43084b08004d21a0737ea56f53665e7d1cb4922a3166fe819ab3a","last_reissued_at":"2026-05-18T01:09:44.210498Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:09:44.210498Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1608.01946","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:09:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jyFdUL9TTcmoxYMbFCBREjrDWScFuEbFiYmW/Zgg90dUtgxQofEEOAHkm/hRHS8tXBYdl5yya2Aj1Z401W8WCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T20:30:23.126754Z"},"content_sha256":"ff96eaf0d7447b99e3dae228c18ab6818e54217e4cc8d624ba71d2e05c9209ab","schema_version":"1.0","event_id":"sha256:ff96eaf0d7447b99e3dae228c18ab6818e54217e4cc8d624ba71d2e05c9209ab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:YUETYSNUUQYIJMEAATJBUBZX5J","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Iterative Learning of Answer Set Programs from Context Dependent Examples","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Alessandra Russo, Krysia Broda, Mark Law","submitted_at":"2016-08-05T17:33:23Z","abstract_excerpt":"In recent years, several frameworks and systems have been proposed that extend Inductive Logic Programming (ILP) to the Answer Set Programming (ASP) paradigm. In ILP, examples must all be explained by a hypothesis together with a given background knowledge. In existing systems, the background knowledge is the same for all examples; however, examples may be context-dependent. This means that some examples should be explained in the context of some information, whereas others should be explained in different contexts. In this paper, we capture this notion and present a context-dependent extensio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.01946","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:09:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"otH5eWIZl2k1OuTJa3jX1/FOo/Z0MHJLMsT0IeyNsko5R0zkw3424WRXLZdWLpWPPE4UUf0zubi5mOQHcBGbBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T20:30:23.127422Z"},"content_sha256":"3ccbb5f56b2258b3bbcc23b3eb30a4164e2fcdac29e6d7bfb97c55d4633dea14","schema_version":"1.0","event_id":"sha256:3ccbb5f56b2258b3bbcc23b3eb30a4164e2fcdac29e6d7bfb97c55d4633dea14"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YUETYSNUUQYIJMEAATJBUBZX5J/bundle.json","state_url":"https://pith.science/pith/YUETYSNUUQYIJMEAATJBUBZX5J/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YUETYSNUUQYIJMEAATJBUBZX5J/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-25T20:30:23Z","links":{"resolver":"https://pith.science/pith/YUETYSNUUQYIJMEAATJBUBZX5J","bundle":"https://pith.science/pith/YUETYSNUUQYIJMEAATJBUBZX5J/bundle.json","state":"https://pith.science/pith/YUETYSNUUQYIJMEAATJBUBZX5J/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YUETYSNUUQYIJMEAATJBUBZX5J/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:YUETYSNUUQYIJMEAATJBUBZX5J","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":"08ea96868e8a9001ad0d1b258cd7378f8b7ab60267e98945277baa994a3c3fea","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-05T17:33:23Z","title_canon_sha256":"b0d0249529271876344e7a57156c0a0d73ac10e918601a8bd4648c8be08a095e"},"schema_version":"1.0","source":{"id":"1608.01946","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1608.01946","created_at":"2026-05-18T01:09:44Z"},{"alias_kind":"arxiv_version","alias_value":"1608.01946v1","created_at":"2026-05-18T01:09:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.01946","created_at":"2026-05-18T01:09:44Z"},{"alias_kind":"pith_short_12","alias_value":"YUETYSNUUQYI","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"YUETYSNUUQYIJMEA","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"YUETYSNU","created_at":"2026-05-18T12:30:53Z"}],"graph_snapshots":[{"event_id":"sha256:3ccbb5f56b2258b3bbcc23b3eb30a4164e2fcdac29e6d7bfb97c55d4633dea14","target":"graph","created_at":"2026-05-18T01:09:44Z","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 recent years, several frameworks and systems have been proposed that extend Inductive Logic Programming (ILP) to the Answer Set Programming (ASP) paradigm. In ILP, examples must all be explained by a hypothesis together with a given background knowledge. In existing systems, the background knowledge is the same for all examples; however, examples may be context-dependent. This means that some examples should be explained in the context of some information, whereas others should be explained in different contexts. In this paper, we capture this notion and present a context-dependent extensio","authors_text":"Alessandra Russo, Krysia Broda, Mark Law","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-05T17:33:23Z","title":"Iterative Learning of Answer Set Programs from Context Dependent Examples"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.01946","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:ff96eaf0d7447b99e3dae228c18ab6818e54217e4cc8d624ba71d2e05c9209ab","target":"record","created_at":"2026-05-18T01:09:44Z","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":"08ea96868e8a9001ad0d1b258cd7378f8b7ab60267e98945277baa994a3c3fea","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2016-08-05T17:33:23Z","title_canon_sha256":"b0d0249529271876344e7a57156c0a0d73ac10e918601a8bd4648c8be08a095e"},"schema_version":"1.0","source":{"id":"1608.01946","kind":"arxiv","version":1}},"canonical_sha256":"c5093c49b4a43084b08004d21a0737ea56f53665e7d1cb4922a3166fe819ab3a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c5093c49b4a43084b08004d21a0737ea56f53665e7d1cb4922a3166fe819ab3a","first_computed_at":"2026-05-18T01:09:44.210498Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:09:44.210498Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u0aNznahZVbKBn466cV/Aq0KPtf4eO9DtwarlhWtG8GeW4zWStw/fadrGWI5bS4oMxXHmX9xNhJZnoxor5naBg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:09:44.211172Z","signed_message":"canonical_sha256_bytes"},"source_id":"1608.01946","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ff96eaf0d7447b99e3dae228c18ab6818e54217e4cc8d624ba71d2e05c9209ab","sha256:3ccbb5f56b2258b3bbcc23b3eb30a4164e2fcdac29e6d7bfb97c55d4633dea14"],"state_sha256":"9e5d0a8ed2b75e6edb6977eb3642646887991d8b70e225d9ee2973e3a8144f8a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LrnjhQTe4s5zOcBCLb/sWsQHYlBW8cUdkAYtaVGSHIsESN9+xoE6vgpULEljPIa1j5UwRIkXiOhL+5VQ1a8UBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T20:30:23.130064Z","bundle_sha256":"149a829d197faea086e6d27fc90b36a4ce2fac642473a1e2c25a5765ba653f06"}}