Building large knowledge-based systems representation and inference in the Cyc project - Lenat, Douglas B.; Guha, R. V. (Reading, Mass. Addison-Wesley, 1990)
Keywords: Artificial intelligence; Expert systems (Computer science).; Knowledge representation (Information theory).; System design