He is notable for early work on automated planning in a blocks world, on semantic networks, on neural networks (and, in particular, the cascade correlation algorithm), on the Dylan programming language, and on Common Lisp (in particular CMU Common Lisp and he was one of the founders of Lucid Inc.).
В своей области он является самым известным за его новаторскую работу в автоматизированном планировании, семантической сети, нейронной сети и языка программирования Common Lisp (особенно CMU Common Lisp).