Verified SAT-Based AI Planning.
Mohammad AbdulazizFriedrich KurzPublished in: Arch. Formal Proofs (2020)
Keyphrases
- ai planning
- heuristic search
- integer programming
- web service composition
- planning under uncertainty
- planning domains
- planning problems
- service composition
- automated web service composition
- control knowledge
- planning systems
- temporal planning
- htn planning
- machine learning
- action models
- information retrieval
- macro operators