Paper Citation Record · LEDGER

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL

As of 10 August 2026, this Paper Citation Record lists 47 of 47 outbound references and 0 inbound Pith citation observations for arXiv:2607.13073.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.13073 v2

Coverage vector

measured 47 of 47 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T07:13:28.016007Z

measured 47 of 47 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

47 of 47 outbound references displayed

verified exact0
verified fuzzy0
unresolved47
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 713f78e5-bb0b-4b53-9ac1-d8e08181b92d · outbound

This paper cites Intensionality and Two-steps Interpretations.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL Intensionality and Two-steps Interpretations

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:23.645300Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4a0d8bbd-74e1-417a-9e7c-e50345b3aedf · outbound

This paper cites Walter De Gruyter GmbH, Berlin/Boston, ISBN 978-3-11-099494-0, (20 22).

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL Walter De Gruyter GmbH, Berlin/Boston, ISBN 978-3-11-099494-0, (20 22)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:23.743611Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccaf5b56-500d-4078-9881-2d2ea60f79b7 · outbound

This paper cites Intensional FOL: Many-Sorted Extension.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL Intensional FOL: Many-Sorted Extension

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:23.838177Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b76bd11c-feb3-457e-9a70-35778916f0a2 · outbound

This paper cites : Intensional First Order Logic for Strong-AI Generation of Robots.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Intensional First Order Logic for Strong-AI Generation of Robots

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:23.990993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f59e1eb7-b9a9-4274-8270-7f7de23ef783 · outbound

This paper cites : Strong-AI Autoepistemic Robots Build on Int ensional First Order Logic.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Strong-AI Autoepistemic Robots Build on Int ensional First Order Logic

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:24.127854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 44a34085-2eac-4d4c-b4df-b007b9ebd2db · outbound

This paper cites Intensional FOL over Belnap's Billatice for Strong-AI Robotics.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL Intensional FOL over Belnap's Billatice for Strong-AI Robotics

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:24.265640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02047b99-8edc-4e7a-ad40-713f074d5350 · outbound

This paper cites : Universals.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Universals

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:24.422657Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a52e94f-dc30-45d6-8cfc-74ed47062a1a · outbound

This paper cites : Theories of properties, relations, and propo sitions.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Theories of properties, relations, and propo sitions

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:24.596726Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8f96405f-d457-4ede-b021-25fe62cbfecd · outbound

This paper cites : Intensional logic and epistemic independen cy of intelligent database agents.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Intensional logic and epistemic independen cy of intelligent database agents

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:24.750981Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c0405b36-59fb-4c94-b2f7-24a3ced98816 · outbound

This paper cites : Autoepistemic logic programming for reaso ning with inconsistency.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Autoepistemic logic programming for reaso ning with inconsistency

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:24.867339Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a7e06b7-7dfc-4d13-9bd9-edec291e6152 · outbound

This paper cites and M.I.Dekhtyar M.I.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL and M.I.Dekhtyar M.I

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:25.013768Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c941f73c-5615-41e8-9cab-3a081327337d · outbound

This paper cites and Subrahmanian V .S.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL and Subrahmanian V .S

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:25.141376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f8e97a1-a920-4633-aa67-d37d1538bcf5 · outbound

This paper cites : Temporal Probabilistic Logic Programs: St ate and Revision.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Temporal Probabilistic Logic Programs: St ate and Revision

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:25.202894Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b847e4e-cbfd-4e6d-860c-316e49e75ddb · outbound

This paper cites : Probabilistic Deduction and Pattern Recogn ition of Complex Events.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Probabilistic Deduction and Pattern Recogn ition of Complex Events

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:25.279487Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 990f667f-bb1d-4c66-bfad-c7ee40984373 · outbound

This paper cites Temporal Probabilistic Logic Programs: State and Revision.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL Temporal Probabilistic Logic Programs: State and Revision

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:25.353681Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb5cd1b4-23a0-4fc1-864a-3694d51853b1 · outbound

This paper cites : Probabilistic logic.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Probabilistic logic

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:25.427666Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation baa7a896-6490-45df-af63-d579b9d038b5 · outbound

This paper cites and Halpern J.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL and Halpern J

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:25.537940Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d0c4bc3-167b-4438-92df-728e7d97cecb · outbound

This paper cites an unresolved cited work.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:25.611334Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf0346bc-b5ce-41d3-a896-85b9527c2e64 · outbound

This paper cites : Measure Theory.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Measure Theory

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:25.691753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ab9c605-edab-4cb1-a0ff-1ee627cf2993 · outbound

This paper cites : Selected works of A.N.Kolmogorov: vol .2 Probability theory and math- ematical statistics.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Selected works of A.N.Kolmogorov: vol .2 Probability theory and math- ematical statistics

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:25.794023Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1461a7ea-7ad2-41d1-bd0d-78e4e0b2a9b8 · outbound

This paper cites and Halpern J.Y .: Uncertainty, Belief, and Prob ability.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL and Halpern J.Y .: Uncertainty, Belief, and Prob ability

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:25.903879Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd0bf74d-e6b8-4131-946a-6e567596d0f2 · outbound

This paper cites : Intensional Semantics for RDF Data Structur es.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Intensional Semantics for RDF Data Structur es

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:26.002697Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 974eadaa-474f-41eb-8daa-018adab06c23 · outbound

This paper cites : Constraint Logic Programming and Logic Moda lity for Event’s V alid-time Ap- proximation.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Constraint Logic Programming and Logic Moda lity for Event’s V alid-time Ap- proximation

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:26.106395Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c8e3c44-557c-4740-a33d-94960217c1a3 · outbound

This paper cites Probabilistic Logic: Many-valuedness and Intensionality.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL Probabilistic Logic: Many-valuedness and Intensionality

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:26.261009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae17bf2a-db49-49a3-9541-8d355e9025ca · outbound

This paper cites : Well-Deﬁnedness and Efﬁcient In ference for Probabilistic Logic Programming under the Distribution Semantics.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Well-Deﬁnedness and Efﬁcient In ference for Probabilistic Logic Programming under the Distribution Semantics

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:26.330668Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8fcb0b9-14ac-488c-b06c-76d824f25d3d · outbound

This paper cites and Truszczynski, M.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL and Truszczynski, M

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:26.399515Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd995d75-7983-4907-a106-2983c73140dd · outbound

This paper cites and Y osinski, J.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL and Y osinski, J

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:26.481628Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41494d68-80d7-41ee-9900-6ffb58adf66b · outbound

This paper cites Deep Learning: A Critical Appraisal.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL Deep Learning: A Critical Appraisal

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:26.558368Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 807bd1d4-cb7f-4a98-ac82-892c25bb9467 · outbound

This paper cites : The purpose put into the machine.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : The purpose put into the machine

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:26.627203Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9c83a02-70a8-47f2-8f3d-612c5a05a5f0 · outbound

This paper cites and Newell, A.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL and Newell, A

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:26.705092Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8270042-90fe-4671-a5fe-3edd2a647c19 · outbound

This paper cites Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:26.784864Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b163d9d3-b159-4256-9560-66650aaf66e5 · outbound

This paper cites :Business Data Science: Combining Machine Lear ning and Economics to Opti- mize, Automate and Accelerate Business Decisions.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL :Business Data Science: Combining Machine Lear ning and Economics to Opti- mize, Automate and Accelerate Business Decisions

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:26.856690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 445080b3-c29e-4c8b-a396-c49a2b517efe · outbound

This paper cites : Rollout, Policy Iteration, and Distrib uted Reinforcement Learning.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Rollout, Policy Iteration, and Distrib uted Reinforcement Learning

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:26.932725Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9407d1c-fc46-4ef8-ad30-ffedc4d6ead1 · outbound

This paper cites I srael Journal of Mathematics 2 (1), 1–18.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL I srael Journal of Mathematics 2 (1), 1–18

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:27.006723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 822b42cd-2a2c-49d6-b3c1-ceabfcca4d24 · outbound

This paper cites and Snir M.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL and Snir M

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:27.095763Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4fdfd1ba-a31a-45c2-bcf2-c297d668f766 · outbound

This paper cites : Random worlds an d maximum entropy.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Random worlds an d maximum entropy

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:27.170987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e699df03-f406-431b-863e-25312b07a257 · outbound

This paper cites and V encovska A.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL and V encovska A

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:27.242733Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cee9bbce-6365-4d0a-bf44-b3ba29fbd6be · outbound

This paper cites and Kern-Isberner G.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL and Kern-Isberner G

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:27.320690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc1d62b0-99df-4dea-88f3-c1b0ea27ff17 · outbound

This paper cites : A Mathematical Theory of Communication.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : A Mathematical Theory of Communication

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:27.408617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6cb63ce7-11ce-4e4a-beec-a67c05e2de64 · outbound

This paper cites A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:27.465736Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4bdb3660-1db7-4287-b691-fa15ad511aca · outbound

This paper cites and Harrison, L.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL and Harrison, L

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:27.549418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29335d7b-94dc-4f93-8f4b-f45e018f5e4a · outbound

This paper cites : ProbLog: A proba bilistic Prolog and its appli- cation in link discovery.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : ProbLog: A proba bilistic Prolog and its appli- cation in link discovery

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:27.623091Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fea6c55-d615-4dda-91b2-8f518317718a · outbound

This paper cites and L uc De Raedt : DeepProbLog: Neural Probabilistic Logic Programming.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL and L uc De Raedt : DeepProbLog: Neural Probabilistic Logic Programming

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:27.678030Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da224782-0771-41d0-aa52-c37d409a9dc1 · outbound

This paper cites : Sta tistical relational artiﬁcial intelli- gence: Logic, probability, and computation.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL : Sta tistical relational artiﬁcial intelli- gence: Logic, probability, and computation

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:27.750986Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccf91897-0d9b-4b8a-9bcd-4ef89579873b · outbound

This paper cites Strict Probabilities : - DeepProbLog assigns a probability to a fact (e.g., 0.7::smokes(person) ).

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL Strict Probabilities : - DeepProbLog assigns a probability to a fact (e.g., 0.7::smokes(person) )

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:27.827508Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e082b30f-7e2b-4d00-b93c-ceaaef443a9d · outbound

This paper cites Extensional Representation : - DeepProbLog relies on classical extensional logic.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL Extensional Representation : - DeepProbLog relies on classical extensional logic

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:27.889409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 323a2324-fac4-49a4-93ed-50cc930ad0e1 · outbound

This paper cites - IFOLB mitigates this scaling bottleneck by pairing neural networ ks with Local Symmetry Transformations.

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL - IFOLB mitigates this scaling bottleneck by pairing neural networ ks with Local Symmetry Transformations

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-02T07:13:28.016007Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.