{"as_of":"2026-08-07T19:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:4d0640710303f740e3a0e765272f10a943ee85a85443ac1aace2fe4a4c9bd9ce","coverage":[{"denominator":47,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":47,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T07:13:28.016007Z","state":"measured"},{"denominator":47,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":47,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.13073/citation-record","integrity":"/paper/2607.13073/integrity","json":"/paper/2607.13073/citation-record.json","paper":"/paper/2607.13073"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"1103.0967","last_updated":"2011-03-04T19:54:23Z","snapshot_observed_at":"2026-07-06T02:24:24.687511Z","submitted_at":"2011-03-04T19:54:23Z","title":"Intensionality and Two-steps Interpretations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1103.0967","snapshot_observed_at":"2026-08-02T07:13:23.645300Z","title":": Intensionality and Two-steps Interpretations","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:23.645300Z"},"links":{"cited_paper":"/paper/1103.0967","citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:6bd3b0bff97d0096b2a19311a94813dbb096d09cf73f2250daebb7ace7fd7b14","observation_id":"713f78e5-bb0b-4b53-9ac1-d8e08181b92d","resolution":{"observed_at":"2026-08-02T07:13:23.645300Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:23.743611Z","title":"Walter De Gruyter GmbH, Berlin/Boston, ISBN 978-3-11-099494-0, (20 22)","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:23.743611Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:bb4aa95eb8ee8876904688477f4e51d0aaa66dfa8a94af440f8f3b1ec01c4883","observation_id":"4a0d8bbd-74e1-417a-9e7c-e50345b3aedf","resolution":{"observed_at":"2026-08-02T07:13:23.743611Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.04469","last_updated":"2024-09-03T19:50:57Z","snapshot_observed_at":"2026-07-06T19:11:40.618767Z","submitted_at":"2024-09-03T19:50:57Z","title":"Intensional FOL: Many-Sorted Extension","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.04469","snapshot_observed_at":"2026-08-02T07:13:23.838177Z","title":": Intensional FOL: Many-Sorted Extension","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:23.838177Z"},"links":{"cited_paper":"/paper/2409.04469","citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:5e5bddf7b3d51d9e4bad68761c1b81e17b90bf33beb34df493fe4c1c693512ef","observation_id":"ccaf5b56-500d-4078-9881-2d2ea60f79b7","resolution":{"observed_at":"2026-08-02T07:13:23.838177Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:23.990993Z","title":": Intensional First Order Logic for Strong-AI Generation of Robots","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:23.990993Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:c382f1f9a6f05545bfe20dd19dc29e769cc349a835a17dbbbac8d7afe677ee21","observation_id":"b76bd11c-feb3-457e-9a70-35778916f0a2","resolution":{"observed_at":"2026-08-02T07:13:23.990993Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:24.127854Z","title":": Strong-AI Autoepistemic Robots Build on Int ensional First Order Logic","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:24.127854Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:1a9e00b1f705c902591f9a9d24214c87450b36716e904191fd73fd018a87476f","observation_id":"f59e1eb7-b9a9-4274-8270-7f7de23ef783","resolution":{"observed_at":"2026-08-02T07:13:24.127854Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.02774","last_updated":"2025-08-04T16:43:44Z","snapshot_observed_at":"2026-08-06T04:53:58.659216Z","submitted_at":"2025-08-04T16:43:44Z","title":"Intensional FOL over Belnap's Billatice for Strong-AI Robotics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.02774","snapshot_observed_at":"2026-08-02T07:13:24.265640Z","title":": Intensional FOL over Belnap’s Billatice for Strong-AI Robotics","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:24.265640Z"},"links":{"cited_paper":"/paper/2508.02774","citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:66369758d30fc0b174091b48bdaae74fdbe4f242d698cf7c16954c42dfa12a72","observation_id":"44a34085-2eac-4d4c-b4df-b007b9ebd2db","resolution":{"observed_at":"2026-08-02T07:13:24.265640Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:24.422657Z","title":": Universals","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:24.422657Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:1249e44efb501678f66f232396c84eaf4e1651c4eaf7aeba9d10109b528b0bb6","observation_id":"02047b99-8edc-4e7a-ad40-713f074d5350","resolution":{"observed_at":"2026-08-02T07:13:24.422657Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:24.596726Z","title":": Theories of properties, relations, and propo sitions","venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:24.596726Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:dd8f5f6d233fa8ca5d454d0692e7b2aa031a1833516d942567a8300799be131a","observation_id":"0a52e94f-dc30-45d6-8cfc-74ed47062a1a","resolution":{"observed_at":"2026-08-02T07:13:24.596726Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:24.750981Z","title":": Intensional logic and epistemic independen cy of intelligent database agents","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:24.750981Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:75e47f14d2be7d8e7981d357c6e6e78f78ae0e99994df77a5c32f7413beb5529","observation_id":"8f96405f-d457-4ede-b021-25fe62cbfecd","resolution":{"observed_at":"2026-08-02T07:13:24.750981Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:24.867339Z","title":": Autoepistemic logic programming for reaso ning with inconsistency","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:24.867339Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:c19dca5f057ebf85f9db9f86c2212db3f94edfa24c077d941760c729d2042865","observation_id":"c0405b36-59fb-4c94-b2f7-24a3ced98816","resolution":{"observed_at":"2026-08-02T07:13:24.867339Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:25.013768Z","title":"and M.I.Dekhtyar M.I","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:25.013768Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:c8c9543a512c6d9ed458263da685e50687027675b4301cade4ed65af5fe8697e","observation_id":"0a7e06b7-7dfc-4d13-9bd9-edec291e6152","resolution":{"observed_at":"2026-08-02T07:13:25.013768Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:25.141376Z","title":"and Subrahmanian V .S","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:25.141376Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:f09a20b670e1773642bcc10822279f482cbad0c24e3f9d31a8eb25ba1272eb03","observation_id":"c941f73c-5615-41e8-9cab-3a081327337d","resolution":{"observed_at":"2026-08-02T07:13:25.141376Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:25.202894Z","title":": Temporal Probabilistic Logic Programs: St ate and Revision","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:25.202894Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:0e3589ebf04817934d7a25e21a103bb319ec1fa02d3a029741f1d75a2eda052d","observation_id":"9f8e97a1-a920-4633-aa67-d37d1538bcf5","resolution":{"observed_at":"2026-08-02T07:13:25.202894Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:25.279487Z","title":": Probabilistic Deduction and Pattern Recogn ition of Complex Events","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:25.279487Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:1630ebc8dcf50c9fd57762a0c39f91a9b66a402120a7275f2242e9f2c2578ef5","observation_id":"6b847e4e-cbfd-4e6d-860c-316e49e75ddb","resolution":{"observed_at":"2026-08-02T07:13:25.279487Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1103.1061","last_updated":"2011-03-05T15:21:58Z","snapshot_observed_at":"2026-07-06T02:24:25.900376Z","submitted_at":"2011-03-05T15:21:58Z","title":"Temporal Probabilistic Logic Programs: State and Revision","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1103.1061","snapshot_observed_at":"2026-08-02T07:13:25.353681Z","title":": Temporal Probabilistic Logic Programs: St ate and Revision","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:25.353681Z"},"links":{"cited_paper":"/paper/1103.1061","citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:6a8ecad8c09daf02876bf7f241b2affdd2f629a371dc41f999336d016d4aa22a","observation_id":"990f667f-bb1d-4c66-bfad-c7ee40984373","resolution":{"observed_at":"2026-08-02T07:13:25.353681Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:25.427666Z","title":": Probabilistic logic","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:25.427666Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:6b1f8256a755def6d3c2864cde35600ce3fbe492f133b2adac523f2d520b3b6f","observation_id":"eb5cd1b4-23a0-4fc1-864a-3694d51853b1","resolution":{"observed_at":"2026-08-02T07:13:25.427666Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:25.537940Z","title":"and Halpern J","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:25.537940Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:f2bde63bb9b40d41ca2f462fd22bc45726a674a803ec9239e3dd42b9479f4e92","observation_id":"baa7a896-6490-45df-af63-d579b9d038b5","resolution":{"observed_at":"2026-08-02T07:13:25.537940Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:25.611334Z","title":null,"venue":null,"work_id":null,"year":1957},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:25.611334Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:8d7981c8074ebe6e4576e4332146fed56339d84b71e696d315dbf41a95b64c79","observation_id":"0d0c4bc3-167b-4438-92df-728e7d97cecb","resolution":{"observed_at":"2026-08-02T07:13:25.611334Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:25.691753Z","title":": Measure Theory","venue":null,"work_id":null,"year":1950},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:25.691753Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:5a59605f8b2f110a025b278745462d4438b157064b76ed790607b0a78e57ccbc","observation_id":"bf0346bc-b5ce-41d3-a896-85b9527c2e64","resolution":{"observed_at":"2026-08-02T07:13:25.691753Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:25.794023Z","title":": Selected works of A.N.Kolmogorov: vol .2 Probability theory and math- ematical statistics","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:25.794023Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:e1765be0f8fa8e37379dcbb038eef38edd8bfe0ae6d28cb8620f0cb04e3fe722","observation_id":"9ab9c605-edab-4cb1-a0ff-1ee627cf2993","resolution":{"observed_at":"2026-08-02T07:13:25.794023Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:25.903879Z","title":"and Halpern J.Y .: Uncertainty, Belief, and Prob ability","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:25.903879Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:f4796066392e0bd1687ca61991c0b285f08a5192bf8df84eb425cce5704c9f70","observation_id":"1461a7ea-7ad2-41d1-bd0d-78e4e0b2a9b8","resolution":{"observed_at":"2026-08-02T07:13:25.903879Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:26.002697Z","title":": Intensional Semantics for RDF Data Structur es","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:26.002697Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:408232ef99334227f67f3e7bd517883e42c82c665e0a8f11cf7cfc76be2a2b26","observation_id":"cd0bf74d-e6b8-4131-946a-6e567596d0f2","resolution":{"observed_at":"2026-08-02T07:13:26.002697Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:26.106395Z","title":": Constraint Logic Programming and Logic Moda lity for Event’s V alid-time Ap- proximation","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:26.106395Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:b4724d2e7f938b3cf614d8450bfa3bb52bb29805690d898d32a82ff169bb6bbc","observation_id":"974eadaa-474f-41eb-8daa-018adab06c23","resolution":{"observed_at":"2026-08-02T07:13:26.106395Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1103.0676","last_updated":"2011-03-03T13:03:15Z","snapshot_observed_at":"2026-08-06T13:15:37.981109Z","submitted_at":"2011-03-03T13:03:15Z","title":"Probabilistic Logic: Many-valuedness and Intensionality","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1103.0676","snapshot_observed_at":"2026-08-02T07:13:26.261009Z","title":": Probabilistic Logic: Many-valuedness and Intensionality","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:26.261009Z"},"links":{"cited_paper":"/paper/1103.0676","citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:221d82b900aae6e130346f912703d612fea2af823c8d1f58947ad8e178b16f0f","observation_id":"5c8e3c44-557c-4740-a33d-94960217c1a3","resolution":{"observed_at":"2026-08-02T07:13:26.261009Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:26.330668Z","title":": Well-Definedness and Efficient In ference for Probabilistic Logic Programming under the Distribution Semantics","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:26.330668Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:19be90452492e2ce8da2219d41284a3223f9b7d298205291fa7eaf278ed48d38","observation_id":"ae17bf2a-db49-49a3-9541-8d355e9025ca","resolution":{"observed_at":"2026-08-02T07:13:26.330668Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:26.399515Z","title":"and Truszczynski, M","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:26.399515Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:9a53f04cb50f87803b8ad7aaa83b7c7db8eb3247134bd3c3d6e0196496587028","observation_id":"e8fcb0b9-14ac-488c-b06c-76d824f25d3d","resolution":{"observed_at":"2026-08-02T07:13:26.399515Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:26.481628Z","title":"and Y osinski, J","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:26.481628Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:a8dfd8126803059082367ab8a8e6c8a524c8bc64aa3a144421b5827eadb5befa","observation_id":"fd995d75-7983-4907-a106-2983c73140dd","resolution":{"observed_at":"2026-08-02T07:13:26.481628Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1801.00631","last_updated":"2018-01-02T12:49:35Z","snapshot_observed_at":"2026-08-07T12:12:33.235667Z","submitted_at":"2018-01-02T12:49:35Z","title":"Deep Learning: A Critical Appraisal","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1801.00631","snapshot_observed_at":"2026-08-02T07:13:26.558368Z","title":": Deep learning: a critical appraisal","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:26.558368Z"},"links":{"cited_paper":"/paper/1801.00631","citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:3316bd7cfe18ae4a56928bb657ddb89f347581e6a4d5d3efa42ab9d852ee3f43","observation_id":"41494d68-80d7-41ee-9900-6ffb58adf66b","resolution":{"observed_at":"2026-08-02T07:13:26.558368Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:26.627203Z","title":": The purpose put into the machine","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:26.627203Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:05bf3da2da9065b4f356d5a329a398aa353fab2f03c51f4a14e5a772aa89a2ab","observation_id":"807bd1d4-cb7f-4a98-ac82-892c25bb9467","resolution":{"observed_at":"2026-08-02T07:13:26.627203Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:26.705092Z","title":"and Newell, A","venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:26.705092Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:0b5b82009adcc0f43c248362a8052385e6bda2961b336c7497fd5c75482838b6","observation_id":"a9c83a02-70a8-47f2-8f3d-612c5a05a5f0","resolution":{"observed_at":"2026-08-02T07:13:26.705092Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.09567","last_updated":"2026-07-16T14:57:30Z","snapshot_observed_at":"2026-08-05T20:51:44.920398Z","submitted_at":"2026-02-18T21:57:15Z","title":"Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.09567","snapshot_observed_at":"2026-08-02T07:13:26.784864Z","title":": Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learn- ing and Deductions","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:26.784864Z"},"links":{"cited_paper":"/paper/2604.09567","citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:455659344046d698aee1969e06bea54f3cd9c3a235b93755c87d1d1ac01b097b","observation_id":"a8270042-90fe-4671-a5fe-3edd2a647c19","resolution":{"observed_at":"2026-08-02T07:13:26.784864Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:26.856690Z","title":":Business Data Science: Combining Machine Lear ning and Economics to Opti- mize, Automate and Accelerate Business Decisions","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:26.856690Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:a8e8cb4f211a732d68a5044e1e99eda9129492466cac05cf545f40323dce426e","observation_id":"b163d9d3-b159-4256-9560-66650aaf66e5","resolution":{"observed_at":"2026-08-02T07:13:26.856690Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:26.932725Z","title":": Rollout, Policy Iteration, and Distrib uted Reinforcement Learning","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:26.932725Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:faa7e000b617091d8f401222fdc7739f403dac6e43cda505f24ac0a3a57ae33a","observation_id":"445080b3-c29e-4c8b-a396-c49a2b517efe","resolution":{"observed_at":"2026-08-02T07:13:26.932725Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:27.006723Z","title":"I srael Journal of Mathematics 2 (1), 1–18","venue":null,"work_id":null,"year":1964},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:27.006723Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:4c4ac5f4a439f77136598cb857637d826e6a07389ac8b1bf4f1e9959385e7dcb","observation_id":"e9407d1c-fc46-4ef8-ad30-ffedc4d6ead1","resolution":{"observed_at":"2026-08-02T07:13:27.006723Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:27.095763Z","title":"and Snir M","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:27.095763Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:5dc9dd385f5027dbd817217f31ef4b17a6dcb6779d7909b503c81e8159def9e2","observation_id":"822b42cd-2a2c-49d6-b3c1-ceabfcca4d24","resolution":{"observed_at":"2026-08-02T07:13:27.095763Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:27.170987Z","title":": Random worlds an d maximum entropy","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:27.170987Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:c85a84d815a7eae812f56bfdd2842d0169bfb5e265292bcccc0cec9396363015","observation_id":"4fdfd1ba-a31a-45c2-bcf2-c297d668f766","resolution":{"observed_at":"2026-08-02T07:13:27.170987Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:27.242733Z","title":"and V encovska A","venue":null,"work_id":null,"year":1990},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:27.242733Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:bc68c49c851fdab25d1a830d82f5a01278d975403fab37f818a012201eb9b408","observation_id":"e699df03-f406-431b-863e-25312b07a257","resolution":{"observed_at":"2026-08-02T07:13:27.242733Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:27.320690Z","title":"and Kern-Isberner G","venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:27.320690Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:3ef20018e1812fdaeca0cc99195681d896687cbe96c7e8c4811c6ab1dc7d8ebc","observation_id":"cee9bbce-6365-4d0a-bf44-b3ba29fbd6be","resolution":{"observed_at":"2026-08-02T07:13:27.320690Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:27.408617Z","title":": A Mathematical Theory of Communication","venue":null,"work_id":null,"year":1948},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:27.408617Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:e8dd1a088b7627361b46db16b475314bed9fb97c5ff4c8f5d885b4551772471a","observation_id":"bc1d62b0-99df-4dea-88f3-c1b0ea27ff17","resolution":{"observed_at":"2026-08-02T07:13:27.408617Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.03366","last_updated":"2025-08-05T12:14:32Z","snapshot_observed_at":"2026-08-06T04:33:30.342321Z","submitted_at":"2025-08-05T12:14:32Z","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.03366","snapshot_observed_at":"2026-08-02T07:13:27.465736Z","title":": A Comparative Study of Neurosymbolic AI Appro aches to Interpretable Logical Reasoning","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:27.465736Z"},"links":{"cited_paper":"/paper/2508.03366","citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:711bd66c78deb23b838690fec8ede84b2c4daab3b75fda876e76a76118e60c2f","observation_id":"6cb63ce7-11ce-4e4a-beec-a67c05e2de64","resolution":{"observed_at":"2026-08-02T07:13:27.465736Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:27.549418Z","title":"and Harrison, L","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:27.549418Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:f4428a5b833ff05b425b8e608e76db6f7ccc9b329389b90bd3a77d6188c4e894","observation_id":"4bdb3660-1db7-4287-b691-fa15ad511aca","resolution":{"observed_at":"2026-08-02T07:13:27.549418Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:27.623091Z","title":": ProbLog: A proba bilistic Prolog and its appli- cation in link discovery","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:27.623091Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:fae4d734d47316b389a386c2e80b2d98b98fcf121b6c2b370db6bda3fe42131b","observation_id":"29335d7b-94dc-4f93-8f4b-f45e018f5e4a","resolution":{"observed_at":"2026-08-02T07:13:27.623091Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:27.678030Z","title":"and L uc De Raedt : DeepProbLog: Neural Probabilistic Logic Programming","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:27.678030Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:3d75990126473e71d03e2ce9d72b33ff557e47573c7e2a231a4c57bbf97b277c","observation_id":"2fea6c55-d615-4dda-91b2-8f518317718a","resolution":{"observed_at":"2026-08-02T07:13:27.678030Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:27.750986Z","title":": Sta tistical relational artificial intelli- gence: Logic, probability, and computation","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:27.750986Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:7ee1ba975c12c2b39024df4dcdba992521acca886a1939c79f60fc06c3cf2e09","observation_id":"da224782-0771-41d0-aa52-c37d409a9dc1","resolution":{"observed_at":"2026-08-02T07:13:27.750986Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:27.827508Z","title":"Strict Probabilities : - DeepProbLog assigns a probability to a fact (e.g., 0.7::smokes(person) )","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:27.827508Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:a47808b278efd3cb77f0f3ffd2a616f7a900dcd0118964128c8f37bbd8acfedf","observation_id":"ccf91897-0d9b-4b8a-9bcd-4ef89579873b","resolution":{"observed_at":"2026-08-02T07:13:27.827508Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:27.889409Z","title":"Extensional Representation : - DeepProbLog relies on classical extensional logic","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:27.889409Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:ea884ef735f6170e3a423a92e569250d91d51f377491ea06b70e1f1cd7c3f1e0","observation_id":"e082b30f-7e2b-4d00-b93c-ceaaef443a9d","resolution":{"observed_at":"2026-08-02T07:13:27.889409Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:13:28.016007Z","title":"- IFOLB mitigates this scaling bottleneck by pairing neural networ ks with Local Symmetry Transformations","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-02T07:13:28.016007Z"},"links":{"citing_paper":"/paper/2607.13073"},"observation_digest":"sha256:8f28bd5ff96d7a1d74049624cdab474d5f4dc126344db287723f6c6d502cdca5","observation_id":"323a2324-fac4-49a4-93ed-50cc930ad0e1","resolution":{"observed_at":"2026-08-02T07:13:28.016007Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.13073","last_updated":"2026-07-20T17:51:43Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T14:15:35.725787Z","submitted_at":"2026-07-12T15:54:58Z","title":"Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL"},"reference_resolution":{"displayed":47,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":47,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":47},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2607.13073."}