{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:NXDVSDV4TV25QVUIVHDUSNQFLQ","short_pith_number":"pith:NXDVSDV4","schema_version":"1.0","canonical_sha256":"6dc7590ebc9d75d85688a9c74936055c3fc88880ad7f3a4bc06c9e3313071bb3","source":{"kind":"arxiv","id":"1906.03523","version":1},"attestation_state":"computed","paper":{"title":"Inductive Logic Programming via Differentiable Deep Neural Logic Networks","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Ali Payani, Faramarz Fekri","submitted_at":"2019-06-08T21:23:21Z","abstract_excerpt":"We propose a novel paradigm for solving Inductive Logic Programming (ILP) problems via deep recurrent neural networks. This proposed ILP solver is designed based on differentiable implementation of the deduction via forward chaining. In contrast to the majority of past methods, instead of searching through the space of possible first-order logic rules by using some restrictive rule templates, we directly learn the symbolic logical predicate rules by introducing a novel differentiable Neural Logic (dNL) network. The proposed dNL network is able to learn and represent Boolean functions efficient"},"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":"1906.03523","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/publicdomain/zero/1.0/","primary_cat":"cs.AI","submitted_at":"2019-06-08T21:23:21Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"e66b6138c281d7680c4872560719b926e56f19c56300dd86cbdf7e52c70d78eb","abstract_canon_sha256":"217916831292c2b2298156e0ab0d4e47247e4c05d028bb0bed5fc479efeaf9cb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:43:48.222893Z","signature_b64":"YGgwg8w8zZso3er8N8DWNTTQwEXAdOsP0qi9y3oPY7BfA0th7KCpm3QRwotDSPb2kt2hEZGzZTJJnhSrsYfdDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6dc7590ebc9d75d85688a9c74936055c3fc88880ad7f3a4bc06c9e3313071bb3","last_reissued_at":"2026-05-17T23:43:48.222228Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:43:48.222228Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Inductive Logic Programming via Differentiable Deep Neural Logic Networks","license":"http://creativecommons.org/publicdomain/zero/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.AI","authors_text":"Ali Payani, Faramarz Fekri","submitted_at":"2019-06-08T21:23:21Z","abstract_excerpt":"We propose a novel paradigm for solving Inductive Logic Programming (ILP) problems via deep recurrent neural networks. This proposed ILP solver is designed based on differentiable implementation of the deduction via forward chaining. In contrast to the majority of past methods, instead of searching through the space of possible first-order logic rules by using some restrictive rule templates, we directly learn the symbolic logical predicate rules by introducing a novel differentiable Neural Logic (dNL) network. The proposed dNL network is able to learn and represent Boolean functions efficient"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.03523","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":"1906.03523","created_at":"2026-05-17T23:43:48.222333+00:00"},{"alias_kind":"arxiv_version","alias_value":"1906.03523v1","created_at":"2026-05-17T23:43:48.222333+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.03523","created_at":"2026-05-17T23:43:48.222333+00:00"},{"alias_kind":"pith_short_12","alias_value":"NXDVSDV4TV25","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_16","alias_value":"NXDVSDV4TV25QVUI","created_at":"2026-05-18T12:33:24.271573+00:00"},{"alias_kind":"pith_short_8","alias_value":"NXDVSDV4","created_at":"2026-05-18T12:33:24.271573+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2509.21663","citing_title":"Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration","ref_index":36,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ","json":"https://pith.science/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ.json","graph_json":"https://pith.science/api/pith-number/NXDVSDV4TV25QVUIVHDUSNQFLQ/graph.json","events_json":"https://pith.science/api/pith-number/NXDVSDV4TV25QVUIVHDUSNQFLQ/events.json","paper":"https://pith.science/paper/NXDVSDV4"},"agent_actions":{"view_html":"https://pith.science/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ","download_json":"https://pith.science/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ.json","view_paper":"https://pith.science/paper/NXDVSDV4","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1906.03523&json=true","fetch_graph":"https://pith.science/api/pith-number/NXDVSDV4TV25QVUIVHDUSNQFLQ/graph.json","fetch_events":"https://pith.science/api/pith-number/NXDVSDV4TV25QVUIVHDUSNQFLQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ/action/storage_attestation","attest_author":"https://pith.science/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ/action/author_attestation","sign_citation":"https://pith.science/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ/action/citation_signature","submit_replication":"https://pith.science/pith/NXDVSDV4TV25QVUIVHDUSNQFLQ/action/replication_record"}},"created_at":"2026-05-17T23:43:48.222333+00:00","updated_at":"2026-05-17T23:43:48.222333+00:00"}