Building Large Knowledge-Based Systems: Representation and Inference in the CYC Project (1990)

by D B Lenat, R V Guha
Venue:Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning