Solving Deductive Planning Problems Using Program Analysis and Transformation.
D. Andre de WaalMichael ThielscherPublished in: LOPSTR (1995)
Keyphrases
- planning problems
- solving planning problems
- heuristic search
- domain independent
- state space
- ai planning
- probabilistic planning
- plan generation
- planning domains
- planning systems
- concurrent actions
- sat encodings
- domain independent planning
- domain specific
- fully observable
- deterministic domains
- reinforcement learning
- optimal planning
- search algorithm
- machine learning
- general purpose
- search space
- partial observability
- stochastic domains