AI Planning Languages Semantics.
Mohammad AbdulazizPeter LammichPublished in: Arch. Formal Proofs (2020)
Keyphrases
- ai planning
- integer programming
- heuristic search
- highly expressive
- planning under uncertainty
- planning problems
- service composition
- web service composition
- expressive power
- planning domains
- planning systems
- automated web service composition
- logic programming
- search strategy
- petri net
- description logics
- control knowledge
- action models
- special case
- temporal planning
- objective function
- machine learning