In AM: A Case Study in AI Methodology by G.D. Ritchie and F.K. Hanna (https://www.researchgate.net/publication/220547429_AM_a_case_study_in_AI_methodology https

In AM: A Case Study in AI Methodology by G.D. Ritchie and F.K. Hanna (https://www.researchgate.net/publication/220547429_AM_a_case_study_in_AI_methodology https://www.researchgate.net/publication/220547429_AM_a_case...), a paper critical of Lenat's work on AM, it is, however, stated that "Lenat has attempted (more than most other workers in AI) to render his program available to public assessment, both by making it available for running and by supplying such detailed appendices in his thesis. The whole discussion in this paper could not have commenced if Lenat had not provided this unusual level of documentation. " As for Eurisko, I'm unaware of the source code being made publicly available, and several people appeared to have asked for the source, without success. However, I think enough has been published on Eurisko to reproduce it, or something similar, from scratch. OpenCyc (http://opencyc.org/ http://opencyc.org/) was released in 2012, and is available on SourceForge. Cyc was released earlier this year (https://www.lucid.ai/press-releases/mit-tech-review-an-ai-with-30-years-worth-of-knowledge-finally-goes-to-work https://www.lucid.ai/press-releases/mit-tech-review-an-ai-wi...). Lucid (https://www.lucid.ai/ https://www.lucid.ai/) has several case studies of applications of Cyc by Cleveland Clinic, the U.S. Forest Service, a Large Global Bank, and a Global Energy Company.