most citedKnowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming

4 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

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 (…