Programming by demonstration: dual-arm manipulation tasks for humanoid robots
Explanation-based generalization: A unifying view