Paper Citation Record · LEDGER

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach

As of 20 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2501.14555.

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

pith.paper-citation-record.v1
2501.14555 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T15:05:54.339203Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+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

22 of 22 outbound references displayed

verified exact0
verified fuzzy19
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 589b4232-d28b-4ef9-ad89-0c7e50f5febd · outbound

This paper cites an unresolved cited work.

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:05:54.625368Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 39ebcd77-4e9f-44e8-9863-5f878312ba51 · outbound

This paper cites Künstl Intell 32, 177–179 (2018).

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach Künstl Intell 32, 177–179 (2018)

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.613745Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 2737c638-f066-4ed2-ab38-cdc67dcdf906 · outbound

This paper cites Theory and Practice of Logic Pr ogramming 18(3-4), 337–354 (2018).

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach Theory and Practice of Logic Pr ogramming 18(3-4), 337–354 (2018)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.601966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation df28423c-b431-43b6-ade6-2b5c2410f0cf · outbound

This paper cites Cambridge University Press (2003).

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach Cambridge University Press (2003)

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.590100Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 5301ba0d-8917-492c-9e7c-4863c056f6c0 · outbound

This paper cites Theory and Practice of Logic Programming 23(1), 226–298 (2023).

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach Theory and Practice of Logic Programming 23(1), 226–298 (2023)

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.578074Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation d5c9ac37-1b78-415a-89f5-e9a30c79f19f · outbound

This paper cites an unresolved cited work.

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-10T15:05:54.566840Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c2935fb9-0520-4f94-bf6f-e8faf99c0836 · outbound

This paper cites Clingo = ASP + Control: Preliminary Report.

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach Clingo = ASP + Control: Preliminary Report

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T15:05:54.286776Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 382d1962-ed3f-442d-bb87-36b1b51dfe32 · outbound

This paper cites Cambridge University Press (2014).

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach Cambridge University Press (2014)

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.555453Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 0b604123-f416-4ac3-b1a1-b3e91f46c871 · outbound

This paper cites In: 10th USENIX Workshop on the The ory and Practice of Provenance (2018).

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach In: 10th USENIX Workshop on the The ory and Practice of Provenance (2018)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.544116Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation c5b5ea48-a275-4621-b107-a0d9f91694f4 · outbound

This paper cites In: IEEE Symposium on Secur ity and Privacy.

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach In: IEEE Symposium on Secur ity and Privacy

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.532492Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation b5b7077c-56a2-4d97-b459-48a9bdf2bdae · outbound

This paper cites IEEE Transactions on Information Foren sics and Security 16, 4363–4376 (2021).

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach IEEE Transactions on Information Foren sics and Security 16, 4363–4376 (2021)

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.520278Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 7cee0477-2652-4e7e-bb0b-fc1db28bce05 · outbound

This paper cites In: 9th USENIX Workshop on the Theo ry and Practice of Provenance (2017) Exploring ASP for Provenance Graph-Based Cyber Threat Dete ction 15.

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach In: 9th USENIX Workshop on the Theo ry and Practice of Provenance (2017) Exploring ASP for Provenance Graph-Based Cyber Threat Dete ction 15

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.508370Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation cb032fbc-ad67-4ff5-8863-0588396bfdb2 · outbound

This paper cites Comp uters & Security 106 (2021).

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach Comp uters & Security 106 (2021)

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.496246Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f1f48a54-004b-48aa-a735-4411bf0c01d9 · outbound

This paper cites In: The Logic Programming Paradigm, pp.

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach In: The Logic Programming Paradigm, pp

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.484557Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 3b0126d8-bf17-45f8-a2e8-47617703e188 · outbound

This paper cites Internationa l Journal of Information Security 18, 465–479 (2019).

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach Internationa l Journal of Information Security 18, 465–479 (2019)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.473642Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 833bd482-6df4-457c-8aa3-fc68624463d7 · outbound

This paper cites In: International Conference on Logic Programming.

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach In: International Conference on Logic Programming

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.461026Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 077acacb-6560-4770-a7a5-27d611451fab · outbound

This paper cites International Journal of Networked and Distribute d Computing 11(2), 112– 123 (2023).

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach International Journal of Networked and Distribute d Computing 11(2), 112– 123 (2023)

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.448694Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 868cd8f7-16a8-4120-baf5-8ef8fe9d1ff4 · outbound

This paper cites In: Europea n Conference on Artiﬁcial Intelligence, pp.

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach In: Europea n Conference on Artiﬁcial Intelligence, pp

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.434986Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e613c425-0394-4b8b-a517-ee8e7ac8a7d1 · outbound

This paper cites In: Nordic Conference on Secure IT S ystems.

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach In: Nordic Conference on Secure IT S ystems

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.422301Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f746a98c-ece1-423b-a463-a95166f70c14 · outbound

This paper cites IEEE Transactions on Knowledge and Data Engineering (2024).

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach IEEE Transactions on Knowledge and Data Engineering (2024)

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.410276Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation f5b74722-b05e-4f3f-86cf-583116d7effc · outbound

This paper cites Digital Investigation 26, 19–28 (2018).

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach Digital Investigation 26, 19–28 (2018)

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.396914Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation e367deae-d08f-42ad-9fef-cbbc19dff730 · outbound

This paper cites ACM Computing Surveys 55(7), 1–36 (2022).

Exploring Answer Set Programming for Provenance Graph-Based Cyber Threat Detection: A Novel Approach ACM Computing Surveys 55(7), 1–36 (2022)

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T15:05:54.384335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Pith citing papers

No inbound Pith citation observations are available.