Important early figure in logic programming, the "father of expert systems"
Professor emeritus at Stanford