{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2004:7SKSNT5QPRMOJRY53L7EYN33GV","short_pith_number":"pith:7SKSNT5Q","canonical_record":{"source":{"id":"cs/0408069","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2004-08-31T16:16:28Z","cross_cats_sorted":["cs.LO","cs.NE"],"title_canon_sha256":"cf4cb3d83c3c497ec15e1ac62e93a99a8e3dbae93ecd4d2e5cad9fcefaf0ab3b","abstract_canon_sha256":"c1e404a83ddf04d7e89a719d1f355f581987218f26f083f2d9ddca391bf5a7a5"},"schema_version":"1.0"},"canonical_sha256":"fc9526cfb07c58e4c71ddafe4c377b356e30db5d32751ad615e2ecb554f33922","source":{"kind":"arxiv","id":"cs/0408069","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0408069","created_at":"2026-07-04T14:24:46Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0408069v1","created_at":"2026-07-04T14:24:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0408069","created_at":"2026-07-04T14:24:46Z"},{"alias_kind":"pith_short_12","alias_value":"7SKSNT5QPRMO","created_at":"2026-07-04T14:24:46Z"},{"alias_kind":"pith_short_16","alias_value":"7SKSNT5QPRMOJRY5","created_at":"2026-07-04T14:24:46Z"},{"alias_kind":"pith_short_8","alias_value":"7SKSNT5Q","created_at":"2026-07-04T14:24:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2004:7SKSNT5QPRMOJRY53L7EYN33GV","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0408069","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2004-08-31T16:16:28Z","cross_cats_sorted":["cs.LO","cs.NE"],"title_canon_sha256":"cf4cb3d83c3c497ec15e1ac62e93a99a8e3dbae93ecd4d2e5cad9fcefaf0ab3b","abstract_canon_sha256":"c1e404a83ddf04d7e89a719d1f355f581987218f26f083f2d9ddca391bf5a7a5"},"schema_version":"1.0"},"canonical_sha256":"fc9526cfb07c58e4c71ddafe4c377b356e30db5d32751ad615e2ecb554f33922","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T14:24:46.954882Z","signature_b64":"fBrIFd07b/sTllnTJhrlMWv7t4r5bQ1fKWykmhN/OUGsVd27NH5W80P/s3YJmw3OiMdig76K95SyZtGiJF0GCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fc9526cfb07c58e4c71ddafe4c377b356e30db5d32751ad615e2ecb554f33922","last_reissued_at":"2026-07-04T14:24:46.954466Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T14:24:46.954466Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0408069","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-07-04T14:24:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tC50dLb4g8aw7h7CZGGA7NBb1wE3WQGjucU7H0WPpYdXPwYwlrsW5h8FLqBiKG5m52x4SSP11JRGa1Xti2C9BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T08:02:48.717910Z"},"content_sha256":"9b72581b565ddb61abe6213fe22b44404574fce16c1b34cc55920477c430d07d","schema_version":"1.0","event_id":"sha256:9b72581b565ddb61abe6213fe22b44404574fce16c1b34cc55920477c430d07d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2004:7SKSNT5QPRMOJRY53L7EYN33GV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence","license":"","headline":"","cross_cats":["cs.LO","cs.NE"],"primary_cat":"cs.AI","authors_text":"Pascal Hitzler, Sebastian Bader, Steffen Hoelldobler","submitted_at":"2004-08-31T16:16:28Z","abstract_excerpt":"Intelligent systems based on first-order logic on the one hand, and on artificial neural networks (also called connectionist systems) on the other, differ substantially. It would be very desirable to combine the robust neural networking machinery with symbolic knowledge representation and reasoning paradigms like logic programming in such a way that the strengths of either paradigm will be retained. Current state-of-the-art research, however, fails by far to achieve this ultimate goal. As one of the main obstacles to be overcome we perceive the question how symbolic knowledge can be encoded by"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0408069","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/cs/0408069/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-04T14:24:46Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2yjyZVS34asBdttBUWV50ngWTcTbZZq18WHkHxTnCc7gtKWhnhAVBnBpa5BYbUMMiZmzYcclZVmBJI3oUcMODQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T08:02:48.718406Z"},"content_sha256":"9a69bc84d77b79a4b8b57a702201862dd108957136e65672b0f1a902ed0681e0","schema_version":"1.0","event_id":"sha256:9a69bc84d77b79a4b8b57a702201862dd108957136e65672b0f1a902ed0681e0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7SKSNT5QPRMOJRY53L7EYN33GV/bundle.json","state_url":"https://pith.science/pith/7SKSNT5QPRMOJRY53L7EYN33GV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7SKSNT5QPRMOJRY53L7EYN33GV/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-08-08T08:02:48Z","links":{"resolver":"https://pith.science/pith/7SKSNT5QPRMOJRY53L7EYN33GV","bundle":"https://pith.science/pith/7SKSNT5QPRMOJRY53L7EYN33GV/bundle.json","state":"https://pith.science/pith/7SKSNT5QPRMOJRY53L7EYN33GV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7SKSNT5QPRMOJRY53L7EYN33GV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2004:7SKSNT5QPRMOJRY53L7EYN33GV","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":"c1e404a83ddf04d7e89a719d1f355f581987218f26f083f2d9ddca391bf5a7a5","cross_cats_sorted":["cs.LO","cs.NE"],"license":"","primary_cat":"cs.AI","submitted_at":"2004-08-31T16:16:28Z","title_canon_sha256":"cf4cb3d83c3c497ec15e1ac62e93a99a8e3dbae93ecd4d2e5cad9fcefaf0ab3b"},"schema_version":"1.0","source":{"id":"cs/0408069","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0408069","created_at":"2026-07-04T14:24:46Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0408069v1","created_at":"2026-07-04T14:24:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0408069","created_at":"2026-07-04T14:24:46Z"},{"alias_kind":"pith_short_12","alias_value":"7SKSNT5QPRMO","created_at":"2026-07-04T14:24:46Z"},{"alias_kind":"pith_short_16","alias_value":"7SKSNT5QPRMOJRY5","created_at":"2026-07-04T14:24:46Z"},{"alias_kind":"pith_short_8","alias_value":"7SKSNT5Q","created_at":"2026-07-04T14:24:46Z"}],"graph_snapshots":[{"event_id":"sha256:9a69bc84d77b79a4b8b57a702201862dd108957136e65672b0f1a902ed0681e0","target":"graph","created_at":"2026-07-04T14:24:46Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/cs/0408069/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Intelligent systems based on first-order logic on the one hand, and on artificial neural networks (also called connectionist systems) on the other, differ substantially. It would be very desirable to combine the robust neural networking machinery with symbolic knowledge representation and reasoning paradigms like logic programming in such a way that the strengths of either paradigm will be retained. Current state-of-the-art research, however, fails by far to achieve this ultimate goal. As one of the main obstacles to be overcome we perceive the question how symbolic knowledge can be encoded by","authors_text":"Pascal Hitzler, Sebastian Bader, Steffen Hoelldobler","cross_cats":["cs.LO","cs.NE"],"headline":"","license":"","primary_cat":"cs.AI","submitted_at":"2004-08-31T16:16:28Z","title":"The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0408069","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:9b72581b565ddb61abe6213fe22b44404574fce16c1b34cc55920477c430d07d","target":"record","created_at":"2026-07-04T14:24:46Z","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":"c1e404a83ddf04d7e89a719d1f355f581987218f26f083f2d9ddca391bf5a7a5","cross_cats_sorted":["cs.LO","cs.NE"],"license":"","primary_cat":"cs.AI","submitted_at":"2004-08-31T16:16:28Z","title_canon_sha256":"cf4cb3d83c3c497ec15e1ac62e93a99a8e3dbae93ecd4d2e5cad9fcefaf0ab3b"},"schema_version":"1.0","source":{"id":"cs/0408069","kind":"arxiv","version":1}},"canonical_sha256":"fc9526cfb07c58e4c71ddafe4c377b356e30db5d32751ad615e2ecb554f33922","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fc9526cfb07c58e4c71ddafe4c377b356e30db5d32751ad615e2ecb554f33922","first_computed_at":"2026-07-04T14:24:46.954466Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:24:46.954466Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fBrIFd07b/sTllnTJhrlMWv7t4r5bQ1fKWykmhN/OUGsVd27NH5W80P/s3YJmw3OiMdig76K95SyZtGiJF0GCA==","signature_status":"signed_v1","signed_at":"2026-07-04T14:24:46.954882Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0408069","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9b72581b565ddb61abe6213fe22b44404574fce16c1b34cc55920477c430d07d","sha256:9a69bc84d77b79a4b8b57a702201862dd108957136e65672b0f1a902ed0681e0"],"state_sha256":"f9276e99f9793a4b843b99521ed72e705011fa55fd5276f0437d381bfba847f6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NU78ta9VBV0Js5pK0eAZPfOB9dJLy99aHJ410GNmAPmUYDtazR1+tbLfJ4U7rS0+Ta7Ha7hkut+gUJmBO+XJBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T08:02:48.723596Z","bundle_sha256":"b222c765e6d095fcbf970a1397cda27a09fea3d12a3921612e6c11f1445573f0"}}