Paper Citation Record · LEDGER

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions

As of 14 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 0 inbound Pith citation observations for arXiv:2501.00830.

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

pith.paper-citation-record.v1
2501.00830 v2

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T22:45:30.423728Z

measured 25 of 25 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

25 of 25 outbound references displayed

verified exact0
verified fuzzy17
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation f8cca132-43cc-45ad-936d-0a0852c9aa26 · outbound

This paper cites impossible.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions impossible

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.754403Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation cb4c6657-b74b-45ab-a0d1-bfd357ec5465 · outbound

This paper cites impossible F.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions impossible F

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.741530Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation ea389e81-6ebc-41b5-926d-0fa9cc5af66e · outbound

This paper cites an unresolved cited work.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:45:30.728595Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 10793915-a3ae-4472-a17d-742fc0151815 · outbound

This paper cites a causes G if H.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions a causes G if H

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.715542Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 2c59be0d-646a-43ab-8407-b6cdf6e93e7c · outbound

This paper cites an unresolved cited work.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:45:30.704295Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 13d631a8-54d5-4508-b8f1-b686b047c460 · outbound

This paper cites default c=v if F.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions default c=v if F

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.691236Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation d8cf132a-f751-4edb-9b98-77f66f8427ed · outbound

This paper cites always" shorthand abbreviations should not contain.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions always" shorthand abbreviations should not contain

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.679732Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 06fd7bf2-ec95-4b74-88cf-11f63f393576 · outbound

This paper cites an unresolved cited work.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:45:30.668321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 3d943381-dea1-4dc1-a964-5695a25deda3 · outbound

This paper cites For example, do not use the following: nonexecutable move(C) if roadBlock(loc(C)).

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions For example, do not use the following: nonexecutable move(C) if roadBlock(loc(C))

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.655897Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 76b02dcd-6296-4b77-aba5-4946e9970813 · outbound

This paper cites an unresolved cited work.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-10T22:45:30.643111Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation d38b305e-525b-4c93-8a37-31f6758ab043 · outbound

This paper cites If new constans are used, then they must be added in the declaration.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions If new constans are used, then they must be added in the declaration

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.629119Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation a28085d7-74ca-40d1-8aae-98b549d076bc · outbound

This paper cites capacity(vehicle).

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions capacity(vehicle)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.615308Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 2be5f9d1-fc09-4007-ada3-b5b8ff2de619 · outbound

This paper cites inertialFluent.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions inertialFluent

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.601663Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 862fe714-c218-4db3-a9f2-ca922b4c1657 · outbound

This paper cites country(location) :: country.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions country(location) :: country

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.588028Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation e83cbec9-b564-40b6-9520-2687b7236aac · outbound

This paper cites always F.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions always F

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.573389Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation edc0ebd8-c64c-4c47-9d24-2a6f39e8aaf5 · outbound

This paper cites They must be set to variables, and the variables must be used as the operands.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions They must be set to variables, and the variables must be used as the operands

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.559146Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 5f8cc447-dbac-477f-856c-248a46faa56e · outbound

This paper cites [ CHANGED].

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions [ CHANGED]

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.545432Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 6d36d138-95e0-4f32-ba32-ed97e302aac8 · outbound

This paper cites In some cases, the sample queries themselves may be wrong (e.g., a syntax error), and can be re-written.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions In some cases, the sample queries themselves may be wrong (e.g., a syntax error), and can be re-written

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.531946Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 314d5371-2ab3-4494-836c-b59fe1642a44 · outbound

This paper cites Main query and output.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions Main query and output

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.517507Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation 4d374685-340a-4673-a8b4-5dbf247b26fb · outbound

This paper cites int” needs objects instantiated from 0 to 8 (written “0..8.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions int” needs objects instantiated from 0 to 8 (written “0..8

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.503706Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation cfbd6269-5c0f-4a6b-a949-008a74cd9734 · outbound

This paper cites When do you need Chain-of-Thought Prompting for ChatGPT?.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions When do you need Chain-of-Thought Prompting for ChatGPT?

Reference 318

Resolution: unresolved; no resolver link, observed 2026-08-10T22:45:30.319533Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a761a20-da21-47c3-afc9-ca86a755d459 · outbound

This paper cites Frontiers of Information Tech- nology & Electronic Engineering, 20: 363–373.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions Frontiers of Information Tech- nology & Electronic Engineering, 20: 363–373

Reference 2019

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T22:45:30.767976Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.

Observation ecbc1f01-5874-41bd-9ad2-f266c84f17ad · outbound

This paper cites Chain of Thoughtlessness? An Analysis of CoT in Planning.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions Chain of Thoughtlessness? An Analysis of CoT in Planning

Reference 2021

Resolution: unresolved; no resolver link, observed 2026-08-10T22:45:30.335933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fe8b5cf-bbe7-408c-9709-113cfd0cfc5c · outbound

This paper cites In Conference on robot learning, 287–.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions In Conference on robot learning, 287–

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-10T22:45:30.314594Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b001244-f28f-4906-92c4-48853d471343 · outbound

This paper cites LLM+P: Empowering Large Language Models with Optimal Planning Proficiency.

LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions LLM+P: Empowering Large Language Models with Optimal Planning Proficiency

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-10T22:45:30.330402Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.