{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:LKE7GAQ5DROLDCX3QONJ64S44J","short_pith_number":"pith:LKE7GAQ5","canonical_record":{"source":{"id":"1905.06088","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2019-05-15T11:00:48Z","cross_cats_sorted":[],"title_canon_sha256":"d5c297af1ab32c385a975004bd212ad2f54ec231181e559b4829dddbbf119ee0","abstract_canon_sha256":"5aebe2b1c2f17fd8c54a9785c7a0f22406045fff735ffca0e559a091f042ebfd"},"schema_version":"1.0"},"canonical_sha256":"5a89f3021d1c5cb18afb839a9f725ce256f5ed6cb8abc9587531a00a9dccc256","source":{"kind":"arxiv","id":"1905.06088","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.06088","created_at":"2026-05-17T23:46:07Z"},{"alias_kind":"arxiv_version","alias_value":"1905.06088v1","created_at":"2026-05-17T23:46:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.06088","created_at":"2026-05-17T23:46:07Z"},{"alias_kind":"pith_short_12","alias_value":"LKE7GAQ5DROL","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"LKE7GAQ5DROLDCX3","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"LKE7GAQ5","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:LKE7GAQ5DROLDCX3QONJ64S44J","target":"record","payload":{"canonical_record":{"source":{"id":"1905.06088","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2019-05-15T11:00:48Z","cross_cats_sorted":[],"title_canon_sha256":"d5c297af1ab32c385a975004bd212ad2f54ec231181e559b4829dddbbf119ee0","abstract_canon_sha256":"5aebe2b1c2f17fd8c54a9785c7a0f22406045fff735ffca0e559a091f042ebfd"},"schema_version":"1.0"},"canonical_sha256":"5a89f3021d1c5cb18afb839a9f725ce256f5ed6cb8abc9587531a00a9dccc256","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:07.543107Z","signature_b64":"eVzUCR8xdc0356Qs1W3bvoMYPgtqrwtoZYN6qBOj0dnsXlrho5sjsSN2RiX3YYMGS0WL1D8dMAGzUnmqItY9Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5a89f3021d1c5cb18afb839a9f725ce256f5ed6cb8abc9587531a00a9dccc256","last_reissued_at":"2026-05-17T23:46:07.542476Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:07.542476Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.06088","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-17T23:46:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3YOOhRENZx61egDNigafphwrzZDD/JZ+3+E5v/yQzshV7/SAS/P9D9i1sGM6x7AJOBMEqTrpLEGRgfU0TwIMBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:52:50.448998Z"},"content_sha256":"56d072b8b6daa0c3a90c9ac1b0b9c0b12477ac425080fe1c899f4bc8cf268890","schema_version":"1.0","event_id":"sha256:56d072b8b6daa0c3a90c9ac1b0b9c0b12477ac425080fe1c899f4bc8cf268890"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:LKE7GAQ5DROLDCX3QONJ64S44J","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Artur d'Avila Garcez, Luciano Serafini, Luis C. Lamb, Marco Gori, Michael Spranger, Son N. Tran","submitted_at":"2019-05-15T11:00:48Z","abstract_excerpt":"Current advances in Artificial Intelligence and machine learning in general, and deep learning in particular have reached unprecedented impact not only across research communities, but also over popular media channels. However, concerns about interpretability and accountability of AI have been raised by influential thinkers. In spite of the recent impact of AI, several works have identified the need for principled knowledge representation and reasoning mechanisms integrated with deep learning-based systems to provide sound and explainable models for such systems. Neural-symbolic computing aims"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.06088","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-17T23:46:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kyh4PogV/phz0vKlOsi6Ly8D9leTHGVrrC3WFnnqufKMJQjwGGMqilSGu2M7usiM53IOjdZURS7a1yBWF9uUBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:52:50.449707Z"},"content_sha256":"83831b2b77ee785ad70ec5ef1a9d60c2a7065b9e64141e9f0198501577ab944e","schema_version":"1.0","event_id":"sha256:83831b2b77ee785ad70ec5ef1a9d60c2a7065b9e64141e9f0198501577ab944e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LKE7GAQ5DROLDCX3QONJ64S44J/bundle.json","state_url":"https://pith.science/pith/LKE7GAQ5DROLDCX3QONJ64S44J/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LKE7GAQ5DROLDCX3QONJ64S44J/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-27T16:52:50Z","links":{"resolver":"https://pith.science/pith/LKE7GAQ5DROLDCX3QONJ64S44J","bundle":"https://pith.science/pith/LKE7GAQ5DROLDCX3QONJ64S44J/bundle.json","state":"https://pith.science/pith/LKE7GAQ5DROLDCX3QONJ64S44J/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LKE7GAQ5DROLDCX3QONJ64S44J/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:LKE7GAQ5DROLDCX3QONJ64S44J","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":"5aebe2b1c2f17fd8c54a9785c7a0f22406045fff735ffca0e559a091f042ebfd","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2019-05-15T11:00:48Z","title_canon_sha256":"d5c297af1ab32c385a975004bd212ad2f54ec231181e559b4829dddbbf119ee0"},"schema_version":"1.0","source":{"id":"1905.06088","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.06088","created_at":"2026-05-17T23:46:07Z"},{"alias_kind":"arxiv_version","alias_value":"1905.06088v1","created_at":"2026-05-17T23:46:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.06088","created_at":"2026-05-17T23:46:07Z"},{"alias_kind":"pith_short_12","alias_value":"LKE7GAQ5DROL","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"LKE7GAQ5DROLDCX3","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"LKE7GAQ5","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:83831b2b77ee785ad70ec5ef1a9d60c2a7065b9e64141e9f0198501577ab944e","target":"graph","created_at":"2026-05-17T23:46:07Z","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":"Current advances in Artificial Intelligence and machine learning in general, and deep learning in particular have reached unprecedented impact not only across research communities, but also over popular media channels. However, concerns about interpretability and accountability of AI have been raised by influential thinkers. In spite of the recent impact of AI, several works have identified the need for principled knowledge representation and reasoning mechanisms integrated with deep learning-based systems to provide sound and explainable models for such systems. Neural-symbolic computing aims","authors_text":"Artur d'Avila Garcez, Luciano Serafini, Luis C. Lamb, Marco Gori, Michael Spranger, Son N. Tran","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2019-05-15T11:00:48Z","title":"Neural-Symbolic Computing: An Effective Methodology for Principled Integration of Machine Learning and Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.06088","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:56d072b8b6daa0c3a90c9ac1b0b9c0b12477ac425080fe1c899f4bc8cf268890","target":"record","created_at":"2026-05-17T23:46:07Z","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":"5aebe2b1c2f17fd8c54a9785c7a0f22406045fff735ffca0e559a091f042ebfd","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AI","submitted_at":"2019-05-15T11:00:48Z","title_canon_sha256":"d5c297af1ab32c385a975004bd212ad2f54ec231181e559b4829dddbbf119ee0"},"schema_version":"1.0","source":{"id":"1905.06088","kind":"arxiv","version":1}},"canonical_sha256":"5a89f3021d1c5cb18afb839a9f725ce256f5ed6cb8abc9587531a00a9dccc256","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5a89f3021d1c5cb18afb839a9f725ce256f5ed6cb8abc9587531a00a9dccc256","first_computed_at":"2026-05-17T23:46:07.542476Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:07.542476Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"eVzUCR8xdc0356Qs1W3bvoMYPgtqrwtoZYN6qBOj0dnsXlrho5sjsSN2RiX3YYMGS0WL1D8dMAGzUnmqItY9Ag==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:07.543107Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.06088","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:56d072b8b6daa0c3a90c9ac1b0b9c0b12477ac425080fe1c899f4bc8cf268890","sha256:83831b2b77ee785ad70ec5ef1a9d60c2a7065b9e64141e9f0198501577ab944e"],"state_sha256":"e60f33cb94f88bea5ef1754af332bb32deaeaf562710d26c563dd5639768e85b"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"seuc+A4F2wW046/z5EzEjC05m1V+2ogOmWrESb3vV0GCgvvGnVOsfBX1cuHk6ODCw5ivb4M1EzmnADuPI3XQDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T16:52:50.453712Z","bundle_sha256":"b4fa0a8ffca4d713663eebb01d73599da02e969f42ff51b916a9d9cea4d03c06"}}