Paper Citation Record · LEDGER

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine

As of 4 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:1907.11321.

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

pith.paper-citation-record.v1
1907.11321 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-24T15:57:36.125418Z

measured 42 of 42 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-04T06:34:03.388597+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

42 of 42 outbound references displayed

verified exact5
verified fuzzy26
unresolved10
parse uncertain1
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d0b94b55-a4f7-40a8-b53a-6ec39a58e0d4 · outbound

This paper cites Abadi, P.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Abadi, P

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.385351Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation a4e75e06-3451-424a-8d8a-d4734cc99f7c · outbound

This paper cites an unresolved cited work.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:59:40.311880Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation e0839fac-9964-4e5d-8819-3f76585a2772 · outbound

This paper cites an unresolved cited work.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:59:40.307924Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation ddc2dce7-74f2-49fd-a8a0-5ef02238df9f · outbound

This paper cites Bouhoula, J.-P.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Bouhoula, J.-P

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.314976Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 1edf4a5f-2939-4a37-9371-1c218f4a1f1f · outbound

This paper cites an unresolved cited work.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:59:40.324332Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation cb16f687-475e-432f-99cc-a553a2680dc7 · outbound

This paper cites Esteva and L.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Esteva and L

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.321121Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 79640870-fa6e-44cc-bc59-521d6df2633c · outbound

This paper cites an unresolved cited work.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:59:40.304198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation f5473121-c745-4341-b4f5-571d959bcc4c · outbound

This paper cites an unresolved cited work.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:59:40.402617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation c4f632fc-65a7-4c45-a4d5-84385de63cd2 · outbound

This paper cites Gens and P.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Gens and P

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.289491Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation a36c247b-acbd-4b33-b98e-d877d951207f · outbound

This paper cites Ghosh, W.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Ghosh, W

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.297117Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 4466a4e8-d7a6-4838-8846-1633ac716771 · outbound

This paper cites Graves, M.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Graves, M

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.327879Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation d028d4bb-07b2-443e-af4c-cf031a2a9197 · outbound

This paper cites Grefenstette.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Grefenstette

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.284445Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 2b48e6e2-a8f6-4aff-83eb-b8ee972939bb · outbound

This paper cites Towards a Model Theory for Distributed Representations.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Towards a Model Theory for Distributed Representations

Reference 13

Resolution: verified exact; local_arxiv, observed 2026-05-24T15:59:39.222704Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 555da5ee-1e16-4706-8144-4a179ee34dfb · outbound

This paper cites Haaren, G.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Haaren, G

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.333995Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 03765e46-52de-42cc-bf32-dbc83008d505 · outbound

This paper cites an unresolved cited work.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:59:40.266253Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation bb70ae4f-bc3a-4d45-856c-337bad8aa924 · outbound

This paper cites an unresolved cited work.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:59:40.271846Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 817d0df0-76bc-4f84-8f2e-f3b9a7827f39 · outbound

This paper cites Adam: A Method for Stochastic Optimization.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Adam: A Method for Stochastic Optimization

Reference 17

Resolution: verified exact; local_arxiv, observed 2026-05-24T15:59:39.211220Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation ec22cf9e-394b-41c4-b413-df8c7cceba61 · outbound

This paper cites Kummer and M.-O.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Kummer and M.-O

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.276385Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 7429194e-6665-4ac5-949c-7774098edc41 · outbound

This paper cites LeCun, Y.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine LeCun, Y

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.300479Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 5dd55d1e-ad98-4755-8727-ca4f301641a1 · outbound

This paper cites On the Semantic Relationship between Probabilistic Soft Logic and Markov Logic.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine On the Semantic Relationship between Probabilistic Soft Logic and Markov Logic

Reference 20

Resolution: verified exact; local_arxiv, observed 2026-05-24T15:59:39.204991Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 21146743-e626-4368-ad67-d353dea4d58c · outbound

This paper cites an unresolved cited work.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:59:40.293245Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation e6cdae2f-0b64-4c51-b5e0-4dd248c81cbb · outbound

This paper cites Mandt, M.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Mandt, M

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.376515Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation c57ec6bc-6da9-4320-a2aa-b0a538d39937 · outbound

This paper cites Mart´ ı-Oliet and J.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Mart´ ı-Oliet and J

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.379237Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 66578cba-6255-4a36-8054-77457ae21d01 · outbound

This paper cites Meseguer.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Meseguer

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.369759Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation cef7e597-248e-4600-8318-99e8b042762d · outbound

This paper cites https://www.sri.com/sites/default/files/ brochures/sri_palmilitary.pdf.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine https://www.sri.com/sites/default/files/ brochures/sri_palmilitary.pdf

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.366172Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 224e53a5-437f-4c52-bed1-94498c4ccc1a · outbound

This paper cites Poon and P.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Poon and P

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.388480Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 9589d750-2ce8-416e-92a1-dafadf30c104 · outbound

This paper cites http://www.ai.sri.com/pal/ PAL-software-downloads/PAL-zipfiles-and-docs/pce-doc/pal_pce.pdf.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine http://www.ai.sri.com/pal/ PAL-software-downloads/PAL-zipfiles-and-docs/pce-doc/pal_pce.pdf

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.392264Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation abbb2dff-cc11-4424-8fb3-877d0365ee5a · outbound

This paper cites Reichenbach.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Reichenbach

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.359222Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 89fc144e-d828-457c-9be8-31381ca883cf · outbound

This paper cites an unresolved cited work.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:59:40.395475Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 2e1c5706-fe83-418a-9975-431d56200698 · outbound

This paper cites an unresolved cited work.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Unresolved cited work

Reference 30

Resolution: parse uncertain; raw_fallback, observed 2026-05-24T15:59:40.399421Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 3c88bba5-f531-4760-b461-d1b9c1370e7b · outbound

This paper cites Richardson and P.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Richardson and P

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.355044Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation c13d5cff-c308-49ac-8177-bc8aaf89c7f7 · outbound

This paper cites Rocktaschel, S.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Rocktaschel, S

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.362663Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 4f085969-3594-4fcb-9a0c-251c5632d511 · outbound

This paper cites Rockt¨ aschel, S.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Rockt¨ aschel, S

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.373280Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 9d378611-f308-464a-95c9-c95e079cff20 · outbound

This paper cites Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Logic Tensor Networks: Deep Learning and Logical Reasoning from Data and Knowledge

Reference 34

Resolution: verified exact; local_arxiv, observed 2026-05-24T15:59:39.198935Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 48bcdb66-f4ab-413d-a380-ab4f0d939c34 · outbound

This paper cites Seraﬁni, I.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Seraﬁni, I

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.340757Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 333c5957-af3f-4837-9c83-ca0639c4d40f · outbound

This paper cites Socher, D.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Socher, D

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.344244Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation a6ca0efe-024f-404e-b8ff-48f45d02888d · outbound

This paper cites an unresolved cited work.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Unresolved cited work

Reference 37

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:59:40.347917Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 1ac3e341-9048-4f0c-9c2f-032edbcafdf3 · outbound

This paper cites Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Learning Causality: Synthesis of Large-Scale Causal Networks from High-Dimensional Time Series Data

Reference 38

Resolution: verified exact; local_arxiv, observed 2026-05-24T15:59:39.217265Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation ed1c2bd1-160b-4334-b14e-b3cc9185b26b · outbound

This paper cites http://maude.csl.sri.com/.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine http://maude.csl.sri.com/

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.330800Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 2849bcc8-59f2-4e5f-b6c8-19f2fe6b04a7 · outbound

This paper cites http://yices.csl.sri.com/.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine http://yices.csl.sri.com/

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.337251Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 0ff30946-6ebd-49ff-bc6b-ccb846898fbd · outbound

This paper cites Vertes, A.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Vertes, A

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.351525Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Observation 5bd5071b-df87-4511-8f77-776ed5f30257 · outbound

This paper cites Welling and Y.

Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine Welling and Y

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:59:40.382469Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.

Pith citing papers

No inbound Pith citation observations are available.