Modeling and Encoding Automated Planning Problems with the P-stable Semantics.

Sergio Arzola Claudia Zepeda

Published in: LA-NMR (2011)

Keyphrases

planning problems
heuristic search
domain independent
state space
solving planning problems
planning domains
ai planning
planning systems
probabilistic planning
stochastic domains
concurrent actions
plan generation
htn planning
sat encodings
dynamic bayesian networks
deterministic domains