Symbol Acquisition for Probabilistic High-Level Planning
Temporal abstraction in reinforcement learning
Large-Scale Cost-Based Abduction in Full-Fledged First-Order Predicate Logic with Cutting Plane Inference
Autonomous Learning of High-Level States and Actions in Continuous Environments
Automatic discovery and transfer of MAXQ hierarchies
PPDDL 1 . 0 : An Extension to PDDL for Expressing Planning Domains with Probabilistic Effects