{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:PTVR3CNZES7JJQZT2FHVDWWQKD","short_pith_number":"pith:PTVR3CNZ","schema_version":"1.0","canonical_sha256":"7ceb1d89b924be94c333d14f51dad050d49f0989c391a209bcf822e1ed2ab3db","source":{"kind":"arxiv","id":"1711.03902","version":1},"attestation_state":"computed","paper":{"title":"Neural-Symbolic Learning and Reasoning: A Survey and Interpretation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Artur d'Avila Garcez, Daniel Lowd, Gadi Pinkas, Gerson Zaverucha, Hoifung Poon, Howard Bowman, Kai-Uwe Kuehnberger, Leo de Penning, Luis C. Lamb, Pascal Hitzler, Pedro Domingos, Priscila Machado Vieira Lima, Sebastian Bader, Tarek R. Besold","submitted_at":"2017-11-10T16:14:22Z","abstract_excerpt":"The study and understanding of human behaviour is relevant to computer science, artificial intelligence, neural computation, cognitive science, philosophy, psychology, and several other areas. Presupposing cognition as basis of behaviour, among the most prominent tools in the modelling of behaviour are computational-logic systems, connectionist models of cognition, and models of uncertainty. Recent studies in cognitive science, artificial intelligence, and psychology have produced a number of cognitive models of reasoning, learning, and language that are underpinned by computation. In addition"},"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":"1711.03902","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-10T16:14:22Z","cross_cats_sorted":[],"title_canon_sha256":"7c9838e10ff52655e4f2e71d1986c5ebdc08e4453519861fe128cac63cce1130","abstract_canon_sha256":"b595075e99fe454922b61cc7799400113554b3f73baa76f2d793688be099be05"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:30:51.150224Z","signature_b64":"BeMPl40+HJxpNS2zcuCj4FgxOVZqGGcRFXqRCyn+91a3FffgoxM5A039eN+lRxke4JvS27uCTap2omUb8sEaAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ceb1d89b924be94c333d14f51dad050d49f0989c391a209bcf822e1ed2ab3db","last_reissued_at":"2026-05-18T00:30:51.149651Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:30:51.149651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Neural-Symbolic Learning and Reasoning: A Survey and Interpretation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Artur d'Avila Garcez, Daniel Lowd, Gadi Pinkas, Gerson Zaverucha, Hoifung Poon, Howard Bowman, Kai-Uwe Kuehnberger, Leo de Penning, Luis C. Lamb, Pascal Hitzler, Pedro Domingos, Priscila Machado Vieira Lima, Sebastian Bader, Tarek R. Besold","submitted_at":"2017-11-10T16:14:22Z","abstract_excerpt":"The study and understanding of human behaviour is relevant to computer science, artificial intelligence, neural computation, cognitive science, philosophy, psychology, and several other areas. Presupposing cognition as basis of behaviour, among the most prominent tools in the modelling of behaviour are computational-logic systems, connectionist models of cognition, and models of uncertainty. Recent studies in cognitive science, artificial intelligence, and psychology have produced a number of cognitive models of reasoning, learning, and language that are underpinned by computation. In addition"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.03902","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":"1711.03902","created_at":"2026-05-18T00:30:51.149735+00:00"},{"alias_kind":"arxiv_version","alias_value":"1711.03902v1","created_at":"2026-05-18T00:30:51.149735+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.03902","created_at":"2026-05-18T00:30:51.149735+00:00"},{"alias_kind":"pith_short_12","alias_value":"PTVR3CNZES7J","created_at":"2026-05-18T12:31:37.085036+00:00"},{"alias_kind":"pith_short_16","alias_value":"PTVR3CNZES7JJQZT","created_at":"2026-05-18T12:31:37.085036+00:00"},{"alias_kind":"pith_short_8","alias_value":"PTVR3CNZ","created_at":"2026-05-18T12:31:37.085036+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":3,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2604.22990","citing_title":"Hard to See, Hard to Label: Generative and Symbolic Acquisition for Subtle Visual Phenomena","ref_index":5,"is_internal_anchor":false},{"citing_arxiv_id":"2605.04243","citing_title":"Temporal Reasoning Is Not the Bottleneck: A Probabilistic Inconsistency Framework for Neuro-Symbolic QA","ref_index":11,"is_internal_anchor":false},{"citing_arxiv_id":"2604.07321","citing_title":"Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation","ref_index":7,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PTVR3CNZES7JJQZT2FHVDWWQKD","json":"https://pith.science/pith/PTVR3CNZES7JJQZT2FHVDWWQKD.json","graph_json":"https://pith.science/api/pith-number/PTVR3CNZES7JJQZT2FHVDWWQKD/graph.json","events_json":"https://pith.science/api/pith-number/PTVR3CNZES7JJQZT2FHVDWWQKD/events.json","paper":"https://pith.science/paper/PTVR3CNZ"},"agent_actions":{"view_html":"https://pith.science/pith/PTVR3CNZES7JJQZT2FHVDWWQKD","download_json":"https://pith.science/pith/PTVR3CNZES7JJQZT2FHVDWWQKD.json","view_paper":"https://pith.science/paper/PTVR3CNZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1711.03902&json=true","fetch_graph":"https://pith.science/api/pith-number/PTVR3CNZES7JJQZT2FHVDWWQKD/graph.json","fetch_events":"https://pith.science/api/pith-number/PTVR3CNZES7JJQZT2FHVDWWQKD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PTVR3CNZES7JJQZT2FHVDWWQKD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PTVR3CNZES7JJQZT2FHVDWWQKD/action/storage_attestation","attest_author":"https://pith.science/pith/PTVR3CNZES7JJQZT2FHVDWWQKD/action/author_attestation","sign_citation":"https://pith.science/pith/PTVR3CNZES7JJQZT2FHVDWWQKD/action/citation_signature","submit_replication":"https://pith.science/pith/PTVR3CNZES7JJQZT2FHVDWWQKD/action/replication_record"}},"created_at":"2026-05-18T00:30:51.149735+00:00","updated_at":"2026-05-18T00:30:51.149735+00:00"}