{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:6S6LSMUGLJ73SWNKAQA2P4T6YC","short_pith_number":"pith:6S6LSMUG","canonical_record":{"source":{"id":"1311.4639","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-11-19T07:39:58Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"2deb810bf4eb1b85c6a3da29cdedc6b613d4ac96011d4e470b619958af90febd","abstract_canon_sha256":"a6b06c05e89449cd7079b5d86a29a01e9e257a6b694314c2d5736649a45f95af"},"schema_version":"1.0"},"canonical_sha256":"f4bcb932865a7fb959aa0401a7f27ec086ef7402c7142655279fe3b783a33e78","source":{"kind":"arxiv","id":"1311.4639","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.4639","created_at":"2026-05-18T03:06:43Z"},{"alias_kind":"arxiv_version","alias_value":"1311.4639v1","created_at":"2026-05-18T03:06:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.4639","created_at":"2026-05-18T03:06:43Z"},{"alias_kind":"pith_short_12","alias_value":"6S6LSMUGLJ73","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"6S6LSMUGLJ73SWNK","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"6S6LSMUG","created_at":"2026-05-18T12:27:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:6S6LSMUGLJ73SWNKAQA2P4T6YC","target":"record","payload":{"canonical_record":{"source":{"id":"1311.4639","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-11-19T07:39:58Z","cross_cats_sorted":["cs.LG","cs.LO"],"title_canon_sha256":"2deb810bf4eb1b85c6a3da29cdedc6b613d4ac96011d4e470b619958af90febd","abstract_canon_sha256":"a6b06c05e89449cd7079b5d86a29a01e9e257a6b694314c2d5736649a45f95af"},"schema_version":"1.0"},"canonical_sha256":"f4bcb932865a7fb959aa0401a7f27ec086ef7402c7142655279fe3b783a33e78","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:06:43.807960Z","signature_b64":"zDjMAwMZ0+POIttHSLZIvy6RuGS2sg6on0YQnOeQ5xeeUvTCT4sYoTRIjczJPgmt+nUSTeOyoPnZsY5LmKuWBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f4bcb932865a7fb959aa0401a7f27ec086ef7402c7142655279fe3b783a33e78","last_reissued_at":"2026-05-18T03:06:43.807616Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:06:43.807616Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1311.4639","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-18T03:06:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vtQlY6N6CdtJtguI2fEMR/EUYFskQF5vCjK9RgjfWd5alosFVdvhkq2QKDPrt1chtBC9D4PEjjeg7tN3tiEWCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T20:17:45.288385Z"},"content_sha256":"81f394047c688be19b5084ad0153ae87c49f06a4725c6d28390c47eb33ee395e","schema_version":"1.0","event_id":"sha256:81f394047c688be19b5084ad0153ae87c49f06a4725c6d28390c47eb33ee395e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:6S6LSMUGLJ73SWNKAQA2P4T6YC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG","cs.LO"],"primary_cat":"cs.AI","authors_text":"Chiaki Sakama (Editors), Katsumi Inoue","submitted_at":"2013-11-19T07:39:58Z","abstract_excerpt":"Knowledge Representation and Reasoning and Machine Learning are two important fields in AI. Nonmonotonic logic programming (NMLP) and Answer Set Programming (ASP) provide formal languages for representing and reasoning with commonsense knowledge and realize declarative problem solving in AI. On the other side, Inductive Logic Programming (ILP) realizes Machine Learning in logic programming, which provides a formal background to inductive learning and the techniques have been applied to the fields of relational learning and data mining. Generally speaking, NMLP and ASP realize nonmonotonic reas"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.4639","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-18T03:06:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ADUsLRCG4GQc8QoASAGlrSmQS/KKVhWeWpWw7T81+bL0jnEZtLwqdVhl8VzY3n6vt+jvX1bXXPoz8N/jx20+BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T20:17:45.289146Z"},"content_sha256":"ebcb63ee7e364af40084d751339dcb89430005fad3fba644447b8affc59b622d","schema_version":"1.0","event_id":"sha256:ebcb63ee7e364af40084d751339dcb89430005fad3fba644447b8affc59b622d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6S6LSMUGLJ73SWNKAQA2P4T6YC/bundle.json","state_url":"https://pith.science/pith/6S6LSMUGLJ73SWNKAQA2P4T6YC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6S6LSMUGLJ73SWNKAQA2P4T6YC/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-11T20:17:45Z","links":{"resolver":"https://pith.science/pith/6S6LSMUGLJ73SWNKAQA2P4T6YC","bundle":"https://pith.science/pith/6S6LSMUGLJ73SWNKAQA2P4T6YC/bundle.json","state":"https://pith.science/pith/6S6LSMUGLJ73SWNKAQA2P4T6YC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6S6LSMUGLJ73SWNKAQA2P4T6YC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:6S6LSMUGLJ73SWNKAQA2P4T6YC","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":"a6b06c05e89449cd7079b5d86a29a01e9e257a6b694314c2d5736649a45f95af","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-11-19T07:39:58Z","title_canon_sha256":"2deb810bf4eb1b85c6a3da29cdedc6b613d4ac96011d4e470b619958af90febd"},"schema_version":"1.0","source":{"id":"1311.4639","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1311.4639","created_at":"2026-05-18T03:06:43Z"},{"alias_kind":"arxiv_version","alias_value":"1311.4639v1","created_at":"2026-05-18T03:06:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1311.4639","created_at":"2026-05-18T03:06:43Z"},{"alias_kind":"pith_short_12","alias_value":"6S6LSMUGLJ73","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_16","alias_value":"6S6LSMUGLJ73SWNK","created_at":"2026-05-18T12:27:36Z"},{"alias_kind":"pith_short_8","alias_value":"6S6LSMUG","created_at":"2026-05-18T12:27:36Z"}],"graph_snapshots":[{"event_id":"sha256:ebcb63ee7e364af40084d751339dcb89430005fad3fba644447b8affc59b622d","target":"graph","created_at":"2026-05-18T03:06:43Z","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":"Knowledge Representation and Reasoning and Machine Learning are two important fields in AI. Nonmonotonic logic programming (NMLP) and Answer Set Programming (ASP) provide formal languages for representing and reasoning with commonsense knowledge and realize declarative problem solving in AI. On the other side, Inductive Logic Programming (ILP) realizes Machine Learning in logic programming, which provides a formal background to inductive learning and the techniques have been applied to the fields of relational learning and data mining. Generally speaking, NMLP and ASP realize nonmonotonic reas","authors_text":"Chiaki Sakama (Editors), Katsumi Inoue","cross_cats":["cs.LG","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-11-19T07:39:58Z","title":"Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1311.4639","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:81f394047c688be19b5084ad0153ae87c49f06a4725c6d28390c47eb33ee395e","target":"record","created_at":"2026-05-18T03:06:43Z","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":"a6b06c05e89449cd7079b5d86a29a01e9e257a6b694314c2d5736649a45f95af","cross_cats_sorted":["cs.LG","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2013-11-19T07:39:58Z","title_canon_sha256":"2deb810bf4eb1b85c6a3da29cdedc6b613d4ac96011d4e470b619958af90febd"},"schema_version":"1.0","source":{"id":"1311.4639","kind":"arxiv","version":1}},"canonical_sha256":"f4bcb932865a7fb959aa0401a7f27ec086ef7402c7142655279fe3b783a33e78","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f4bcb932865a7fb959aa0401a7f27ec086ef7402c7142655279fe3b783a33e78","first_computed_at":"2026-05-18T03:06:43.807616Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:06:43.807616Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zDjMAwMZ0+POIttHSLZIvy6RuGS2sg6on0YQnOeQ5xeeUvTCT4sYoTRIjczJPgmt+nUSTeOyoPnZsY5LmKuWBw==","signature_status":"signed_v1","signed_at":"2026-05-18T03:06:43.807960Z","signed_message":"canonical_sha256_bytes"},"source_id":"1311.4639","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:81f394047c688be19b5084ad0153ae87c49f06a4725c6d28390c47eb33ee395e","sha256:ebcb63ee7e364af40084d751339dcb89430005fad3fba644447b8affc59b622d"],"state_sha256":"dfaa6c9e7b3f7547c11185e320de66deaa9c348836ad808869fd563533d2f72a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FFU63ddBSEdT1VqFZ+kxdBr6+saVsGJJwQ1CVR0k6MikjBu9pbuzD198PuqZZs6bwb1KeGRyYPgsA7Drfr9OAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T20:17:45.295982Z","bundle_sha256":"9e3d3727409503d70f9bff1906ac32fd36698e7c94c1d60eb635fa52590d6cee"}}