6 citations · 17 across the 11 of their papers we have counts for
1 paper · 1 filter
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 (…