Login / Signup
Mission Design for Unmanned Aerial Vehicles using Hybrid Probabilistic Logic Program.
Simon Kohaut
Benedict Flade
Devendra Singh Dhami
Julian Eggert
Kristian Kersting
Published in:
CoRR (2024)
Keyphrases
</>
logic programs
unmanned aerial vehicles
logic programming
answer sets
answer set programming
normal logic programs
fixpoint
path planning
stable models
prolog programs
inside outside algorithm
artificial intelligence
default reasoning
horn clauses
stable model semantics