Learning to Plan with Portable Symbols
Symbol acquisition for probabilistic high-level planning