Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems.
Gregor BehnkeDaniel HöllerSusanne BiundoPublished in: ICTAI (2018)
Keyphrases
- planning problems
- partially ordered
- solving planning problems
- partial order
- sat encodings
- heuristic search
- causal graph
- domain independent
- planning domains
- state space
- totally ordered
- planning systems
- htn planning
- event calculus
- ai planning
- search space
- probabilistic planning
- total order
- deterministic domains
- learning algorithm
- partial observability
- concurrent actions
- domain specific