Se destaca por su temprano trabajo en planeación automatizada en un mundo de "cubos", en redes semánticas, en redes neuronales (y, en particular, el algoritmo de correlación en cascada) y en Common Lisp.