Comment by varjag

Never met the guy but his work was one of my biggest inspirations in computing.

I feel it's appropriate to link a blog post of mine from 2018. It's a quick recap of Lenat works on the trajectory that brought him towards Cyc, with links to the papers.

http://blog.funcall.org//lisp/2018/11/03/am-eurisko-lenat-do...