Paper Citation Record · LEDGER

Using ASP(Q) to Handle Inconsistent Prioritized Data

As of 25 July 2026, this Paper Citation Record lists 6 of 6 outbound references and 0 inbound Pith citation observations for arXiv:2604.21603.

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

pith.paper-citation-record.v1
2604.21603 v2

Coverage vector

measured 6 of 6 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-08T13:54:55.971291Z

measured 6 of 6 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-07-24T06:31:00.690269+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

6 of 6 outbound references displayed

verified exact1
verified fuzzy4
unresolved0
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e99fe832-f575-46fc-9f1d-d379d49ac56e · outbound

This paper cites Bourgaux, C.

Using ASP(Q) to Handle Inconsistent Prioritized Data Bourgaux, C

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-26T12:02:15.702243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.

Observation 538b29fc-a656-437a-9d16-a43ab203c0dc · outbound

This paper cites Ceri, S.; Gottlob, G.; and Tanca, L.

Using ASP(Q) to Handle Inconsistent Prioritized Data Ceri, S.; Gottlob, G.; and Tanca, L

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-26T12:02:15.704881Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.

Observation 078c765e-980d-4a8b-b322-ca30ae78d011 · outbound

This paper cites Multi-shot ASP solving with clingo.

Using ASP(Q) to Handle Inconsistent Prioritized Data Multi-shot ASP solving with clingo

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-05-11T18:46:10.425677Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.

Observation e65ce204-759f-46e8-aa46-124d801f5b92 · outbound

This paper cites A Proofs for Section 3 Proposition 1.K ≻ |=G brave q(⃗ a)iffΠG brave is coherent.

Using ASP(Q) to Handle Inconsistent Prioritized Data A Proofs for Section 3 Proposition 1.K ≻ |=G brave q(⃗ a)iffΠG brave is coherent

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-05-26T12:02:15.707601Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.

Observation 371ccf7c-05e4-4777-b56f-7c7664683629 · outbound

This paper cites SinceC ∩(R \ B r)̸=∅, it follows thatM in(C)⊆ R \ B r.

Using ASP(Q) to Handle Inconsistent Prioritized Data SinceC ∩(R \ B r)̸=∅, it follows thatM in(C)⊆ R \ B r

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-26T12:02:15.710390Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.

Observation 32ed7c06-2af0-4b48-97cd-08f5537768c5 · outbound

This paper cites going down.

Using ASP(Q) to Handle Inconsistent Prioritized Data going down

Reference 6

Resolution: malformed identifier; raw_fallback, observed 2026-05-26T12:02:15.699367Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-07-24T06:31:00.690269+00:00.

Pith citing papers

No inbound Pith citation observations are available.