Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T11:24:22.950388Z
Paper Citation Record · LEDGER
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.
Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-05T11:24:22.950388Z
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-04T21:36:27.340075Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-04T21:36:44.072892Z
69 of 69 outbound references displayed
External citation measurements
No source-named external measurement is stored.
Observation e6ef0707-8e67-4241-a22c-0b6fe2bdd8ae · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 1
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.
Observation 0ec2f3df-2634-45b5-bd9b-e6bd2d05d1e8 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 2
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3be6c5e8-67b8-4c3b-a925-fa568f6552b6 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 3
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.
Observation 3685d098-a3d3-4f95-b44b-f618e792ddc0 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 4
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.
Observation dfcdf044-6219-4c55-8bc3-639b85d96cee · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 5
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.
Observation 0ba22aeb-fe7c-41ab-83a8-aeb0af53a7e4 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 6
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.
Observation 1f226278-4f50-44d0-8561-b7d481d69ac4 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 7
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.
Observation c76175f3-fab1-41d9-817d-0bc9f31a9958 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 8
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.
Observation 7c40de50-5490-4fc9-b897-163efa892809 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 9
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.
Observation 23296cd2-ac44-42d0-aaa2-b3ed4273b9c6 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Deep Inductive Logic Programming meets Reinforcement Learning
Reference 10
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.
Observation 41c56122-31c9-4a7f-a41d-b122a06d338e · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 11
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.
Observation dd8ad212-7f1c-4a12-a27a-aeb3593c4d9b · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 12
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.
Observation 3df273ef-7ff0-430d-a1fa-1f4e5aa90756 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 13
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.
Observation ad2f719c-abc8-4288-a3c7-32a15ab66671 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 14
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.
Observation 240634d0-8a71-4ba3-a72d-a0b31981a9f6 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 15
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.
Observation 9d98c468-d217-4786-8066-626a231892e2 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 16
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.
Observation cb50ef79-77db-4ae8-bb9c-05cec3d6c27d · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Purushothaman Iyer, and Murali Narasimha
Reference 17
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 47dd216f-4429-4405-b0b5-4650a229223a · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 18
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.
Observation 984c9c3a-a31d-4f49-b8b3-f2d64d281cef · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 19
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.
Observation e48609e0-8a8b-4535-b49c-21b6d9e258bd · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 20
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.
Observation 0a1ea923-38ee-42a0-8ed4-ea823afa9b01 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Turning 30: New Ideas in Inductive Logic Programming
Reference 21
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b270f869-16d4-43c2-a8b8-e426353263ed · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 22
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.
Observation fa8a1e49-35f5-4e90-b49b-bda97f02f472 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 23
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.
Observation ab2ed81d-9bec-4719-a8e7-913148e67b89 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Dekhtyar, and V
Reference 24
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.
Observation 8870a787-5c7a-468d-a6a7-78ed4179fd66 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 25
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c589ba93-4100-44e5-9afa-4e711588307e · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 26
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.
Observation 04f14e43-787b-4525-9efe-036a90b575b4 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 27
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.
Observation c70d8099-e4f1-4fce-a5ae-2bc4bb3017c1 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 28
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.
Observation dc6dfdc4-68ad-42e4-9f0f-7c114ee2382c · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 30
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.
Observation 7e834640-1330-435f-8540-9725b5c3656d · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 31
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.
Observation 674b803d-471b-43d1-8910-39d4f3eb0499 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 32
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.
Observation 8116fe60-8d37-4fd1-9a38-9cd5771b91fe · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 33
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.
Observation ab77f0af-dffc-4ae8-b634-2e873070f7c1 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 34
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.
Observation fb889af9-af64-4319-a63c-80a29c38c192 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 35
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c34403df-157f-4e41-bbc5-d82695af7e93 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 36
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.
Observation 2b793ca3-d8a1-4ae1-80fa-00444ed7f3d7 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 37
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.
Observation 427be4a7-b480-442a-acac-8156deba6a99 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Subrahmanian
Reference 38
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.
Observation 404be6da-d243-44d9-bdbb-ca3bbd1fc8e9 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Kowalski
Reference 39
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0e3122bc-c1d3-4ac1-82c2-9038c6f491dd · outbound
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
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dc0aaa1f-8124-4857-a310-907faa4116ce · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 41
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9a28158a-4995-4ad8-941c-7f4cd43488c7 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 42
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.
Observation a19d5db3-e917-4ace-bd10-c0ea341ac787 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 43
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.
Observation 2373f644-7d24-4492-9018-9cba48cffd1e · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 44
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.
Observation b15bcac8-fe9f-41c0-8379-2479ae3a8a44 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 45
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.
Observation 6a13025b-7160-4da8-a868-6c9860602ed5 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 46
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.
Observation 2ca4acf2-293e-4ecb-91bb-8cafd03ab171 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 47
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.
Observation 0e4ac528-bdb0-48cd-83c0-3f7084204aac · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 48
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.
Observation a61dbf75-fa45-43ff-ab48-4b0387d39271 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 49
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.
Observation 3d42f85d-0442-420c-893f-1b25f7d9a955 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 50
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.
Observation 233ed74c-4546-4ce4-b1e0-0a628429ded1 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 51
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.
Observation 49a0ea7e-1452-4121-b2a7-2a7e7ce841e2 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 52
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.
Observation f95980ff-0435-464c-9b7c-ad14527f2d04 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 53
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 60e18992-44f3-42eb-b84e-a42713d454ca · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 54
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation accdbb14-c78e-4091-b132-6dd1e0c50bf6 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 55
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.
Observation ab5fb6a3-9074-41e5-961e-3434bd8e27cc · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 56
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.
Observation ad6f959b-169d-4ee3-987a-cb24119ad675 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 57
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.
Observation e0ce004b-4fef-46d5-8fda-b5b451429753 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 58
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.
Observation 5e3f1cff-1b78-4299-91db-bb2b206ab363 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 59
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.
Observation 469215d6-309b-4556-89d3-4614f8795f72 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Simari, and Venkatramana V
Reference 60
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 55976423-7c80-479e-8afa-ceadd119bebf · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 61
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.
Observation 7b99d8bb-130b-49fc-99f6-7e9f4b3c3725 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Simari, and Robert Schroeder
Reference 62
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.
Observation d49d39ce-e6ba-4ec9-ac37-03275f26e627 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 63
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.
Observation 2b0f2887-09a0-4709-a852-d74f8338dd83 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 64
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.
Observation 3af6ce7b-fd93-467c-b8c3-391fa159371f · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Suchanek, Gjergji Kasneci, and Gerhard Weikum
Reference 65
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fa9ddbe9-5e8d-4f0c-a03d-b96b88d2b8f7 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 67
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.
Observation 618a7421-fd2e-42d6-b2ca-d13081d7c6d1 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 68
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b04277b7-e4b8-43be-ba14-ce3880643a0f · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning StarCraft II: A New Challenge for Reinforcement Learning
Reference 69
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ae493ee7-aa77-47f8-ad29-0621c1ad15a6 · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning Unresolved cited work
Reference 70
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.
Observation ecb6e4a0-cc6f-4eb3-9c7b-34f6b842cb8e · outbound
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning In 2023 IEEE 17th International Conference on Semantic Computing (ICSC)
Reference 2023
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.
Observation f0fedb20-0bd1-4c6c-bfc7-3ee4c2c8aed1 · inbound
EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
Reference 177
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.