Exploring Lifted Planning Encodings in Essence Prime.
Joan EspasaJordi CollIan MiguelMateu VillaretPublished in: CCIA (2021)
Keyphrases
- planning problems
- probabilistic inference
- ai planning
- probabilistic planning
- heuristic search
- domain independent
- boolean satisfiability
- sat solving
- plan generation
- satisfiability problem
- planning systems
- mixed initiative
- motion planning
- data sets
- decision support
- domain specific
- evolutionary algorithm
- expert systems
- social networks