Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project
The Cyc project, started by Doug Lenat at MCC in 1984, is the most ambitious knowledge representation project ever undertaken. It embodies Lenat's current ideas for a system int...