Before revision: available online at URL Published in Knowledge-based systems in artificial intelligence along with Randall Davis's Ph.D. Thesis, McGraw-Hill, 1982. and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award.. AM worked by generating and modifying short Lisp programs which were then interpreted as defining various mathematical concepts;.
After revision: URLavailable online at URL Published in Knowledge-based systems in artificial intelligence along with Randall Davis's Ph.D. Thesis, McGraw-Hill, 1982. and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award.. AM worked by generating and modifying short Lisp programs which were then interpreted as defining various mathematical concepts;.