He contributed to the Information Processing Language (1956) and two of the earliest AI programs, the Logic Theory Machine (1956) and the General Problem Solver (1957) (with Herbert A. Simon).
A contribuit la proiectul Information Processing Language (1956) și la două dintre primele programe de inteligență artificială, Logic Theorist (1956) și Rezolvitorul General de Probleme (1957) (cu Herbert Simon).