Automating UAV Flight Readiness Approval using Goal-Directed Answer Set Programming.
Sarat Chandra VaranasiBaoluo MengChristopher C. AlexanderSzabolcs BorgyosBrendan HallPublished in: CoRR (2022)
Keyphrases
- goal directed
- answer set programming
- unmanned aerial vehicles
- flight control
- logic programs
- logic programming
- answer sets
- constraint logic programming
- path planning
- meta level reasoning
- reasoning tasks
- answer set programs
- autonomous robots
- causal theories
- stable models
- stable model semantics
- declarative programming
- haplotype inference
- disjunctive logic programming
- database
- knowledge base
- lower bound
- mobile robot
- database systems
- satisfiability modulo theories
- data model
- genetic algorithm
- heuristic search