{"as_of":"2026-08-23T00:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a6777c0e0a161bfb7d37d801690344cb41eb4825b801ab2d57ca95adcbb73859","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":5,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":5,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+00:00","state":"measured"},{"denominator":5,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":5,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-11T04:52:38.664349Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-07-04T12:49:51.922874Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"1705.09811","last_updated":"2018-03-20T16:43:53Z","snapshot_observed_at":"2026-08-14T20:57:50.055930Z","submitted_at":"2017-05-27T11:52:40Z","title":"Multi-shot ASP solving with clingo","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1705.09811","snapshot_observed_at":"2026-08-11T04:52:38.664349Z","title":"Multi-shot ASP solving with clingo,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2412.18347","last_updated":"2025-07-21T10:09:59Z","snapshot_observed_at":"2026-08-18T15:07:37.102450Z","submitted_at":"2024-12-24T11:14:55Z","title":"The Constitutional Filter: Bayesian Estimation of Compliant Agents","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-11T04:52:38.664349Z"},"links":{"cited_paper":"/paper/1705.09811","citing_paper":"/paper/2412.18347"},"observation_digest":"sha256:ce5d4280541a3a2216087f896581e6f5ea61846767844be876700f6e5ab90d03","observation_id":"88904f8f-6198-419b-a5f3-f68995425312","resolution":{"observed_at":"2026-08-11T04:52:38.664349Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1705.09811","last_updated":"2018-03-20T16:43:53Z","snapshot_observed_at":"2026-08-14T20:57:50.055930Z","submitted_at":"2017-05-27T11:52:40Z","title":"Multi-shot ASP solving with clingo","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1705.09811","snapshot_observed_at":"2026-08-06T15:37:54.471890Z","title":"Multi-shot ASP solving with clingo,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.15478","last_updated":"2025-07-21T10:33:31Z","snapshot_observed_at":"2026-08-06T22:32:24.651856Z","submitted_at":"2025-07-21T10:33:31Z","title":"The Constitutional Controller: Doubt-Calibrated Steering of Compliant Agents","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T15:37:54.471890Z"},"links":{"cited_paper":"/paper/1705.09811","citing_paper":"/paper/2507.15478"},"observation_digest":"sha256:6255827095b7d3a00854fc176f1392afb09c4874a843a79c82c45ec7f789dbd4","observation_id":"6d3b0043-9992-41e2-aab8-abd7aa0a572a","resolution":{"observed_at":"2026-08-06T15:37:54.471890Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1705.09811","last_updated":"2018-03-20T16:43:53Z","snapshot_observed_at":"2026-08-14T20:57:50.055930Z","submitted_at":"2017-05-27T11:52:40Z","title":"Multi-shot ASP solving with clingo","version":2},"cited_work":{"arxiv_id":"1705.09811","doi":null,"metadata_source":"pith","pith_arxiv_id":"1705.09811","snapshot_observed_at":"2026-07-04T12:49:51.922874Z","title":"Gebser, M.; Kaminski, R.; and Schaub, T","venue":"cs.AI","work_id":"75d8ca89-2194-4551-ab5f-4ab587d3d274","year":2017},"citing_paper":{"arxiv_id":"2604.21603","last_updated":"2026-05-04T15:10:02Z","snapshot_observed_at":"2026-08-11T02:22:50.397856Z","submitted_at":"2026-04-23T12:24:22Z","title":"Using ASP(Q) to Handle Inconsistent Prioritized Data","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-08T13:54:55.971291Z"},"links":{"cited_paper":"/paper/1705.09811","citing_paper":"/paper/2604.21603"},"observation_digest":"sha256:f676722e6d4a8693809729bfea0c20717480a324bf2263320a6fa0c5d364f010","observation_id":"078c765e-980d-4a8b-b322-ca30ae78d011","resolution":{"observed_at":"2026-05-11T18:46:10.425677Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1705.09811","last_updated":"2018-03-20T16:43:53Z","snapshot_observed_at":"2026-08-14T20:57:50.055930Z","submitted_at":"2017-05-27T11:52:40Z","title":"Multi-shot ASP solving with clingo","version":2},"cited_work":{"arxiv_id":"1705.09811","doi":null,"metadata_source":"pith","pith_arxiv_id":"1705.09811","snapshot_observed_at":"2026-07-04T12:49:51.922874Z","title":"Gebser, M.; Kaminski, R.; and Schaub, T","venue":"cs.AI","work_id":"75d8ca89-2194-4551-ab5f-4ab587d3d274","year":2017},"citing_paper":{"arxiv_id":"2606.10787","last_updated":"2026-06-18T20:30:47Z","snapshot_observed_at":"2026-08-21T12:43:52.014017Z","submitted_at":"2026-06-09T12:37:43Z","title":"Accelerating NeurASP with vectorization and caching","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-27T13:22:01.066470Z"},"links":{"cited_paper":"/paper/1705.09811","citing_paper":"/paper/2606.10787"},"observation_digest":"sha256:5357089b592ae5eb85110b948126101be50ab888450aa66f2b2d2f3b656098d7","observation_id":"8bbef20c-aaa8-4f42-92dc-c5ba3a61baa2","resolution":{"observed_at":"2026-07-03T05:07:39.547219Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1705.09811","last_updated":"2018-03-20T16:43:53Z","snapshot_observed_at":"2026-08-14T20:57:50.055930Z","submitted_at":"2017-05-27T11:52:40Z","title":"Multi-shot ASP solving with clingo","version":2},"cited_work":{"arxiv_id":"1705.09811","doi":null,"metadata_source":"pith","pith_arxiv_id":"1705.09811","snapshot_observed_at":"2026-07-04T12:49:51.922874Z","title":"Gebser, M.; Kaminski, R.; and Schaub, T","venue":"cs.AI","work_id":"75d8ca89-2194-4551-ab5f-4ab587d3d274","year":2017},"citing_paper":{"arxiv_id":"2606.23866","last_updated":"2026-06-22T19:07:41Z","snapshot_observed_at":"2026-08-18T22:04:13.428710Z","submitted_at":"2026-06-22T19:07:41Z","title":"Complex Autonomous UAV Task Execution and Decision-Making With s(CASP)","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-26T06:08:00.486024Z"},"links":{"cited_paper":"/paper/1705.09811","citing_paper":"/paper/2606.23866"},"observation_digest":"sha256:dc394e334cc1718d3a5c1ded2e9d89cb575b1cba772b43d10e855e52c7fbf02e","observation_id":"87c9ec25-2301-493b-93f0-afc50df4005d","resolution":{"observed_at":"2026-07-04T12:49:51.924125Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/1705.09811/citation-record","integrity":"/paper/1705.09811/integrity","json":"/paper/1705.09811/citation-record.json","paper":"/paper/1705.09811"},"outbound":[],"paper":{"arxiv_id":"1705.09811","last_updated":"2018-03-20T16:43:53Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-14T20:57:50.055930Z","submitted_at":"2017-05-27T11:52:40Z","title":"Multi-shot ASP solving with clingo"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 5 inbound Pith citation observations for arXiv:1705.09811."}