collaborators

1 paper

cs.AI2022

Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming

Sarat Chandra Varanasi, Baoluo Meng, Christopher Alexander +2

We present a novel application of Goal-Directed Answer Set Programming that digitizes the model aircraft operator's compliance verification against the Academy of Model Aircrafts (…