4 citations · 4 across the 2 of their papers we have counts for
2 papers
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 (…
cs.LO2021★ 4 cited
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
Brendan Hall, Sarat Chandra Varanasi, Jan Fiedor +7
We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requir…