Hierarchical Reinforcement Learning with Abductive Planning
Large-Scale cost-based abduction in full-fledged first-order predicate logic with cutting plane inference