{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:LKE7GAQ5DROLDCX3QONJ64S44J","short_pith_number":"pith:LKE7GAQ5","schema_version":"1.0","canonical_sha256":"5a89f3021d1c5cb18afb839a9f725ce256f5ed6cb8abc9587531a00a9dccc256","source":{"kind":"arxiv","id":"1905.06088","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1905.06088","created_at":"2026-05-17T23:46:07.542588+00:00"},{"alias_kind":"arxiv_version","alias_value":"1905.06088v1","created_at":"2026-05-17T23:46:07.542588+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.06088","created_at":"2026-05-17T23:46:07.542588+00:00"},{"alias_kind":"pith_short_12","alias_value":"LKE7GAQ5DROL","created_at":"2026-05-18T12:33:21.387695+00:00"},{"alias_kind":"pith_short_16","alias_value":"LKE7GAQ5DROLDCX3","created_at":"2026-05-18T12:33:21.387695+00:00"},{"alias_kind":"pith_short_8","alias_value":"LKE7GAQ5","created_at":"2026-05-18T12:33:21.387695+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":7,"internal_anchor_count":3,"sample":[{"citing_arxiv_id":"2506.06856","citing_title":"Vision-EKIPL: External Knowledge-Infused Policy Learning for Visual Reasoning","ref_index":13,"is_internal_anchor":true},{"citing_arxiv_id":"2602.12851","citing_title":"Chimera: Neuro-Symbolic Attention Primitives for Trustworthy Dataplane Intelligence","ref_index":34,"is_internal_anchor":true},{"citing_arxiv_id":"2605.05209","citing_title":"Are Flat Minima an Illusion?","ref_index":223,"is_internal_anchor":true},{"citing_arxiv_id":"2604.27759","citing_title":"Learning to Reason: Targeted Knowledge Discovery and Fuzzy Logic Update for Robust Image Recognition","ref_index":6,"is_internal_anchor":false},{"citing_arxiv_id":"2604.26507","citing_title":"Auto-Relational Reasoning","ref_index":2,"is_internal_anchor":false},{"citing_arxiv_id":"2605.09519","citing_title":"Weighted Rules under the Stable Model Semantics","ref_index":110,"is_internal_anchor":false},{"citing_arxiv_id":"2604.22990","citing_title":"Hard to See, Hard to Label: Generative and Symbolic Acquisition for Subtle Visual Phenomena","ref_index":9,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/LKE7GAQ5DROLDCX3QONJ64S44J","json":"https://pith.science/pith/LKE7GAQ5DROLDCX3QONJ64S44J.json","graph_json":"https://pith.science/api/pith-number/LKE7GAQ5DROLDCX3QONJ64S44J/graph.json","events_json":"https://pith.science/api/pith-number/LKE7GAQ5DROLDCX3QONJ64S44J/events.json","paper":"https://pith.science/paper/LKE7GAQ5"},"agent_actions":{"view_html":"https://pith.science/pith/LKE7GAQ5DROLDCX3QONJ64S44J","download_json":"https://pith.science/pith/LKE7GAQ5DROLDCX3QONJ64S44J.json","view_paper":"https://pith.science/paper/LKE7GAQ5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1905.06088&json=true","fetch_graph":"https://pith.science/api/pith-number/LKE7GAQ5DROLDCX3QONJ64S44J/graph.json","fetch_events":"https://pith.science/api/pith-number/LKE7GAQ5DROLDCX3QONJ64S44J/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LKE7GAQ5DROLDCX3QONJ64S44J/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LKE7GAQ5DROLDCX3QONJ64S44J/action/storage_attestation","attest_author":"https://pith.science/pith/LKE7GAQ5DROLDCX3QONJ64S44J/action/author_attestation","sign_citation":"https://pith.science/pith/LKE7GAQ5DROLDCX3QONJ64S44J/action/citation_signature","submit_replication":"https://pith.science/pith/LKE7GAQ5DROLDCX3QONJ64S44J/action/replication_record"}},"created_at":"2026-05-17T23:46:07.542588+00:00","updated_at":"2026-05-17T23:46:07.542588+00:00"}