Paper Citation Record · LEDGER

Bridging Logic Programming and Deep Learning for Explainability through ILASP

As of 19 August 2026, this Paper Citation Record lists 44 of 44 outbound references and 0 inbound Pith citation observations for arXiv:2502.09227.

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

pith.paper-citation-record.v1
2502.09227 v1

Coverage vector

measured 44 of 44 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T22:16:04.257045Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

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

44 of 44 outbound references displayed

verified exact18
verified fuzzy9
unresolved13
parse uncertain0
malformed identifier1
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 7d8e0a35-d37e-4143-af42-1126babf7b80 · outbound

This paper cites Allen (1957): Symbolic Logic: a Razor-Edged Tool For Drafting and Interpreting Legal Docu- ments.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Allen (1957): Symbolic Logic: a Razor-Edged Tool For Drafting and Interpreting Legal Docu- ments

Reference 1

Resolution: verified exact; doi, observed 2026-08-07T22:16:04.574264Z

Source-reported events for the cited work

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

Observation 6179828c-9573-4231-8120-3949b76889df · outbound

This paper cites Trieu, Tran Cao Son & Marcello Balduccini (2023): Advancements in xASP, an XAI System for Answer Set Programming.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Trieu, Tran Cao Son & Marcello Balduccini (2023): Advancements in xASP, an XAI System for Answer Set Programming

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:16:05.400100Z

Source-reported events for the cited work

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

Observation 9a0450a0-aa0f-4be0-8572-093c1559df97 · outbound

This paper cites Neuro-symbolic Rule Learning in Real-world Classification Tasks.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Neuro-symbolic Rule Learning in Real-world Classification Tasks

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-08-07T22:16:04.562458Z

Source-reported events for the cited work

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

Observation bf411c2c-4415-4c27-90a5-52abf9e78082 · outbound

This paper cites Causal Graph Justifications of Logic Programs.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Causal Graph Justifications of Logic Programs

Reference 4

Resolution: verified exact; local_arxiv, observed 2026-08-07T22:16:04.548543Z

Source-reported events for the cited work

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

Observation 3f19f678-e088-4e8e-8382-7f241e85ea64 · outbound

This paper cites Intelligenza Artificiale 14(1), pp.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Intelligenza Artificiale 14(1), pp

Reference 5

Resolution: verified exact; doi, observed 2026-08-07T22:16:04.534676Z

Source-reported events for the cited work

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

Observation 3b3b7f7c-1be0-4643-8fd3-d2d1e0fb4fb0 · outbound

This paper cites Computers in Biology and Medicine 175, p.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Computers in Biology and Medicine 175, p

Reference 6

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-07T22:16:05.296676Z

Source-reported events for the cited work

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

Observation 5b89ed1c-b0e1-456e-a619-f09aa9f37f9d · outbound

This paper cites Inductive logic programming at 30: a new introduction.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Inductive logic programming at 30: a new introduction

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-07T22:16:04.127774Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 254b4632-fb1c-4dbd-89a4-e8d3855a344a · outbound

This paper cites Symbolic Learning for Material Discovery.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Symbolic Learning for Material Discovery

Reference 8

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T22:16:04.514213Z

Source-reported events for the cited work

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

Observation 13d14b91-0acd-4636-8afc-082c26cb452d · outbound

This paper cites FF-NSL: Feed-Forward Neural-Symbolic Learner.

Bridging Logic Programming and Deep Learning for Explainability through ILASP FF-NSL: Feed-Forward Neural-Symbolic Learner

Reference 9

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T22:16:04.499989Z

Source-reported events for the cited work

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

Observation 65b02a9d-99b2-4201-8641-aa3899d21da0 · outbound

This paper cites In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning , pp.

Bridging Logic Programming and Deep Learning for Explainability through ILASP In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning , pp

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-07T22:16:04.139248Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12ddee2a-08ee-41d3-85e7-c4d878e3ed84 · outbound

This paper cites Computer Science Review 40, p.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Computer Science Review 40, p

Reference 11

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-07T22:16:05.122255Z

Source-reported events for the cited work

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

Observation 5886c3e0-51eb-4c13-b192-e1f058374c0c · outbound

This paper cites In: Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024 , CEUR Workshop Proceedings 3733, CEUR-WS.org.

Bridging Logic Programming and Deep Learning for Explainability through ILASP In: Proceedings of the 39th Italian Conference on Computational Logic, Rome, Italy, June 26-28, 2024 , CEUR Workshop Proceedings 3733, CEUR-WS.org

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:16:05.389279Z

Source-reported events for the cited work

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

Observation cd90335d-ea6a-405e-abb5-9d437f3025b1 · outbound

This paper cites Hermenegildo, Enrico Pontelli & Ricardo Rocha (2022): Parallel Logic Programming: A Sequel.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Hermenegildo, Enrico Pontelli & Ricardo Rocha (2022): Parallel Logic Programming: A Sequel

Reference 13

Resolution: verified exact; doi, observed 2026-08-07T22:16:04.480775Z

Source-reported events for the cited work

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

Observation 9c6849f8-88d9-4d61-bd3c-a828f1691e46 · outbound

This paper cites In: Hand- book of Parallel Constraint Reasoning, Springer, pp.

Bridging Logic Programming and Deep Learning for Explainability through ILASP In: Hand- book of Parallel Constraint Reasoning, Springer, pp

Reference 14

Resolution: verified exact; doi, observed 2026-08-07T22:16:04.471067Z

Source-reported events for the cited work

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

Observation ea3c6803-c451-4b4f-a338-b7521b6fce9e · outbound

This paper cites In: Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, St.

Bridging Logic Programming and Deep Learning for Explainability through ILASP In: Practical Aspects of Declarative Languages - 18th International Symposium, PADL 2016, St

Reference 15

Resolution: verified exact; doi, observed 2026-08-07T22:16:04.460164Z

Source-reported events for the cited work

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

Observation fa4b1c82-a5b8-4d07-a0e5-a0aaaefe65ae · outbound

This paper cites Workshop at Jurix 2023.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Workshop at Jurix 2023

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:16:05.378041Z

Source-reported events for the cited work

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

Observation 280834d7-9c16-472a-90ea-84c6846d9f69 · outbound

This paper cites In: CEUR Workshop Proceed- ings, 3428, CEUR-WS.

Bridging Logic Programming and Deep Learning for Explainability through ILASP In: CEUR Workshop Proceed- ings, 3428, CEUR-WS

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:16:05.367145Z

Source-reported events for the cited work

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

Observation 774340ff-6f8c-448b-94a7-1ae75433890a · outbound

This paper cites In: Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Dallas, Texas, USA, October 11-14, 2024, Proceedings, Springer.

Bridging Logic Programming and Deep Learning for Explainability through ILASP In: Logic Programming and Nonmonotonic Reasoning - 17th International Conference, LPNMR 2024, Dallas, Texas, USA, October 11-14, 2024, Proceedings, Springer

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:16:05.355838Z

Source-reported events for the cited work

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

Observation ca765fff-3a75-482c-a018-9e6b011c8151 · outbound

This paper cites In: Book of Ab- stracts, ESCIM 2024, Krakow , p.

Bridging Logic Programming and Deep Learning for Explainability through ILASP In: Book of Ab- stracts, ESCIM 2024, Krakow , p

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:16:05.345552Z

Source-reported events for the cited work

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

Observation 154eaa4e-9864-4180-9787-811cc1876ceb · outbound

This paper cites In: 2021 Third IEEE International Con- ference on Trust, Privacy and Security in Intelligent Systems and Applications (TPS-ISA) , pp.

Bridging Logic Programming and Deep Learning for Explainability through ILASP In: 2021 Third IEEE International Con- ference on Trust, Privacy and Security in Intelligent Systems and Applications (TPS-ISA) , pp

Reference 20

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-07T22:16:04.932434Z

Source-reported events for the cited work

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

Observation b42b3137-0169-4a91-9c83-c07a5c81ef4b · outbound

This paper cites Theory and Practice of Logic Programming 19(2), p.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Theory and Practice of Logic Programming 19(2), p

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T22:16:04.178799Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 843561b6-4ad9-424e-87fa-7b89cb166c12 · outbound

This paper cites In: ICLP/SLP, 88, Cambridge, MA, pp.

Bridging Logic Programming and Deep Learning for Explainability through ILASP In: ICLP/SLP, 88, Cambridge, MA, pp

Reference 22

Resolution: verified exact; doi, observed 2026-08-07T22:16:04.443045Z

Source-reported events for the cited work

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

Observation d68829af-51b4-4ef2-84cb-79b81cb11e80 · outbound

This paper cites an unresolved cited work.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Unresolved cited work

Reference 23

Resolution: verified exact; doi, observed 2026-08-07T22:16:04.432457Z

Source-reported events for the cited work

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

Observation e5b1f777-7c24-4c4f-920d-eb0a1184151e · outbound

This paper cites Sensors 22(21), p.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Sensors 22(21), p

Reference 24

Resolution: verified exact; doi, observed 2026-08-07T22:16:04.421270Z

Source-reported events for the cited work

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

Observation ed074b41-ca41-4dbb-a7df-31f007969969 · outbound

This paper cites Procedia computer science 199, pp.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Procedia computer science 199, pp

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T22:16:04.192776Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b035c788-9412-4170-bb52-d47bb1d4092d · outbound

This paper cites Cambridge University Press, doi:10.1017/CBO9780511802270.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Cambridge University Press, doi:10.1017/CBO9780511802270

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T22:16:04.195634Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfdb7a92-c674-4f00-9e33-c7a907a99e60 · outbound

This paper cites Kowalski & Marek J.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Kowalski & Marek J

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:16:05.334621Z

Source-reported events for the cited work

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

Observation b886d0e2-c6d6-4b1d-9e4e-0adcf4c5accb · outbound

This paper cites Authorea Preprints.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Authorea Preprints

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:16:05.322529Z

Source-reported events for the cited work

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

Observation 664eff6f-05ff-42e4-8aaf-aa88f6acd9ce · outbound

This paper cites Conflict-driven Inductive Logic Programming.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Conflict-driven Inductive Logic Programming

Reference 29

Resolution: verified exact; local_arxiv, observed 2026-08-07T22:16:04.398390Z

Source-reported events for the cited work

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

Observation 78803b8e-7dd7-4457-8277-2e250ae679c0 · outbound

This paper cites In: Proc.

Bridging Logic Programming and Deep Learning for Explainability through ILASP In: Proc

Reference 30

Resolution: verified exact; doi, observed 2026-08-07T22:16:04.384267Z

Source-reported events for the cited work

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

Observation 6859e9fe-744d-4210-8346-4e4fe3544210 · outbound

This paper cites In: Logics in Artificial Intelligence, JELIA 2014, Springer, pp.

Bridging Logic Programming and Deep Learning for Explainability through ILASP In: Logics in Artificial Intelligence, JELIA 2014, Springer, pp

Reference 31

Resolution: verified exact; doi, observed 2026-08-07T22:16:04.372535Z

Source-reported events for the cited work

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

Observation d2b458e0-be64-46bf-b833-092e1f980dd5 · outbound

This paper cites Inductive Learning of Answer Set Programs from Noisy Examples.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Inductive Learning of Answer Set Programs from Noisy Examples

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-07T22:16:04.214843Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 465e151f-4f2f-44a3-9bc3-eea6eaa253df · outbound

This paper cites The ILASP system for Inductive Learning of Answer Set Programs.

Bridging Logic Programming and Deep Learning for Explainability through ILASP The ILASP system for Inductive Learning of Answer Set Programs

Reference 33

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T22:16:04.352656Z

Source-reported events for the cited work

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

Observation 10240934-f428-417e-b976-d63b1e12ae3d · outbound

This paper cites nature 521(7553), pp.

Bridging Logic Programming and Deep Learning for Explainability through ILASP nature 521(7553), pp

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T22:16:04.222185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 186fb6c1-cc3a-4867-9abd-d583dda833ae · outbound

This paper cites Science Advances 10(13), doi:10.1126/sciadv.adk4489.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Science Advances 10(13), doi:10.1126/sciadv.adk4489

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-07T22:16:04.225679Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e43a472-7e14-4537-860c-73a668b22c06 · outbound

This paper cites Bulletin of the American Meteorological Society 98(10), pp.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Bulletin of the American Meteorological Society 98(10), pp

Reference 36

Resolution: malformed identifier; no resolver link, observed 2026-08-07T22:16:04.229220Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11fd9c29-bd38-45e6-9645-ee8e530eb8e9 · outbound

This paper cites Muggleton (1991): Inductive Logic Programming.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Muggleton (1991): Inductive Logic Programming

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-07T22:16:04.232591Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 24d9b2b0-e6f2-4c85-a312-09f25f390b70 · outbound

This paper cites an unresolved cited work.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Unresolved cited work

Reference 38

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-07T22:16:04.744699Z

Source-reported events for the cited work

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

Observation 67dd5afe-b059-4be6-81b7-d6b138f6907b · outbound

This paper cites Proceedings of the national academy of sciences 115(39), pp.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Proceedings of the national academy of sciences 115(39), pp

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-07T22:16:04.239598Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e742a1de-1c8a-414b-9e5f-ac07492cc0e5 · outbound

This paper cites In: Proceedings of the IEEE conference on computer vision and pattern recognition , pp.

Bridging Logic Programming and Deep Learning for Explainability through ILASP In: Proceedings of the IEEE conference on computer vision and pattern recognition , pp

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-07T22:16:04.243071Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12bef356-318f-4c24-8c28-5bae302b6958 · outbound

This paper cites Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano & Robert A.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Dávila, Marco Billi, Giuseppe Contissa, Giuseppe Pisano & Robert A

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T22:16:05.310385Z

Source-reported events for the cited work

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

Observation 7190da31-aef3-4190-a1bf-00f9510a4a83 · outbound

This paper cites an unresolved cited work.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-07T22:16:04.249519Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aeeae6e7-64dc-45e5-aa01-385db010197e · outbound

This paper cites an unresolved cited work.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Unresolved cited work

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-07T22:16:04.253644Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05b46277-5253-4e8d-82e5-a31f7f359f0d · outbound

This paper cites Journal of X-Ray Science and Technology , pp.

Bridging Logic Programming and Deep Learning for Explainability through ILASP Journal of X-Ray Science and Technology , pp

Reference 44

Resolution: verified exact; doi, observed 2026-08-07T22:16:04.287808Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.