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-10T06:31:04.303077+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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:13.828615Z digest=sha256:9fe09cb57fbdb34b23288fd77558731d665c5e83643d1f7256a2b72ba82092f1

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:14.136629Z digest=sha256:2d6b8e70d43de85d87f111710ba19b38effa59ceca7ed5c9ebe756bf4558c651

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:14.302364Z digest=sha256:7118ea3ee1891b54f5f812ed0826ad461bca76fdfcdc623ce8c3f398082b7d34

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:14.511787Z digest=sha256:775d9aae6fbeef7b65144c3520798232909655362c753d10a3f1e3fe843bc139

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:15.213641Z digest=sha256:9ec9de75a0e263f9a4aeb0352d36b13cab238eb943e636bde84db3fef586b2ca

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:15.591274Z digest=sha256:3de43ab6c6bb48748c6e69018f07d7a84b83d9d55f264844a43761fc4520b2d2

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:16.460408Z digest=sha256:5a632d8d750533b5ece53c2febf3dae6f487b7e007b6cf05adb4abfc237b9e1d

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:16.837338Z digest=sha256:9fb8fe8ea8571786ac854c51eddf30b489feb06acb1413d71b7776faf5786770

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:17.142251Z digest=sha256:90fff71306d6341a9586215ffa7eff9a5561c697f3ac96091d9b081c9d826b74

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:17.432150Z digest=sha256:5fa1d95207f3bc06c76edda9fc947b601de3c9ddd829112a240551104c5028fb

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:17.553891Z digest=sha256:3263f395c56c87fc745917a331aba9cbf7821e3dcc7a1af3185805305362dd0e

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:18.008677Z digest=sha256:56863863788b66987e11cbf2f481b397a9e874becc3c41dbd5618e8a361b97d1

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:18.215619Z digest=sha256:1c8e507bbbd420d6a06813298dd4a24980f13be68b5f4f5e3645d2bb7335f7ab

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:19.067919Z digest=sha256:753b72596a3f9dbec4b42df132c52724a08553e87873d547f5c99acafdd17a2f

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:19.628246Z digest=sha256:32cfd8fe848e620b1d9927eb7856294440710650f25b12643aba5a765ef1be4a

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:19.747320Z digest=sha256:4fa60d7cdf249d8098fab45660998e5a6ae549c22040920362b8a4838ab2d52c

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:20.633537Z digest=sha256:32d617327f232d28fbea2fc61a88c7089ad2b195b92e7068c5ac9fe5dbc1fc0f

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:20.843055Z digest=sha256:916cda12debb440d30ac47e5f506e6cab390bc85fc87a70b6d7e3974f1ce3149

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:21.387006Z digest=sha256:4f7e395c5d36be8efefd099b217a77ffd852f4e4caa97efd139ab4105b5c4239

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:21.836320Z digest=sha256:4449a3157991cec7d258e0bd486b19d86647ff66b9399aae05fd814b9c7c21f5

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:22.512785Z digest=sha256:40188f694440cc5ee85955a3b691257c0ee62fd360cb5f34f87c25abdc58573a

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-10T06:31:04.303077+00:00.

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

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-10T06:31:04.303077+00:00.

source=pdf_text observed=2026-08-05T11:24:22.627413Z digest=sha256:76740eb376d35b1be5d16af15ba7d2c9c3d63abc7844697ab932b9479e33d24c

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-10T06:31:04.303077+00:00.

source=arxiv_source observed=2026-08-04T21:36:27.340075Z digest=sha256:2ee922d88acda472da5fe852edf2849743dd18f4e792d1b73e0605c565703d17