{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:PTVR3CNZES7JJQZT2FHVDWWQKD","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":"b595075e99fe454922b61cc7799400113554b3f73baa76f2d793688be099be05","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-10T16:14:22Z","title_canon_sha256":"7c9838e10ff52655e4f2e71d1986c5ebdc08e4453519861fe128cac63cce1130"},"schema_version":"1.0","source":{"id":"1711.03902","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1711.03902","created_at":"2026-05-18T00:30:51Z"},{"alias_kind":"arxiv_version","alias_value":"1711.03902v1","created_at":"2026-05-18T00:30:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1711.03902","created_at":"2026-05-18T00:30:51Z"},{"alias_kind":"pith_short_12","alias_value":"PTVR3CNZES7J","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PTVR3CNZES7JJQZT","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PTVR3CNZ","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:99c45917d9e24befaf8ec9f80d05620e09500cea59454a4135a7599c571e80e6","target":"graph","created_at":"2026-05-18T00:30:51Z","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":"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","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","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-10T16:14:22Z","title":"Neural-Symbolic Learning and Reasoning: A Survey and Interpretation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1711.03902","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:7368e0a93ddd0c7d52088d3df71696e9fd2dd3f3e7711760a1c22fbc4f2df15a","target":"record","created_at":"2026-05-18T00:30:51Z","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":"b595075e99fe454922b61cc7799400113554b3f73baa76f2d793688be099be05","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2017-11-10T16:14:22Z","title_canon_sha256":"7c9838e10ff52655e4f2e71d1986c5ebdc08e4453519861fe128cac63cce1130"},"schema_version":"1.0","source":{"id":"1711.03902","kind":"arxiv","version":1}},"canonical_sha256":"7ceb1d89b924be94c333d14f51dad050d49f0989c391a209bcf822e1ed2ab3db","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7ceb1d89b924be94c333d14f51dad050d49f0989c391a209bcf822e1ed2ab3db","first_computed_at":"2026-05-18T00:30:51.149651Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:30:51.149651Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BeMPl40+HJxpNS2zcuCj4FgxOVZqGGcRFXqRCyn+91a3FffgoxM5A039eN+lRxke4JvS27uCTap2omUb8sEaAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:30:51.150224Z","signed_message":"canonical_sha256_bytes"},"source_id":"1711.03902","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7368e0a93ddd0c7d52088d3df71696e9fd2dd3f3e7711760a1c22fbc4f2df15a","sha256:99c45917d9e24befaf8ec9f80d05620e09500cea59454a4135a7599c571e80e6"],"state_sha256":"ed80dd02c3faab065e205ef28ebd59b60091c32213e9f19d0e461281e7176165"}