Paper Citation Record · LEDGER

Multi-shot ASP solving with clingo

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

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

pith.paper-citation-record.v1
1705.09811 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 5 of 5 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-22T06:32:14.747728+00:00

measured 5 of 5 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-11T04:52:38.664349Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-07-04T12:49:51.922874Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 88904f8f-6198-419b-a5f3-f68995425312 · inbound

The Constitutional Filter: Bayesian Estimation of Compliant Agents cites this paper.

The Constitutional Filter: Bayesian Estimation of Compliant Agents Multi-shot ASP solving with clingo

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-11T04:52:38.664349Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d3b0043-9992-41e2-aab8-abd7aa0a572a · inbound

The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents cites this paper.

The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents Multi-shot ASP solving with clingo

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-06T15:37:54.471890Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

Using ASP(Q) to Handle Inconsistent Prioritized Data cites this paper.

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-08-22T06:32:14.747728+00:00.

Observation 8bbef20c-aaa8-4f42-92dc-c5ba3a61baa2 · inbound

Accelerating NeurASP with vectorization and caching cites this paper.

Accelerating NeurASP with vectorization and caching Multi-shot ASP solving with clingo

Reference 5

Resolution: metadata mismatch; local_arxiv, observed 2026-07-03T05:07:39.547219Z

Source-reported events for the cited work

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

Observation 87c9ec25-2301-493b-93f0-afc50df4005d · inbound

Complex Autonomous UAV Task Execution and Decision-Making With s(CASP) cites this paper.

Complex Autonomous UAV Task Execution and Decision-Making With s(CASP) Multi-shot ASP solving with clingo

Reference 9

Resolution: metadata mismatch; local_arxiv, observed 2026-07-04T12:49:51.924125Z

Source-reported events for the cited work

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