Pith. sign in

Paper Citation Record · LEDGER

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning

As of 10 August 2026, this Paper Citation Record lists 69 of 69 outbound references and 1 inbound Pith citation observation for arXiv:2509.02958.

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

pith.paper-citation-record.v1
2509.02958 v1

Coverage vector

measured 69 of 69 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T11:24:22.950388Z

measured 70 of 70 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-04T21:36:27.340075Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-04T21:36:44.072892Z

Reference resolution

69 of 69 outbound references displayed

  • verified exact4
  • verified fuzzy3
  • unresolved60
  • parse uncertain0
  • malformed identifier2
  • metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e6ef0707-8e67-4241-a22c-0b6fe2bdd8ae · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 1

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.963031Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:13.575643Z digest=sha256:2c8aca4fb60443cdacbcb64a681887cc571b9a9e5b264fe425968348395ea8f1

Observation 0ec2f3df-2634-45b5-bd9b-e6bd2d05d1e8 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 2

Resolution
unresolved
no resolver link, observed 2026-08-05T11:24:13.681982Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T11:24:13.681982Z digest=sha256:ed0954b9c223b9a401ab0b6578c9cc3b6aa6bce49a1ff30dee7248d2bd62c0f1

Observation 3be6c5e8-67b8-4c3b-a925-fa568f6552b6 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 3

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.951608Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:13.828615Z digest=sha256:121f17ad28fdcf0fc885322ed1b6bf6d27038a4989babf3911fdef6471ec20c1

Observation 3685d098-a3d3-4f95-b44b-f618e792ddc0 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 4

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.938777Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:13.999554Z digest=sha256:e25095ec6563a7e8fca028a92702b40986ac9a6f7bc1115f20549406ab1cebda

Observation dfcdf044-6219-4c55-8bc3-639b85d96cee · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 5

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.927397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:14.136629Z digest=sha256:12d79a40a51d1e7e3109a7df2308670c4384948e35ab0819bd2d9b3f09b4cd1a

Observation 0ba22aeb-fe7c-41ab-83a8-aeb0af53a7e4 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 6

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.914723Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:14.302364Z digest=sha256:783db2c8c78d13d2437f8ea8bee418ab3c69cded9077ddc712afe0e5350ca4c0

Observation 1f226278-4f50-44d0-8561-b7d481d69ac4 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 7

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.902925Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:14.511787Z digest=sha256:1bdc6b7e8f9fabadf0673cd81b8873aa7395cffd964482c6be47af45ff9d0200

Observation c76175f3-fab1-41d9-817d-0bc9f31a9958 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 8

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.891333Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:14.731083Z digest=sha256:ac57498588479a755973298b3753b43cd45897dc24b27821194698569bb1a07e

Observation 7c40de50-5490-4fc9-b897-163efa892809 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 9

Resolution
verified exact
doi, observed 2026-08-05T11:24:23.396431Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:14.878408Z digest=sha256:3be9c3ef72041122faf67708bdfa5f2fbac5f574e83925efd408778704b98d64

Observation 23296cd2-ac44-42d0-aaa2-b3ed4273b9c6 · outbound

This paper cites Deep Inductive Logic Programming meets Reinforcement Learning.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Deep Inductive Logic Programming meets Reinforcement Learning

Reference 10

Resolution
verified exact
local_arxiv, observed 2026-08-05T11:24:24.360447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:15.044718Z digest=sha256:dfbcc1a1e4832f180f4199eecc22c64dea6e36df586c6fb4df44b7e103369841

Observation 41c56122-31c9-4a7f-a41d-b122a06d338e · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 11

Resolution
malformed identifier
raw_fallback, observed 2026-08-05T11:24:24.214186Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:15.213641Z digest=sha256:8d175e4c88e3f6a3ca90cced33166959ebe9636016bd6a6c7f5d5c60e9d8b96b

Observation dd8ad212-7f1c-4a12-a27a-aeb3593c4d9b · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 12

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.880112Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:15.426689Z digest=sha256:b9bd189642d0d1607d01f2f079e0fa2708a000761319f0a0fe9957da594917db

Observation 3df273ef-7ff0-430d-a1fa-1f4e5aa90756 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 13

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.869038Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:15.591274Z digest=sha256:448457d34a393d68acfe21fab8f4960eef59fb109a041306b8d4aaf577511a2f

Observation ad2f719c-abc8-4288-a3c7-32a15ab66671 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 14

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.857740Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:15.765389Z digest=sha256:f7809133fcd1c5d604114b20ded160becb52ae76c5cc2b5a7e678007cb029796

Observation 240634d0-8a71-4ba3-a72d-a0b31981a9f6 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 15

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.847163Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:15.942216Z digest=sha256:7c1a4a01d7e31b8a1ae9a4c2c8ef98794808624cf247be6115f79796775b221c

Observation 9d98c468-d217-4786-8066-626a231892e2 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 16

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.835889Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:16.123704Z digest=sha256:418b22e4ada3bf366f6b6785bd1e4438daaa3d9cbcc9c48ea1be146e4a05f0e7

Observation cb50ef79-77db-4ae8-bb9c-05cec3d6c27d · outbound

This paper cites Purushothaman Iyer, and Murali Narasimha.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Purushothaman Iyer, and Murali Narasimha

Reference 17

Resolution
unresolved
no resolver link, observed 2026-08-05T11:24:16.289857Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T11:24:16.289857Z digest=sha256:8cdb60fc879f959b6dcff9455a2ad166f247d0c6387e80c43f20b0121e1680c4

Observation 47dd216f-4429-4405-b0b5-4650a229223a · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 18

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.823764Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:16.460408Z digest=sha256:8f9c4b224ccf517ddadba27fc92eb76883747e1b46094fd6e3c4d4ebe35e2003

Observation 984c9c3a-a31d-4f49-b8b3-f2d64d281cef · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 19

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.812300Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:16.622368Z digest=sha256:fc9cf2d5a8be386917ae1f73e714f6748e48daa73e6c827fa94b2626c0b4dd64

Observation e48609e0-8a8b-4535-b49c-21b6d9e258bd · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 20

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.801185Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:16.776386Z digest=sha256:760bfdfd6200fdae86202c02743d9b2f263ef4468d4c4f9cc5e5dad0424a0634

Observation 0a1ea923-38ee-42a0-8ed4-ea823afa9b01 · outbound

This paper cites Turning 30: New Ideas in Inductive Logic Programming.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Turning 30: New Ideas in Inductive Logic Programming

Reference 21

Resolution
unresolved
no resolver link, observed 2026-08-05T11:24:16.790447Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T11:24:16.790447Z digest=sha256:02d91d3d03d1a8da0f4d729259962e26d8ed5547794b6c9642c357aaf7d64e54

Observation b270f869-16d4-43c2-a8b8-e426353263ed · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 22

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.790380Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:16.837338Z digest=sha256:53b5ddab3be2cd8b98ae763f9ef484f4f8942177c4c92da52355ef3e8532ceac

Observation fa8a1e49-35f5-4e90-b49b-bda97f02f472 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 23

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.778761Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:17.019548Z digest=sha256:e9913793aa453466102ffe671304ff1c897c820288e87669ba2deafe268c5400

Observation ab2ed81d-9bec-4719-a8e7-913148e67b89 · outbound

This paper cites Dekhtyar, and V.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Dekhtyar, and V

Reference 24

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T11:24:26.767219Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:17.142251Z digest=sha256:3802dc279d037821694ea0d8af6a255e8c0157ee8a3ac70c6e6d19a3464e62b3

Observation 8870a787-5c7a-468d-a6a7-78ed4179fd66 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 25

Resolution
unresolved
no resolver link, observed 2026-08-05T11:24:17.274856Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T11:24:17.274856Z digest=sha256:b155c6b7b1d74ca2141eeb4b7cf8861e0bd63ff9f95371ceadf2b16f08bb65c6

Observation c589ba93-4100-44e5-9afa-4e711588307e · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 26

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.756196Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:17.432150Z digest=sha256:0312d0dd1c17bf49b5998aa4724d22f51f3ec2e68f14d5adb6155ed3f75d0590

Observation 04f14e43-787b-4525-9efe-036a90b575b4 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 27

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.744456Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:17.553891Z digest=sha256:9e3b831df90d6c88fa806e7224f1c97bae0e1558b53a515b10964715e88c8776

Observation c70d8099-e4f1-4fce-a5ae-2bc4bb3017c1 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 28

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.733174Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:17.681230Z digest=sha256:08ec3776169d061eb73a6f228cd1a7424e35891625313341c3696546c9e627e1

Observation dc6dfdc4-68ad-42e4-9f0f-7c114ee2382c · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 30

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.720918Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:18.008677Z digest=sha256:10cc5b4a86d5a49348f7fc6eb962863c1bc93f07bc003070c01cea08261b203e

Observation 7e834640-1330-435f-8540-9725b5c3656d · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 31

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.708475Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:18.215619Z digest=sha256:99f78e4e322c54de989b6af4ac8bd1c1ff86cc1b2b5008e2259602f240941691

Observation 674b803d-471b-43d1-8910-39d4f3eb0499 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 32

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.695822Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:18.338501Z digest=sha256:0c6e683f8748f0bba1c6947ff0e2fcb908aa9a6e3f18f56e46ef2e54c5af6968

Observation 8116fe60-8d37-4fd1-9a38-9cd5771b91fe · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 33

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.683592Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:18.465818Z digest=sha256:86c3af6ebe969918e7457e07f888d2a2656f8caf08f8bd7a4fc65f0772280683

Observation ab77f0af-dffc-4ae8-b634-2e873070f7c1 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 34

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.670301Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:18.555947Z digest=sha256:e4096312d7c508a332f9fa358470d23f4fdb3786e296d7f01247e11bee9d248c

Observation fb889af9-af64-4319-a63c-80a29c38c192 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 35

Resolution
unresolved
no resolver link, observed 2026-08-05T11:24:18.665104Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T11:24:18.665104Z digest=sha256:a21493d8aa8b5f2c0a03eb487831dac35c42fed8bb9359fc3b6bbc0c03674a5f

Observation c34403df-157f-4e41-bbc5-d82695af7e93 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 36

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.649946Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:18.754824Z digest=sha256:da237996a898311302bc54218ed8b3e4afe9fa44ad0e2fc806d6f63c85339954

Observation 2b793ca3-d8a1-4ae1-80fa-00444ed7f3d7 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 37

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.638795Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:18.931996Z digest=sha256:db9ae8b295f923fe3c802f759e08c0e512cccf8939bb207466bfec34c4623b3d

Observation 427be4a7-b480-442a-acac-8156deba6a99 · outbound

This paper cites Subrahmanian.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Subrahmanian

Reference 38

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T11:24:26.627005Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:19.067919Z digest=sha256:321600d774bd0fe76b3885552a830818993ea386f6b98f8b64752f4f14401967

Observation 404be6da-d243-44d9-bdbb-ca3bbd1fc8e9 · outbound

This paper cites Kowalski.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Kowalski

Reference 39

Resolution
unresolved
no resolver link, observed 2026-08-05T11:24:19.219356Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T11:24:19.219356Z digest=sha256:d1098d2c2013a8d7c41c74e7271ea64acfb3925406444994e1032ae190d05ad3

Observation 0e3122bc-c1d3-4ac1-82c2-9038c6f491dd · outbound

This paper cites Zakharov-Ito equation and Generalized Heisenberg ferromagnet-type equation: equivalence and related geometric curve flows.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Zakharov-Ito equation and Generalized Heisenberg ferromagnet-type equation: equivalence and related geometric curve flows

Reference 40

Resolution
unresolved
no resolver link, observed 2026-08-05T11:24:19.324614Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T11:24:19.324614Z digest=sha256:80127aa6ebece45b62acec9f2f3095b8dcfbabb57cafb76b8fe649380bca9e35

Observation dc0aaa1f-8124-4857-a310-907faa4116ce · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 41

Resolution
unresolved
no resolver link, observed 2026-08-05T11:24:19.482545Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T11:24:19.482545Z digest=sha256:2db7363dec5073f7cdd3d39b67a6ed735f911a7fa362d36c2833176a1abfe61a

Observation 9a28158a-4995-4ad8-941c-7f4cd43488c7 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 42

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.615267Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:19.628246Z digest=sha256:56b786116cb51f6ecf17c67004ce77a50bbf6dece32f9390b5eeaf6bd665f41c

Observation a19d5db3-e917-4ace-bd10-c0ea341ac787 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 43

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.603893Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:19.747320Z digest=sha256:6bbebf3388f8f07429d574aa6706dc6dd37bde0864cbff4e5997872737aac941

Observation 2373f644-7d24-4492-9018-9cba48cffd1e · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 44

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.592444Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:19.932561Z digest=sha256:4c7ce0ee9c23c9579ac2d81730b13d6b33f51d4c3ddfe63f1e19bf210caed65e

Observation b15bcac8-fe9f-41c0-8379-2479ae3a8a44 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 45

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.580620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:20.080068Z digest=sha256:9edfc016ee2df40a815cfbc9aeb6bab538b168799ecffb462f5da2d1b0b69846

Observation 6a13025b-7160-4da8-a868-6c9860602ed5 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 46

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.570711Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:20.224645Z digest=sha256:6de4640815358248b53587fa206a8efd7c6a5505aef0f8fb3c8e28dd52b86d5b

Observation 2ca4acf2-293e-4ecb-91bb-8cafd03ab171 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 47

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.547685Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:20.367185Z digest=sha256:d4547d30c7d39c8c89c5bfcb6a591bd2af9c3941f81b4c0ea5d4dead4329a3fa

Observation 0e4ac528-bdb0-48cd-83c0-3f7084204aac · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 48

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.390186Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:20.496525Z digest=sha256:b7e8d156558007f1444a63b1ec92ac576bb990bec00c8d51e174a04a6bbb4930

Observation a61dbf75-fa45-43ff-ab48-4b0387d39271 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 49

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.257816Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:20.633537Z digest=sha256:83a873e3cc36a4849883d55676837744585a181688bbb4f52907d91062180529

Observation 3d42f85d-0442-420c-893f-1b25f7d9a955 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 50

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.125251Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:20.718553Z digest=sha256:eb1266aa1af6c9f8c01a88a0418c149951742d9069e5a9dddc3a3d4aea676beb

Observation 233ed74c-4546-4ce4-b1e0-0a628429ded1 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 51

Resolution
verified exact
doi, observed 2026-08-05T11:24:23.157432Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:20.843055Z digest=sha256:30e6871a98bc56b030cf310be7b67f69191ed66989620ad739f1560161d8378a

Observation 49a0ea7e-1452-4121-b2a7-2a7e7ce841e2 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 52

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:26.037131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:20.932983Z digest=sha256:ea07def30f5ff2eca025f45c86f727afe12b421d02d2904f48391ccd4cf92d7e

Observation f95980ff-0435-464c-9b7c-ad14527f2d04 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 53

Resolution
unresolved
no resolver link, observed 2026-08-05T11:24:21.049630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T11:24:21.049630Z digest=sha256:104f29130f50a6ade6fe14bd7a89fe0deeb76caf9ab091b5aaced5b0b5d2e2d4

Observation 60e18992-44f3-42eb-b84e-a42713d454ca · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 54

Resolution
unresolved
no resolver link, observed 2026-08-05T11:24:21.171770Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T11:24:21.171770Z digest=sha256:dd09c102de38cd15cd5dbdfca9699402228cc5ad125a84916ab031048575566c

Observation accdbb14-c78e-4091-b132-6dd1e0c50bf6 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 55

Resolution
malformed identifier
raw_fallback, observed 2026-08-05T11:24:25.898610Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:21.258351Z digest=sha256:0810cd766c0f2df5d1e46494815fc875490fba0e80646c997a82bdfcb19e203e

Observation ab5fb6a3-9074-41e5-961e-3434bd8e27cc · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 56

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:25.790157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:21.387006Z digest=sha256:451319a647e1af291e957add167461372267d6fdf20a3ab6d36af60e361ff6d2

Observation ad6f959b-169d-4ee3-987a-cb24119ad675 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 57

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:25.659235Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:21.475101Z digest=sha256:d04d04ebb4bfbf79b42af45b92232798b0928629a62e8b9423c95f9c8b1ccd80

Observation e0ce004b-4fef-46d5-8fda-b5b451429753 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 58

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:25.535052Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:21.552313Z digest=sha256:f85f6262b018f90654438a951e6c761a2b4ffdc7c6e96cb126df064593560069

Observation 5e3f1cff-1b78-4299-91db-bb2b206ab363 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 59

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:25.429983Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:21.668144Z digest=sha256:cc02532c9c9fc10c6b20151f5eb6675fb7835ac8ff986b9c54417fbaaf00ae05

Observation 469215d6-309b-4556-89d3-4614f8795f72 · outbound

This paper cites Simari, and Venkatramana V.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Simari, and Venkatramana V

Reference 60

Resolution
unresolved
no resolver link, observed 2026-08-05T11:24:21.756303Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T11:24:21.756303Z digest=sha256:5819fab9764482cc455afd0a34af682dc4a1cc51ebc055eb4b66d064b12ea4b6

Observation 55976423-7c80-479e-8afa-ceadd119bebf · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 61

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:25.312429Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:21.836320Z digest=sha256:4e4ddcf07d77acddfe8b9e58befe4ee04ce857d47ce12304960cbeb797c34baf

Observation 7b99d8bb-130b-49fc-99f6-7e9f4b3c3725 · outbound

This paper cites Simari, and Robert Schroeder.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Simari, and Robert Schroeder

Reference 62

Resolution
verified fuzzy
raw_fallback, observed 2026-08-05T11:24:25.200558Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:21.942397Z digest=sha256:9586b8267e69f28727a82c82b16fa35f7d5772fc490b208e758bf8186e80018a

Observation d49d39ce-e6ba-4ec9-ac37-03275f26e627 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 63

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:25.056056Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:22.093559Z digest=sha256:16cedf205c97537e1fd83cfb116c6c265c463f007ce0762e024c948f43f7e7ec

Observation 2b0f2887-09a0-4709-a852-d74f8338dd83 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 64

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:24.904183Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:22.214841Z digest=sha256:d44b9e7a0ef6b1df28f47b9abc92d99e6b9523295ad15b45f35e3a6207412b5f

Observation 3af6ce7b-fd93-467c-b8c3-391fa159371f · outbound

This paper cites Suchanek, Gjergji Kasneci, and Gerhard Weikum.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Suchanek, Gjergji Kasneci, and Gerhard Weikum

Reference 65

Resolution
unresolved
no resolver link, observed 2026-08-05T11:24:22.313139Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T11:24:22.313139Z digest=sha256:55ba3495612ab8e295cccf34104c779c8993a95fd3294cd37f9e48846346c338

Observation fa9ddbe9-5e8d-4f0c-a03d-b96b88d2b8f7 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 67

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:24.755740Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:22.512785Z digest=sha256:15c1d5c5acd736fae1fde0792ed4b05e768453168689d81a40389e28b855e3eb

Observation 618a7421-fd2e-42d6-b2ca-d13081d7c6d1 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 68

Resolution
unresolved
no resolver link, observed 2026-08-05T11:24:22.728644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T11:24:22.728644Z digest=sha256:f9183c982e18b26731a31fe223f98beda6c1164a571ce5afe27c57967993a3ae

Observation b04277b7-e4b8-43be-ba14-ce3880643a0f · outbound

This paper cites StarCraft II: A New Challenge for Reinforcement Learning.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning StarCraft II: A New Challenge for Reinforcement Learning

Reference 69

Resolution
unresolved
no resolver link, observed 2026-08-05T11:24:22.840572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

source=pdf_text observed=2026-08-05T11:24:22.840572Z digest=sha256:38527e38b017f92795f1077290228220a5182f6fea58b42cc8d93478d154c1eb

Observation ae493ee7-aa77-47f8-ad29-0621c1ad15a6 · outbound

This paper cites an unresolved cited work.

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work

Reference 70

Resolution
unresolved
raw_fallback, observed 2026-08-05T11:24:24.571902Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:22.950388Z digest=sha256:bfc6b573017bcbdcf1330126b5cb9078b4018d3c2e7e5d711f9bc8281775ad3e

Observation ecb6e4a0-cc6f-4eb3-9c7b-34f6b842cb8e · outbound

This paper cites In 2023 IEEE 17th International Conference on Semantic Computing (ICSC).

Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning In 2023 IEEE 17th International Conference on Semantic Computing (ICSC)

Reference 2023

Resolution
verified exact
raw_fallback, observed 2026-08-05T11:24:23.977263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=pdf_text observed=2026-08-05T11:24:22.627413Z digest=sha256:759db3306dd9f750f264f724cbf61499fb700c0634363546a4d877083d01f3bf

Pith citing papers

Observation f0fedb20-0bd1-4c6c-bfc7-3ee4c2c8aed1 · inbound

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming cites this paper.

EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning

Reference 177

Resolution
metadata mismatch
local_arxiv, observed 2026-08-04T21:36:44.126754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

source=arxiv_source observed=2026-08-04T21:36:27.340075Z digest=sha256:9539c7528a739000dec70ce2cddf26af52ddfc715ba6eee47c2cd848015b8df8