Paper Citation Record · LEDGER

Compiling Metric Temporal Answer Set Programming

As of 8 August 2026, this Paper Citation Record lists 23 of 23 outbound references and 0 inbound Pith citation observations for arXiv:2506.08150.

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

pith.paper-citation-record.v1
2506.08150 v1

Coverage vector

measured 23 of 23 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T05:29:11.919666Z

measured 23 of 23 standing notices

One-hop event checks from named stored sources.

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

23 of 23 outbound references displayed

verified exact0
verified fuzzy19
unresolved3
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 0adee21d-563b-43f7-84e1-e9a53b91884a · outbound

This paper cites TPLP 23(1), 2-56 (2023).

Compiling Metric Temporal Answer Set Programming TPLP 23(1), 2-56 (2023)

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:17.834638Z

Source-reported events for the cited work

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

Observation 16b0fc20-e063-45cf-8b66-44b28e00414a · outbound

This paper cites In: LPNMR.

Compiling Metric Temporal Answer Set Programming In: LPNMR

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:17.668957Z

Source-reported events for the cited work

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

Observation 43c92548-0e01-4861-9184-e59ae74d018d · outbound

This paper cites TPLP 17(4), 408-461 (2017).

Compiling Metric Temporal Answer Set Programming TPLP 17(4), 408-461 (2017)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:17.502670Z

Source-reported events for the cited work

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

Observation d8307e0e-865a-4c75-b12f-ebb5b8953823 · outbound

This paper cites In: ICLP.

Compiling Metric Temporal Answer Set Programming In: ICLP

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:17.343084Z

Source-reported events for the cited work

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

Observation 35195dab-c3ff-4a7b-aa5f-07424a4ac731 · outbound

This paper cites AIJ 261, 16-70 (2018).

Compiling Metric Temporal Answer Set Programming AIJ 261, 16-70 (2018)

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:17.129038Z

Source-reported events for the cited work

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

Observation 42c87ddb-c4c1-438c-b228-38e1e4185b97 · outbound

This paper cites Metric Temporal Equilibrium Logic over Timed Traces.

Compiling Metric Temporal Answer Set Programming Metric Temporal Equilibrium Logic over Timed Traces

Reference 6

Resolution: metadata mismatch; local_arxiv, observed 2026-08-07T05:29:12.168637Z

Source-reported events for the cited work

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

Observation 0d72555f-8771-4234-b595-be12c69f2c55 · outbound

This paper cites In: RuleML+RR.

Compiling Metric Temporal Answer Set Programming In: RuleML+RR

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:16.869682Z

Source-reported events for the cited work

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

Observation dfe6b313-f068-466b-be42-33707695cf83 · outbound

This paper cites In: ECAI.

Compiling Metric Temporal Answer Set Programming In: ECAI

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:16.596690Z

Source-reported events for the cited work

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

Observation 8b37451b-9a78-4e05-9614-258e9baf45a2 · outbound

This paper cites TPLP 20(5), 783-798 (2020).

Compiling Metric Temporal Answer Set Programming TPLP 20(5), 783-798 (2020)

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:16.344211Z

Source-reported events for the cited work

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

Observation 65ac8fbd-db4c-4e58-a63f-abe8db5ae957 · outbound

This paper cites In: IJCAI.

Compiling Metric Temporal Answer Set Programming In: IJCAI

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:15.995582Z

Source-reported events for the cited work

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

Observation 0a567fa7-7aca-4d70-a779-eeb427fcdd2b · outbound

This paper cites In: AAAI.

Compiling Metric Temporal Answer Set Programming In: AAAI

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:15.661699Z

Source-reported events for the cited work

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

Observation cc7155ce-8f5a-469b-8afa-f02d674d8c67 · outbound

This paper cites (eds.): Handbook of Temporal Reasoning in Artificial Intelligence, Elsevier (2005).

Compiling Metric Temporal Answer Set Programming (eds.): Handbook of Temporal Reasoning in Artificial Intelligence, Elsevier (2005)

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:15.349113Z

Source-reported events for the cited work

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

Observation 21c7a77f-f4b1-4dc3-8b11-f693d86c8b02 · outbound

This paper cites (2015), http://potassco.org.

Compiling Metric Temporal Answer Set Programming (2015), http://potassco.org

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:15.057461Z

Source-reported events for the cited work

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

Observation 9f7acda6-ebda-4389-8e52-6436dd27f854 · outbound

This paper cites JAR 64(8), 1553-1610 (2020).

Compiling Metric Temporal Answer Set Programming JAR 64(8), 1553-1610 (2020)

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:14.805256Z

Source-reported events for the cited work

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

Observation 0723ee90-366b-4cbf-b06e-321468b7c0dd · outbound

This paper cites TPLP 17(5-6), 872-888 (2017).

Compiling Metric Temporal Answer Set Programming TPLP 17(5-6), 872-888 (2017)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:14.560037Z

Source-reported events for the cited work

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

Observation f6704401-2695-45c8-a2ea-2d09d47e0e77 · outbound

This paper cites an unresolved cited work.

Compiling Metric Temporal Answer Set Programming Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:29:14.279019Z

Source-reported events for the cited work

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

Observation 39f27630-1dc1-4588-91e9-195497bc44f5 · outbound

This paper cites an unresolved cited work.

Compiling Metric Temporal Answer Set Programming Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:29:14.028573Z

Source-reported events for the cited work

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

Observation e069c5f8-e95f-43c9-9051-b9470fdc3a88 · outbound

This paper cites Springer (2019).

Compiling Metric Temporal Answer Set Programming Springer (2019)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:13.779700Z

Source-reported events for the cited work

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

Observation 531a7c73-c8a7-4f07-934f-78461c4a6c4d · outbound

This paper cites an unresolved cited work.

Compiling Metric Temporal Answer Set Programming Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:29:13.466853Z

Source-reported events for the cited work

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

Observation 04fa0b2e-4372-4e2a-bf90-2ebeff29ad87 · outbound

This paper cites In: NMELP.

Compiling Metric Temporal Answer Set Programming In: NMELP

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:13.247640Z

Source-reported events for the cited work

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

Observation fb62855b-c780-4413-a440-0e8784beeb21 · outbound

This paper cites In: AAAI’04 pp.

Compiling Metric Temporal Answer Set Programming In: AAAI’04 pp

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:12.992703Z

Source-reported events for the cited work

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

Observation abba442a-fd9a-46e8-a624-65b8a2ff73f4 · outbound

This paper cites In: IJCAI.

Compiling Metric Temporal Answer Set Programming In: IJCAI

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:12.765929Z

Source-reported events for the cited work

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

Observation b921bbb2-7a30-4c4d-8ae0-bd4db8aac778 · outbound

This paper cites In: AAAI.

Compiling Metric Temporal Answer Set Programming In: AAAI

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:29:12.436065Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.