| 2015 | AAAI | Cyc and the Big C: Reading that Produces and Uses Hypotheses about Complex Molecular Biology Mechanisms. | Michael Witbrock, Karen Pittman, Jessica Moszkowicz, Andrew Beck, Dave Schneider, Douglas B. Lenat |
| 2006 | FOIS | Problems of Scale in Building, Maintaining and Using Very Large Formal Ontologies. | Douglas B. Lenat |
| 2005 | AAAI | Searching for Common Sense: Populating Cyc™ from the Web. | Cynthia Matuszek, Michael Witbrock, Robert C. Kahlert, John Cabral, David Schneider, Purvesh Shah, Douglas B. Lenat |
| 2005 | AAAI | A Knowledge-Based Approach to Network Security: Applying Cyc in the Domain of Network Risk Assessment. | Blake Shepard, Cynthia Matuszek, C. Bruce Fraser, William Wechtenhiser, David Crabbe, Zelal Gngrd, John Jantos, Todd Hughes, Larry Lefkowitz, Michael Witbrock, Douglas B. Lenat, Erik Larson |
| 2005 | LPAR | Scaling Up: Computers vs. Common Sense. | Douglas B. Lenat |
| 1995 | IJCAI | VERY Large Knowledge Bases - Architecture vs Engineering. | James A. Hendler, Jaime G. Carbonell, Douglas B. Lenat, Riichiro Mizoguchi, Paul S. Rosenbloom |
| 1991 | SIGMOD | Computers versus Common Sense. | Douglas B. Lenat |
| 1987 | IJCAI | On the Thresholds of Knowledge. | Douglas B. Lenat, Edward A. Feigenbaum |
| 1983 | AAAI | Why AM and Eurisko Appear to Work. | Douglas B. Lenat, John Seely Brown |
| 1983 | IJCAI | Knoesphere: Building Expert Systems With Encyclopedic Knowledge. | Douglas B. Lenat, Alan Borning, David W. McDonald, Craig Taylor, Steven Weyer |
| 1983 | IJCAI | An Expert System for Indications and Warning Analysis. | Douglas B. Lenat, Albert Clarkson, Garo Kiremidjian |
| 1982 | AAAI | Heuretics: Theoretical and Experimental Study of Heuristic Rules. | Douglas B. Lenat |
| 1980 | AAAI | A Representation Language Language. | Russell Greiner, Douglas B. Lenat |
| 1979 | IJCAI | Cognitive Economy in Artificial Intelligence Systems. | Douglas B. Lenat, Frederick Hayes-Roth, Philip Klahr |
| 1977 | IJCAI | Computers and Thought Lecture: The Ubiquity of Discovery. | Douglas B. Lenat |
| 1977 | IJCAI | Automated Theory Formation in Mathematics. | Douglas B. Lenat |
| 1977 | IJCAI | Less Than General Production System Architectures. | Douglas B. Lenat, John P. McDermott |
| 1975 | IJCAI | BEINGS: Knowledge as Interacting Experts. | Douglas B. Lenat |