Building Large Knowledge-Based Systems: Representation and Inference in CYC (1991)

by D Lenat, R Guha
Venue:Addison-Wesley. Proceedings of AAAI 2000 workshop on Representational Issues for Real-world Planning Systems