Paper Citation Record · LEDGER

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems

As of 15 August 2026, this Paper Citation Record lists 48 of 48 outbound references and 0 inbound Pith citation observations for arXiv:2607.15459.

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

pith.paper-citation-record.v1
2607.15459 v2

Coverage vector

measured 48 of 48 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T23:26:00.426163Z

measured 48 of 48 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+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

48 of 48 outbound references displayed

verified exact3
verified fuzzy0
unresolved45
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 673cee85-80f7-4a88-b352-6c1e9bfedeed · outbound

This paper cites Courville, and Marc G.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Courville, and Marc G

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:54.982174Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7b05676-bcbe-4c98-9bb5-6dbb77e7cf37 · outbound

This paper cites Verifiable reinforcement learning via policy extraction.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Verifiable reinforcement learning via policy extraction

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:55.106059Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2707512f-c7ef-46b5-8dfc-9e406906bf92 · outbound

This paper cites an unresolved cited work.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:55.245270Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 765d49d4-965f-4599-bb91-ea207323c05f · outbound

This paper cites an unresolved cited work.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:55.353921Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b47f40c2-c64f-43e2-ba65-233b89229d60 · outbound

This paper cites Synthesising Reinforcement Learning Policies through Set-Valued Inductive Rule Learning.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Synthesising Reinforcement Learning Policies through Set-Valued Inductive Rule Learning

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:55.420922Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 385b5f86-d786-44f6-9cf6-3e387c0d8fc0 · outbound

This paper cites Interpretable and explainable logical policies via neurally guided symbolic abstraction.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Interpretable and explainable logical policies via neurally guided symbolic abstraction

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:55.528673Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f7eb31e-747e-46af-ab63-5e6df266063d · outbound

This paper cites Interpretable concept bottlenecks to align reinforcement learning agents.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Interpretable concept bottlenecks to align reinforcement learning agents

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:55.614617Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 82596e3a-40c9-40d9-bb8a-04ef28024737 · outbound

This paper cites Towards A Rigorous Science of Interpretable Machine Learning.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Towards A Rigorous Science of Interpretable Machine Learning

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:55.700229Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05a5cfea-37b4-4bb7-bf0f-5928d70af529 · outbound

This paper cites Garrido-Merchán and Cristina Puente.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Garrido-Merchán and Cristina Puente

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:55.973042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d232cd2e-986a-4f16-97f0-2587814730b4 · outbound

This paper cites Neural logic reinforcement learning.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Neural logic reinforcement learning

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:56.132507Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4072afc-0920-4780-9147-ad9493566de3 · outbound

This paper cites Kakade and John Langford.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Kakade and John Langford

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:56.227910Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8e864a3-c648-421f-bc60-c0a6106f6ec5 · outbound

This paper cites Interpretable and Editable Programmatic Tree Policies for Reinforcement Learning.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Interpretable and Editable Programmatic Tree Policies for Reinforcement Learning

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:56.343456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c949210-8412-4aa4-8402-e3bd0dabe98a · outbound

This paper cites Learning finite state representations of recurrent policy networks.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Learning finite state representations of recurrent policy networks

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:56.442238Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e66db30-8122-4a47-b3c1-7f90ae472ff5 · outbound

This paper cites Petersen, Sookyung Kim, Cl \' a udio P.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Petersen, Sookyung Kim, Cl \' a udio P

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:56.542613Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad88d6ec-33b0-417c-a8ea-7897a2dc695c · outbound

This paper cites Toward interpretable deep reinforcement learning with linear model U - T rees.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Toward interpretable deep reinforcement learning with linear model U - T rees

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:56.679106Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49117ef8-d842-49ce-9b88-501c09c8d641 · outbound

This paper cites Gordon, and Drew Bagnell.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Gordon, and Drew Bagnell

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:57.076450Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e5fdd9d6-cb2f-4ed7-a79e-0be6c70361e5 · outbound

This paper cites Proximal Policy Optimization Algorithms.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Proximal Policy Optimization Algorithms

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:57.175985Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 073e7dd7-579a-4b48-a778-21fb228342e4 · outbound

This paper cites EXPIL: Explanatory Predicate Invention for Learning in Games.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems EXPIL: Explanatory Predicate Invention for Learning in Games

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:57.278460Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1fa479bb-5f13-4de0-86ff-caa12b054a41 · outbound

This paper cites B lend RL : A framework for merging symbolic and neural policy learning.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems B lend RL : A framework for merging symbolic and neural policy learning

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:57.346561Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b4785357-4054-4f39-b40a-7edf56e9a0a2 · outbound

This paper cites Gymnasium: A Standard Interface for Reinforcement Learning Environments.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Gymnasium: A Standard Interface for Reinforcement Learning Environments

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:57.400121Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e62338d-4c5e-4122-b828-dbf9bc99bf19 · outbound

This paper cites Programmatically interpretable reinforcement learning.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Programmatically interpretable reinforcement learning

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:57.448602Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03412034-877d-4252-83bd-e25057355f8c · outbound

This paper cites Imitation-projected programmatic reinforcement learning.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Imitation-projected programmatic reinforcement learning

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:57.554458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 06a8322c-dab3-4e91-a0e3-982ec7f80bd3 · outbound

This paper cites Kakade and John Langford , editor =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Kakade and John Langford , editor =

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:57.773262Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 383bf49f-201c-4b57-8057-1dd60b1974b1 · outbound

This paper cites Verifiable Reinforcement Learning via Policy Extraction , booktitle =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Verifiable Reinforcement Learning via Policy Extraction , booktitle =

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:57.866516Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a396459d-8081-49c3-87f9-956e830ecebb · outbound

This paper cites Programmatically Interpretable Reinforcement Learning , booktitle =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Programmatically Interpretable Reinforcement Learning , booktitle =

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:57.977354Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26049bc2-80cf-4a72-a1a5-863ed9f95268 · outbound

This paper cites Imitation-Projected Programmatic Reinforcement Learning , booktitle =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Imitation-Projected Programmatic Reinforcement Learning , booktitle =

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:58.093001Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60073971-b706-47eb-ae24-dfaaa1cfce64 · outbound

This paper cites Neural Logic Reinforcement Learning , booktitle =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Neural Logic Reinforcement Learning , booktitle =

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:58.202466Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30b036a1-7b60-41ea-af5a-9cb578e0f3ee · outbound

This paper cites Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction , booktitle =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Interpretable and Explainable Logical Policies via Neurally Guided Symbolic Abstraction , booktitle =

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:58.312244Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30263fdd-78a2-4050-806d-7cc19c8be0c8 · outbound

This paper cites The Thirteenth International Conference on Learning Representations,.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems The Thirteenth International Conference on Learning Representations,

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:58.466159Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e2a84e7-3495-445e-99f2-4ca2ab645dfa · outbound

This paper cites Interpretable Concept Bottlenecks to Align Reinforcement Learning Agents , booktitle =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Interpretable Concept Bottlenecks to Align Reinforcement Learning Agents , booktitle =

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:58.612636Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0a0faef-5e95-4c2a-a53f-73be27f44917 · outbound

This paper cites Petersen and Sookyung Kim and Cl.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Petersen and Sookyung Kim and Cl

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:58.736051Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a487b52a-1981-46b8-87fb-c6041d315f29 · outbound

This paper cites 2024 , url =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems 2024 , url =

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:58.871100Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 92fa4c3a-5121-48fd-b1c1-150f659a341b · outbound

This paper cites Courville and Marc G.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Courville and Marc G

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:59.021678Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10e9eb86-925f-4427-864b-516c423e32c8 · outbound

This paper cites Ross Quinlan , title =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Ross Quinlan , title =

Reference 38

Resolution: verified exact; doi, observed 2026-08-01T23:28:29.335729Z

Source-reported events for the cited work

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

Observation e569c93a-c744-4e75-89c1-dcca5f3993bf · outbound

This paper cites an unresolved cited work.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Unresolved cited work

Reference 39

Resolution: verified exact; doi, observed 2026-08-01T23:28:29.588148Z

Source-reported events for the cited work

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

Observation 71785031-4105-4c7a-8ccf-4b4982a39658 · outbound

This paper cites A Reduction of Imitation Learning and Structured Prediction to No-Regret Online Learning , booktitle =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems A Reduction of Imitation Learning and Structured Prediction to No-Regret Online Learning , booktitle =

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:59.336648Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a65ce775-2b2f-4f8b-a0cb-a054e0d7cdb6 · outbound

This paper cites 7th International Conference on Learning Representations,.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems 7th International Conference on Learning Representations,

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:59.500851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7ef71411-43df-436e-a273-8dc8eabdfc9a · outbound

This paper cites Theory Pract.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Theory Pract

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:59.637679Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c60be33-99dc-4d24-a92d-eb7d38c57c3e · outbound

This paper cites Toward Interpretable Deep Reinforcement Learning with Linear Model.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Toward Interpretable Deep Reinforcement Learning with Linear Model

Reference 43

Resolution: verified exact; doi, observed 2026-08-01T23:28:28.724163Z

Source-reported events for the cited work

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

Observation cb821429-8fb6-40bf-8a13-4724f3304aa3 · outbound

This paper cites an unresolved cited work.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Unresolved cited work

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:59.796264Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5fe88b83-3c0b-4e53-838f-894facf9ba18 · outbound

This paper cites an unresolved cited work.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:59.861800Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8796f42-b7f1-4b49-a341-97c538fc5af1 · outbound

This paper cites 2017 , eprint =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems 2017 , eprint =

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:59.922798Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c66bcd36-7546-44ec-92c3-5a1144398f71 · outbound

This paper cites Jonker and Ann Nowé , title =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Jonker and Ann Nowé , title =

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-01T23:25:59.991915Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8617782b-4dae-44c6-9d5e-c2cfa4bd624c · outbound

This paper cites 2024 , eprint =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems 2024 , eprint =

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:00.082561Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5030e046-d50a-4226-b4fd-50afcf72c8b7 · outbound

This paper cites 2024 , eprint =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems 2024 , eprint =

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:00.174154Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecd95ef5-6dda-443e-84fb-78b1801785df · outbound

This paper cites Garrido-Merchán and Cristina Puente , title =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Garrido-Merchán and Cristina Puente , title =

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:00.256065Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e16022cf-4706-497d-bcf3-42dd60b54ffb · outbound

This paper cites an unresolved cited work.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:00.337919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6bb04b70-941a-4afc-b0d4-464a09c4174f · outbound

This paper cites 2017 , eprint =.

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems 2017 , eprint =

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-01T23:26:00.426163Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.