{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2005:4RL6MHJ3SMHVVL22N6KMCDSZP5","short_pith_number":"pith:4RL6MHJ3","canonical_record":{"source":{"id":"cs/0511042","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2005-11-10T10:00:46Z","cross_cats_sorted":["cs.LO","cs.NE"],"title_canon_sha256":"193cebf71cc6c7a39f36c76f803d8189b4493ecfea253e86590e32085705b2cd","abstract_canon_sha256":"9818c91a9df98c329097b9159dc13deb3c93160e7d9dc5c4faa75312a513519d"},"schema_version":"1.0"},"canonical_sha256":"e457e61d3b930f5aaf5a6f94c10e597f5bb5c75cbb438c0394c1c73c62cc1075","source":{"kind":"arxiv","id":"cs/0511042","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0511042","created_at":"2026-07-04T14:51:32Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0511042v1","created_at":"2026-07-04T14:51:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0511042","created_at":"2026-07-04T14:51:32Z"},{"alias_kind":"pith_short_12","alias_value":"4RL6MHJ3SMHV","created_at":"2026-07-04T14:51:32Z"},{"alias_kind":"pith_short_16","alias_value":"4RL6MHJ3SMHVVL22","created_at":"2026-07-04T14:51:32Z"},{"alias_kind":"pith_short_8","alias_value":"4RL6MHJ3","created_at":"2026-07-04T14:51:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2005:4RL6MHJ3SMHVVL22N6KMCDSZP5","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0511042","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.AI","submitted_at":"2005-11-10T10:00:46Z","cross_cats_sorted":["cs.LO","cs.NE"],"title_canon_sha256":"193cebf71cc6c7a39f36c76f803d8189b4493ecfea253e86590e32085705b2cd","abstract_canon_sha256":"9818c91a9df98c329097b9159dc13deb3c93160e7d9dc5c4faa75312a513519d"},"schema_version":"1.0"},"canonical_sha256":"e457e61d3b930f5aaf5a6f94c10e597f5bb5c75cbb438c0394c1c73c62cc1075","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T14:51:32.621905Z","signature_b64":"UzXt3140qK3LUaVdsrmWLLQNVE9kV80lrmxuyBG1MTolhpuVfqk/kBuOc2uhp64Qk/SLbgICq1HasujbBMQwCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e457e61d3b930f5aaf5a6f94c10e597f5bb5c75cbb438c0394c1c73c62cc1075","last_reissued_at":"2026-07-04T14:51:32.621540Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T14:51:32.621540Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0511042","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:51:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WHcypjEI2+4fLcmrpbmgFqJOxwf1cuRZwofApLzxgdNZglWl5Y4VSm+K1AkbGXyScfOJCUI21SQJyWy/bdlXAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T00:41:17.735338Z"},"content_sha256":"4d622cf3dd331cc8a17dee0ca7405b2b9310f11e8f5d61127c9949914892aab3","schema_version":"1.0","event_id":"sha256:4d622cf3dd331cc8a17dee0ca7405b2b9310f11e8f5d61127c9949914892aab3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2005:4RL6MHJ3SMHVVL22N6KMCDSZP5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Dimensions of Neural-symbolic Integration - A Structured Survey","license":"","headline":"","cross_cats":["cs.LO","cs.NE"],"primary_cat":"cs.AI","authors_text":"Pascal Hitzler, Sebastian Bader","submitted_at":"2005-11-10T10:00:46Z","abstract_excerpt":"Research on integrated neural-symbolic systems has made significant progress in the recent past. In particular the understanding of ways to deal with symbolic knowledge within connectionist systems (also called artificial neural networks) has reached a critical mass which enables the community to strive for applicable implementations and use cases. Recent work has covered a great variety of logics used in artificial intelligence and provides a multitude of techniques for dealing with them within the context of artificial neural networks. We present a comprehensive survey of the field of neural"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0511042","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/0511042/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:51:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ktHTpCOXOVqUGfjYlOJ1frC9SD0KvvdjrFB6eUkMJcnoN7xso+GPm0SPWagcKdvVGB/cKouK73HWVxqVP033AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T00:41:17.735722Z"},"content_sha256":"b92232b2d5458561fd70ebc28d6347aeb4f7be3334b27d2b8a960939d6b21c53","schema_version":"1.0","event_id":"sha256:b92232b2d5458561fd70ebc28d6347aeb4f7be3334b27d2b8a960939d6b21c53"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4RL6MHJ3SMHVVL22N6KMCDSZP5/bundle.json","state_url":"https://pith.science/pith/4RL6MHJ3SMHVVL22N6KMCDSZP5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4RL6MHJ3SMHVVL22N6KMCDSZP5/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-04T00:41:17Z","links":{"resolver":"https://pith.science/pith/4RL6MHJ3SMHVVL22N6KMCDSZP5","bundle":"https://pith.science/pith/4RL6MHJ3SMHVVL22N6KMCDSZP5/bundle.json","state":"https://pith.science/pith/4RL6MHJ3SMHVVL22N6KMCDSZP5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4RL6MHJ3SMHVVL22N6KMCDSZP5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2005:4RL6MHJ3SMHVVL22N6KMCDSZP5","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":"9818c91a9df98c329097b9159dc13deb3c93160e7d9dc5c4faa75312a513519d","cross_cats_sorted":["cs.LO","cs.NE"],"license":"","primary_cat":"cs.AI","submitted_at":"2005-11-10T10:00:46Z","title_canon_sha256":"193cebf71cc6c7a39f36c76f803d8189b4493ecfea253e86590e32085705b2cd"},"schema_version":"1.0","source":{"id":"cs/0511042","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0511042","created_at":"2026-07-04T14:51:32Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0511042v1","created_at":"2026-07-04T14:51:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0511042","created_at":"2026-07-04T14:51:32Z"},{"alias_kind":"pith_short_12","alias_value":"4RL6MHJ3SMHV","created_at":"2026-07-04T14:51:32Z"},{"alias_kind":"pith_short_16","alias_value":"4RL6MHJ3SMHVVL22","created_at":"2026-07-04T14:51:32Z"},{"alias_kind":"pith_short_8","alias_value":"4RL6MHJ3","created_at":"2026-07-04T14:51:32Z"}],"graph_snapshots":[{"event_id":"sha256:b92232b2d5458561fd70ebc28d6347aeb4f7be3334b27d2b8a960939d6b21c53","target":"graph","created_at":"2026-07-04T14:51:32Z","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/0511042/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Research on integrated neural-symbolic systems has made significant progress in the recent past. In particular the understanding of ways to deal with symbolic knowledge within connectionist systems (also called artificial neural networks) has reached a critical mass which enables the community to strive for applicable implementations and use cases. Recent work has covered a great variety of logics used in artificial intelligence and provides a multitude of techniques for dealing with them within the context of artificial neural networks. We present a comprehensive survey of the field of neural","authors_text":"Pascal Hitzler, Sebastian Bader","cross_cats":["cs.LO","cs.NE"],"headline":"","license":"","primary_cat":"cs.AI","submitted_at":"2005-11-10T10:00:46Z","title":"Dimensions of Neural-symbolic Integration - A Structured Survey"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0511042","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:4d622cf3dd331cc8a17dee0ca7405b2b9310f11e8f5d61127c9949914892aab3","target":"record","created_at":"2026-07-04T14:51:32Z","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":"9818c91a9df98c329097b9159dc13deb3c93160e7d9dc5c4faa75312a513519d","cross_cats_sorted":["cs.LO","cs.NE"],"license":"","primary_cat":"cs.AI","submitted_at":"2005-11-10T10:00:46Z","title_canon_sha256":"193cebf71cc6c7a39f36c76f803d8189b4493ecfea253e86590e32085705b2cd"},"schema_version":"1.0","source":{"id":"cs/0511042","kind":"arxiv","version":1}},"canonical_sha256":"e457e61d3b930f5aaf5a6f94c10e597f5bb5c75cbb438c0394c1c73c62cc1075","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e457e61d3b930f5aaf5a6f94c10e597f5bb5c75cbb438c0394c1c73c62cc1075","first_computed_at":"2026-07-04T14:51:32.621540Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-04T14:51:32.621540Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UzXt3140qK3LUaVdsrmWLLQNVE9kV80lrmxuyBG1MTolhpuVfqk/kBuOc2uhp64Qk/SLbgICq1HasujbBMQwCQ==","signature_status":"signed_v1","signed_at":"2026-07-04T14:51:32.621905Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0511042","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4d622cf3dd331cc8a17dee0ca7405b2b9310f11e8f5d61127c9949914892aab3","sha256:b92232b2d5458561fd70ebc28d6347aeb4f7be3334b27d2b8a960939d6b21c53"],"state_sha256":"9a013f2e466c62ab45e5fbfead277c99996ce10bc60198302070d14a2aa0d41e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QKMvejT0AcKHsWpE8KuOxigRsM5Gl03pFhsOorsTY8o5jVbUph0PmR+VuvQYTSlIcpAY2fO8piZUr4YDq6ZgBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T00:41:17.738787Z","bundle_sha256":"7cec40f5e5dc61f4302ebcf16a7a03292207e96a04cfb6f40b672d399fece3d7"}}