{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:NYCBQ2LZOQTYT3DED4ADMT5SSQ","short_pith_number":"pith:NYCBQ2LZ","schema_version":"1.0","canonical_sha256":"6e04186979742789ec641f00364fb2940605de4b0145d3dae6d67c9785c72b91","source":{"kind":"arxiv","id":"2606.23866","version":1},"attestation_state":"computed","paper":{"title":"Complex Autonomous UAV Task Execution and Decision-Making With s(CASP)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alexis R. Tudor, Doug Slattery, Gopal Gupta, Keegan Kimbrell, Peter Van, Trevor Bihl","submitted_at":"2026-06-22T19:07:41Z","abstract_excerpt":"Autonomous unmanned aerial vehicles (UAVs) must operate safely in dynamic environments and adapt to changing mission conditions. Although deep learning approaches have shown strong performance for navigation and perception, they are often difficult to explain, verify, and modify for safety-critical tasks. We propose a symbolic state-centered UAV agent using the s(CASP) answer set programming system, enabling autonomous task execution with constraint-based commonsense reasoning in a high-fidelity Unreal Engine 5 environment. We fully implement prior work on the VECSR-A system to support multi-s"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2606.23866","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-06-22T19:07:41Z","cross_cats_sorted":[],"title_canon_sha256":"c8fad16cc42ef9b3a92fb04efc9b7f49ff915d0233f35dcb1d9556bb4eb87fc6","abstract_canon_sha256":"0bc26a5505a8cf082661c35cb25ac4f92d2449fb34d0b3f5b041e601796b5a15"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-24T00:14:28.914598Z","signature_b64":"ue7mZJ1Rsfqe5Ys92nMbO3By468Xy2YY/G8kC/BMLcWGQWKpF6o5zUsB8VI24vqRFtXIbEDNdoquFvfpHu6LAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6e04186979742789ec641f00364fb2940605de4b0145d3dae6d67c9785c72b91","last_reissued_at":"2026-06-24T00:14:28.914200Z","signature_status":"signed_v1","first_computed_at":"2026-06-24T00:14:28.914200Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Complex Autonomous UAV Task Execution and Decision-Making With s(CASP)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Alexis R. Tudor, Doug Slattery, Gopal Gupta, Keegan Kimbrell, Peter Van, Trevor Bihl","submitted_at":"2026-06-22T19:07:41Z","abstract_excerpt":"Autonomous unmanned aerial vehicles (UAVs) must operate safely in dynamic environments and adapt to changing mission conditions. Although deep learning approaches have shown strong performance for navigation and perception, they are often difficult to explain, verify, and modify for safety-critical tasks. We propose a symbolic state-centered UAV agent using the s(CASP) answer set programming system, enabling autonomous task execution with constraint-based commonsense reasoning in a high-fidelity Unreal Engine 5 environment. We fully implement prior work on the VECSR-A system to support multi-s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.23866","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2606.23866/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2606.23866","created_at":"2026-06-24T00:14:28.914262+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.23866v1","created_at":"2026-06-24T00:14:28.914262+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.23866","created_at":"2026-06-24T00:14:28.914262+00:00"},{"alias_kind":"pith_short_12","alias_value":"NYCBQ2LZOQTY","created_at":"2026-06-24T00:14:28.914262+00:00"},{"alias_kind":"pith_short_16","alias_value":"NYCBQ2LZOQTYT3DE","created_at":"2026-06-24T00:14:28.914262+00:00"},{"alias_kind":"pith_short_8","alias_value":"NYCBQ2LZ","created_at":"2026-06-24T00:14:28.914262+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/NYCBQ2LZOQTYT3DED4ADMT5SSQ","json":"https://pith.science/pith/NYCBQ2LZOQTYT3DED4ADMT5SSQ.json","graph_json":"https://pith.science/api/pith-number/NYCBQ2LZOQTYT3DED4ADMT5SSQ/graph.json","events_json":"https://pith.science/api/pith-number/NYCBQ2LZOQTYT3DED4ADMT5SSQ/events.json","paper":"https://pith.science/paper/NYCBQ2LZ"},"agent_actions":{"view_html":"https://pith.science/pith/NYCBQ2LZOQTYT3DED4ADMT5SSQ","download_json":"https://pith.science/pith/NYCBQ2LZOQTYT3DED4ADMT5SSQ.json","view_paper":"https://pith.science/paper/NYCBQ2LZ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.23866&json=true","fetch_graph":"https://pith.science/api/pith-number/NYCBQ2LZOQTYT3DED4ADMT5SSQ/graph.json","fetch_events":"https://pith.science/api/pith-number/NYCBQ2LZOQTYT3DED4ADMT5SSQ/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/NYCBQ2LZOQTYT3DED4ADMT5SSQ/action/timestamp_anchor","attest_storage":"https://pith.science/pith/NYCBQ2LZOQTYT3DED4ADMT5SSQ/action/storage_attestation","attest_author":"https://pith.science/pith/NYCBQ2LZOQTYT3DED4ADMT5SSQ/action/author_attestation","sign_citation":"https://pith.science/pith/NYCBQ2LZOQTYT3DED4ADMT5SSQ/action/citation_signature","submit_replication":"https://pith.science/pith/NYCBQ2LZOQTYT3DED4ADMT5SSQ/action/replication_record"}},"created_at":"2026-06-24T00:14:28.914262+00:00","updated_at":"2026-06-24T00:14:28.914262+00:00"}