{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:FJXWQXGH4CVPKUYAC2YP3SIMCX","short_pith_number":"pith:FJXWQXGH","canonical_record":{"source":{"id":"2005.00904","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-05-02T19:04:12Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"71bbfb44f8d05f78db39c672a7450f472f047faefad97258ac4dd0e14fc9fb55","abstract_canon_sha256":"73e35dd781a590ec2d20e97f4a9fe83e7669bdd32639e5d67eb48ab16b9389ef"},"schema_version":"1.0"},"canonical_sha256":"2a6f685cc7e0aaf5530016b0fdc90c15e77774030d8de7c6e36a4ba9550251d5","source":{"kind":"arxiv","id":"2005.00904","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.00904","created_at":"2026-07-05T01:00:02Z"},{"alias_kind":"arxiv_version","alias_value":"2005.00904v1","created_at":"2026-07-05T01:00:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.00904","created_at":"2026-07-05T01:00:02Z"},{"alias_kind":"pith_short_12","alias_value":"FJXWQXGH4CVP","created_at":"2026-07-05T01:00:02Z"},{"alias_kind":"pith_short_16","alias_value":"FJXWQXGH4CVPKUYA","created_at":"2026-07-05T01:00:02Z"},{"alias_kind":"pith_short_8","alias_value":"FJXWQXGH","created_at":"2026-07-05T01:00:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:FJXWQXGH4CVPKUYAC2YP3SIMCX","target":"record","payload":{"canonical_record":{"source":{"id":"2005.00904","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-05-02T19:04:12Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"71bbfb44f8d05f78db39c672a7450f472f047faefad97258ac4dd0e14fc9fb55","abstract_canon_sha256":"73e35dd781a590ec2d20e97f4a9fe83e7669bdd32639e5d67eb48ab16b9389ef"},"schema_version":"1.0"},"canonical_sha256":"2a6f685cc7e0aaf5530016b0fdc90c15e77774030d8de7c6e36a4ba9550251d5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:00:02.040849Z","signature_b64":"fk3mAq1wd7yP+W/tiyyfXttmF/7An6z2FMcUmGTkSX/1XpUgNchW1mHyladgzC21d4LesO5SqW4oDg6Zu9wGDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2a6f685cc7e0aaf5530016b0fdc90c15e77774030d8de7c6e36a4ba9550251d5","last_reissued_at":"2026-07-05T01:00:02.040457Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:00:02.040457Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2005.00904","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-07-05T01:00:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SOdQ1H0mLx0Xmje7tEHPkQIBLWSjDVi0H85+xKctWGJl2V9dBWvH/6mLCBhS6oQq7mdQTCBH+qWN1K+WZ1iIAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T12:40:17.095886Z"},"content_sha256":"30c46d2a01c1414787e710ad5f9bfdec8454bca854b05d0159f440a222f9626a","schema_version":"1.0","event_id":"sha256:30c46d2a01c1414787e710ad5f9bfdec8454bca854b05d0159f440a222f9626a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:FJXWQXGH4CVPKUYAC2YP3SIMCX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The ILASP system for Inductive Learning of Answer Set Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.AI","authors_text":"Alessandra Russo, Krysia Broda, Mark Law","submitted_at":"2020-05-02T19:04:12Z","abstract_excerpt":"The goal of Inductive Logic Programming (ILP) is to learn a program that explains a set of examples in the context of some pre-existing background knowledge. Until recently, most research on ILP targeted learning Prolog programs. Our own ILASP system instead learns Answer Set Programs, including normal rules, choice rules and hard and weak constraints. Learning such expressive programs widens the applicability of ILP considerably; for example, enabling preference learning, learning common-sense knowledge, including defaults and exceptions, and learning non-deterministic theories. In this paper"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.00904","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2005.00904/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T01:00:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"znULKCNSAvtMKUTwsJd8rmcligNz3TNqM+21vxv+Rq35z5Ixj4cbtK9EbaOyUncx1P0ontn0MxQSPDnhK7UoBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-11T12:40:17.096678Z"},"content_sha256":"0565b0e0ab97c2015cbb197f04054fb98017b4fbdb321e98043b37a530b26537","schema_version":"1.0","event_id":"sha256:0565b0e0ab97c2015cbb197f04054fb98017b4fbdb321e98043b37a530b26537"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FJXWQXGH4CVPKUYAC2YP3SIMCX/bundle.json","state_url":"https://pith.science/pith/FJXWQXGH4CVPKUYAC2YP3SIMCX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FJXWQXGH4CVPKUYAC2YP3SIMCX/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-08-11T12:40:17Z","links":{"resolver":"https://pith.science/pith/FJXWQXGH4CVPKUYAC2YP3SIMCX","bundle":"https://pith.science/pith/FJXWQXGH4CVPKUYAC2YP3SIMCX/bundle.json","state":"https://pith.science/pith/FJXWQXGH4CVPKUYAC2YP3SIMCX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FJXWQXGH4CVPKUYAC2YP3SIMCX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:FJXWQXGH4CVPKUYAC2YP3SIMCX","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":"73e35dd781a590ec2d20e97f4a9fe83e7669bdd32639e5d67eb48ab16b9389ef","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-05-02T19:04:12Z","title_canon_sha256":"71bbfb44f8d05f78db39c672a7450f472f047faefad97258ac4dd0e14fc9fb55"},"schema_version":"1.0","source":{"id":"2005.00904","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.00904","created_at":"2026-07-05T01:00:02Z"},{"alias_kind":"arxiv_version","alias_value":"2005.00904v1","created_at":"2026-07-05T01:00:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.00904","created_at":"2026-07-05T01:00:02Z"},{"alias_kind":"pith_short_12","alias_value":"FJXWQXGH4CVP","created_at":"2026-07-05T01:00:02Z"},{"alias_kind":"pith_short_16","alias_value":"FJXWQXGH4CVPKUYA","created_at":"2026-07-05T01:00:02Z"},{"alias_kind":"pith_short_8","alias_value":"FJXWQXGH","created_at":"2026-07-05T01:00:02Z"}],"graph_snapshots":[{"event_id":"sha256:0565b0e0ab97c2015cbb197f04054fb98017b4fbdb321e98043b37a530b26537","target":"graph","created_at":"2026-07-05T01:00:02Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2005.00904/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The goal of Inductive Logic Programming (ILP) is to learn a program that explains a set of examples in the context of some pre-existing background knowledge. Until recently, most research on ILP targeted learning Prolog programs. Our own ILASP system instead learns Answer Set Programs, including normal rules, choice rules and hard and weak constraints. Learning such expressive programs widens the applicability of ILP considerably; for example, enabling preference learning, learning common-sense knowledge, including defaults and exceptions, and learning non-deterministic theories. In this paper","authors_text":"Alessandra Russo, Krysia Broda, Mark Law","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-05-02T19:04:12Z","title":"The ILASP system for Inductive Learning of Answer Set Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.00904","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:30c46d2a01c1414787e710ad5f9bfdec8454bca854b05d0159f440a222f9626a","target":"record","created_at":"2026-07-05T01:00:02Z","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":"73e35dd781a590ec2d20e97f4a9fe83e7669bdd32639e5d67eb48ab16b9389ef","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2020-05-02T19:04:12Z","title_canon_sha256":"71bbfb44f8d05f78db39c672a7450f472f047faefad97258ac4dd0e14fc9fb55"},"schema_version":"1.0","source":{"id":"2005.00904","kind":"arxiv","version":1}},"canonical_sha256":"2a6f685cc7e0aaf5530016b0fdc90c15e77774030d8de7c6e36a4ba9550251d5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2a6f685cc7e0aaf5530016b0fdc90c15e77774030d8de7c6e36a4ba9550251d5","first_computed_at":"2026-07-05T01:00:02.040457Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:00:02.040457Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fk3mAq1wd7yP+W/tiyyfXttmF/7An6z2FMcUmGTkSX/1XpUgNchW1mHyladgzC21d4LesO5SqW4oDg6Zu9wGDA==","signature_status":"signed_v1","signed_at":"2026-07-05T01:00:02.040849Z","signed_message":"canonical_sha256_bytes"},"source_id":"2005.00904","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:30c46d2a01c1414787e710ad5f9bfdec8454bca854b05d0159f440a222f9626a","sha256:0565b0e0ab97c2015cbb197f04054fb98017b4fbdb321e98043b37a530b26537"],"state_sha256":"372a3d9156bb390450d008abe86cc1757a3312423292be929cebf62f24a59e27"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"S9yxj5rHzkyLAlKFYKdeqest8xRhEPVWSnVHbz3144Nxg7Es+CGa/IjiC+poGWSFRq2a9BghsStYTbKyZFAiDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-11T12:40:17.103237Z","bundle_sha256":"6d1771932597c2f8408f174b785009892c8608ecc59b66a42522f040bd118e0e"}}