{"as_of":"2026-08-08T09:58:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3a4a142f5016df9879be3d1ddbb78081365f2517476cf3b2b935f0adfb68ec4a","coverage":[{"denominator":23,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":23,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:29:11.919666Z","state":"measured"},{"denominator":23,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":23,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2506.08150/citation-record","integrity":"/paper/2506.08150/integrity","json":"/paper/2506.08150/citation-record.json","paper":"/paper/2506.08150"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:17.754412Z","title":"TPLP 23(1), 2-56 (2023)","venue":null,"work_id":"8910923b-3e59-4082-bea0-2f4f83979bd6","year":2023},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:09.375438Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:ec909d2c34243b2f8feb3d4cd289c99aa0634734ba48881b2ca11b58b8d5ea68","observation_id":"0adee21d-563b-43f7-84e1-e9a53b91884a","resolution":{"observed_at":"2026-08-07T05:29:17.834638Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:17.590019Z","title":"In: LPNMR","venue":null,"work_id":"449d6f98-05b9-4968-ae8b-9892781d54ed","year":2015},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:09.461445Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:7ef9f71e5e7ac900eb21e622eb21d64cc17cc17206e150f9e029256575d5c804","observation_id":"16b0fc20-e063-45cf-8b66-44b28e00414a","resolution":{"observed_at":"2026-08-07T05:29:17.668957Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:17.439447Z","title":"TPLP 17(4), 408-461 (2017)","venue":null,"work_id":"c15afe69-f103-481c-8bb4-e940b2173a45","year":2017},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:09.537511Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:bb88559b50f6b17e45dbadab125c19dd3ca0c673818928763f68c1e7c9aa8919","observation_id":"43c92548-0e01-4861-9184-e59ae74d018d","resolution":{"observed_at":"2026-08-07T05:29:17.502670Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:17.232432Z","title":"In: ICLP","venue":null,"work_id":"a610d2e5-26b4-46ba-825f-a38440288cfb","year":2005},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:09.617794Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:3e21470d09d501e13a632fcf229bd12ccd259ecffb1a961a951ccd5feed9935a","observation_id":"d8307e0e-865a-4c75-b12f-ebb5b8953823","resolution":{"observed_at":"2026-08-07T05:29:17.343084Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:17.035373Z","title":"AIJ 261, 16-70 (2018)","venue":null,"work_id":"de3a8902-9976-47b1-91fc-230daa100d47","year":2018},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:09.674581Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:062fb925ef88b8f8f3e32665c2b13c70685eb464e3837062054a706f369e0ede","observation_id":"35195dab-c3ff-4a7b-aa5f-07424a4ac731","resolution":{"observed_at":"2026-08-07T05:29:17.129038Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2304.14778","last_updated":"2024-05-03T12:40:35Z","snapshot_observed_at":"2026-08-06T16:32:09.107321Z","submitted_at":"2023-04-28T11:39:49Z","title":"Metric Temporal Equilibrium Logic over Timed Traces","version":2},"cited_work":{"arxiv_id":"2304.14778","doi":null,"metadata_source":"pith","pith_arxiv_id":"2304.14778","snapshot_observed_at":"2026-08-07T05:29:12.045635Z","title":"Metric Temporal Equilibrium Logic over Timed Traces","venue":"cs.AI","work_id":"52c76327-eb54-498f-be47-157d36cad6f8","year":2023},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:09.737885Z"},"links":{"cited_paper":"/paper/2304.14778","citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:9073ee629b25a3479618450e705977c411f676a1ccd32a03f00d8a8538173e44","observation_id":"42c87ddb-c4c1-438c-b228-38e1e4185b97","resolution":{"observed_at":"2026-08-07T05:29:12.168637Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:16.720381Z","title":"In: RuleML+RR","venue":null,"work_id":"a1b6506f-c492-413f-b83d-6f7fd6ee77fb","year":2022},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:09.888407Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:c6edf21345e76022011be0d704f7b1a460132f60b0ec1bb54d27a54232681ce6","observation_id":"0d72555f-8771-4234-b595-be12c69f2c55","resolution":{"observed_at":"2026-08-07T05:29:16.869682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:16.456222Z","title":"In: ECAI","venue":null,"work_id":"5bc76f83-182a-4670-9771-4fd669c68c19","year":2020},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:10.031033Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:bfd10d08c633df36996e2f167d433bfb38735af51d76823d990e49405a7d15fa","observation_id":"dfe6b313-f068-466b-be42-33707695cf83","resolution":{"observed_at":"2026-08-07T05:29:16.596690Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:16.175883Z","title":"TPLP 20(5), 783-798 (2020)","venue":null,"work_id":"0eaa42dd-e40d-4d83-be86-21976390fc11","year":2020},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:10.162878Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:4583901836f58de8b42153628dc51033db5f75688c8c4f5e5731b9e5974977db","observation_id":"8b37451b-9a78-4e05-9614-258e9baf45a2","resolution":{"observed_at":"2026-08-07T05:29:16.344211Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:15.818288Z","title":"In: IJCAI","venue":null,"work_id":"15a92cf0-1f90-4844-ab0e-8c904cec7824","year":2016},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:10.291587Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:45707bc707899af6caecfebf71e38bdf486ed74ddd4336681b4a1789fae52248","observation_id":"65ac8fbd-db4c-4e58-a63f-abe8db5ae957","resolution":{"observed_at":"2026-08-07T05:29:15.995582Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:15.522649Z","title":"In: AAAI","venue":null,"work_id":"47a82eb9-f3b3-4ca0-8628-5703ec665b21","year":1994},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:10.425423Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:a9b2fbe4a783ce8fbb8737f32808c7c37784b8311d97597667a2c54a063f7b47","observation_id":"0a567fa7-7aca-4d70-a779-eeb427fcdd2b","resolution":{"observed_at":"2026-08-07T05:29:15.661699Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:15.180182Z","title":"(eds.): Handbook of Temporal Reasoning in Artificial Intelligence, Elsevier (2005)","venue":null,"work_id":"18aa8d1e-e64c-4a64-98d4-633f54002239","year":2005},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:10.495673Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:79000060e2df9e2d1396e1a52e0e5831cf343b710c7616e1d9e56fb4ab915d99","observation_id":"cc7155ce-8f5a-469b-8afa-f02d674d8c67","resolution":{"observed_at":"2026-08-07T05:29:15.349113Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:14.920139Z","title":"(2015), http://potassco.org","venue":null,"work_id":"0c7bf4eb-92ab-43d2-9465-a30508a0ee9a","year":2015},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:10.624957Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:4c7e1b64530c29ebfd8045c94b8d9abf6ae58982053ee9d0ac257f7391988a34","observation_id":"21c7a77f-f4b1-4dc3-8b11-f693d86c8b02","resolution":{"observed_at":"2026-08-07T05:29:15.057461Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:14.677571Z","title":"JAR 64(8), 1553-1610 (2020)","venue":null,"work_id":"60fcc8ec-db4f-424f-ac97-0201ae22cd7c","year":2020},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:10.740684Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:c33618fd39240d7b590604d85f5e0a06b44a479dc1b93f47755566fd5923e560","observation_id":"9f7acda6-ebda-4389-8e52-6436dd27f854","resolution":{"observed_at":"2026-08-07T05:29:14.805256Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:14.408949Z","title":"TPLP 17(5-6), 872-888 (2017)","venue":null,"work_id":"7675d7f2-9ef6-4fa0-841b-e5716e07ec12","year":2017},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:10.855655Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:de23eae7bf79bb11edc23be338973301255a9aba2d0e858bface9655e411a063","observation_id":"0723ee90-366b-4cbf-b06e-321468b7c0dd","resolution":{"observed_at":"2026-08-07T05:29:14.560037Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:14.163604Z","title":null,"venue":null,"work_id":"4877e4ed-4956-47dd-8ff8-b7e85abdf28f","year":2023},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:10.993808Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:64bbbecc1306dec29b5b3a5d0c0bf80be14069df3f4058d1530745710c700ffe","observation_id":"f6704401-2695-45c8-a2ea-2d09d47e0e77","resolution":{"observed_at":"2026-08-07T05:29:14.279019Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:13.909858Z","title":null,"venue":null,"work_id":"abf0fbd1-a569-4d46-9433-5d0b69a0f3f8","year":1968},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:11.150602Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:d35b36137a982805c14554fbac267e52afb8c7b761e3844c1cd095d2b21d073a","observation_id":"39f27630-1dc1-4588-91e9-195497bc44f5","resolution":{"observed_at":"2026-08-07T05:29:14.028573Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:13.632871Z","title":"Springer (2019)","venue":null,"work_id":"308ba49c-e878-4061-82fe-8da315e79b74","year":2019},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:11.273137Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:070db009a33bec13528e38162081363655d50fda0229c0654e8a4e6a86d0c27a","observation_id":"e069c5f8-e95f-43c9-9051-b9470fdc3a88","resolution":{"observed_at":"2026-08-07T05:29:13.779700Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:13.380184Z","title":null,"venue":null,"work_id":"245c6584-b201-404d-b6bb-00073b82b902","year":2007},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:11.397615Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:752a1b8db7ca80412e230f1887629ea1b25c2f58075e4df6784ed6b9408b9657","observation_id":"531a7c73-c8a7-4f07-934f-78461c4a6c4d","resolution":{"observed_at":"2026-08-07T05:29:13.466853Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:13.140242Z","title":"In: NMELP","venue":null,"work_id":"5df8c9ad-2add-4149-8043-2f58fa97047e","year":1997},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:11.492577Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:03902b51b2c73d376831726b3011a498cfcc951c5d22403c04721dfb50694694","observation_id":"04fa0b2e-4372-4e2a-bf90-2ebeff29ad87","resolution":{"observed_at":"2026-08-07T05:29:13.247640Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:12.884270Z","title":"In: AAAI’04 pp","venue":null,"work_id":"902b6d06-2623-4953-9901-61ad50ea1cb0","year":2004},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:11.604579Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:d1dac397318aafa1939b715a72896a4f8b5de14e42b0b4edbef0c57d6029246c","observation_id":"fb62855b-c780-4413-a440-0e8784beeb21","resolution":{"observed_at":"2026-08-07T05:29:12.992703Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:12.598190Z","title":"In: IJCAI","venue":null,"work_id":"928dd86d-00a8-4b36-9d7e-5919f63ade20","year":2019},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:11.746991Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:92bfad7368a5bbc122db26a06d9a81f01509dfa1b6ffedb365be25f889e1fb45","observation_id":"abba442a-fd9a-46e8-a624-65b8a2ff73f4","resolution":{"observed_at":"2026-08-07T05:29:12.765929Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:29:12.287351Z","title":"In: AAAI","venue":null,"work_id":"f5a4b44a-f651-43ff-a067-cedafa9a0e5b","year":2022},"citing_paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T05:29:11.919666Z"},"links":{"citing_paper":"/paper/2506.08150"},"observation_digest":"sha256:a0244fae99ed19c3fc42db7c15048f97fdc69d160952205675daeda50eb3437c","observation_id":"b921bbb2-7a30-4c4d-8ae0-bd4db8aac778","resolution":{"observed_at":"2026-08-07T05:29:12.436065Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.08150","last_updated":"2025-06-09T18:56:57Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-07T23:24:18.934100Z","submitted_at":"2025-06-09T18:56:57Z","title":"Compiling Metric Temporal Answer Set Programming"},"reference_resolution":{"displayed":23,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":19},"total_outbound_references":23},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"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."}