Teleo-Reactive Programs for Agent Control
Explanation-based generalization: A unifying view