Douglas B. Lenat

According to our database, Douglas B. Lenat authored at least 55 papers between 1975 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Getting from Generative AI to Trustworthy AI: What LLMs might learn from Cyc.

Doug Lenat, Gary Marcus

CoRR, 2023

2022

Creating a 30-Million-Rule System: MCC and Cycorp.

Douglas B. Lenat

IEEE Ann. Hist. Comput., 2022

Knowledge Graphs: Introduction, History and, Perspectives.

Vinay K. Chaudhri, Chaitanya K. Baru, Naren Chittar, Xin Luna Dong, Michael R. Genesereth, James A. Hendler, Aditya Kalyanpur, Douglas B. Lenat, Juan Sequeda, Denny Vrandecic, Kuansan Wang

AI Mag., 2022

2016

WWTS (What Would Turing Say?).

Douglas B. Lenat

AI Mag., 2016

2015

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

Proceedings of the Scholarly Big Data: AI Perspectives, 2015

2014

Reinforcing Math Knowledge by Immersing Students in a Simulated Learning-By-Teaching Experience.

Douglas B. Lenat, Paula J. Durlach

Int. J. Artif. Intell. Educ., 2014

2011

Reports of the AAAI 2010 Fall Symposia.

Roger Azevedo, Gautam Biswas, Dan Bohus, Ted Carmichael, Mark A. Finlayson, Mirsad Hadzikadic, Catherine Havasi, Eric Horvitz, Takayuki Kanda, Oluwasanmi Koyejo, William F. Lawless, Douglas B. Lenat, Felipe Meneguzzi, Bilge Mutlu, Jean Oh, Roberto Pirrone, Antoine Raux, Donald A. Sofge, Gita Sukthankar, Benjamin Van Durme

AI Mag., 2011

2010

Harnessing Cyc to Answer Clinical Researchers' Ad Hoc Queries.

Douglas B. Lenat, Michael Witbrock, David Baxter, Eugene Blackstone, Chris Deaton, Dave Schneider, Jerry Scott, Blake Shepard

AI Mag., 2010

Preface.

Catherine Havasi, Douglas B. Lenat, Benjamin Van Durme

Proceedings of the Commonsense Knowledge, 2010

Organizing Committee.

Catherine Havasi, Douglas B. Lenat, Benjamin Van Durme

Proceedings of the Commonsense Knowledge, 2010

2008

The Voice of the Turtle: Whatever Happened to AI?

Douglas B. Lenat

AI Mag., 2008

2006

Common Sense Reasoning - From Cyc to Intelligent Assistant.

Kathy Panton, Cynthia Matuszek, Douglas B. Lenat, Dave Schneider, Michael Witbrock, Nick Siegel, Blake Shepard

Proceedings of the Ambient Intelligence in Everyday Life - Foreword by Emile Aarts, 2006

Problems of Scale in Building, Maintaining and Using Very Large Formal Ontologies.

Douglas B. Lenat

Proceedings of the Formal Ontology in Information Systems, 2006

The Voice of the Turtle.

Doug Lenat

Proceedings of the What Went Wrong and Why: Lessons from AI Research and Applications, 2006

2005

Applied ontology issues.

Douglas B. Lenat

Appl. Ontology, 2005

Scaling Up: Computers vs. Common Sense.

Douglas B. Lenat

Proceedings of the Logic for Programming, 2005

Knowledge Begets Knowledge: Steps towards Assisted Knowledge Acquisition in Cyc.

Michael Witbrock, Cynthia Matuszek, Antoine Brusseau, Robert C. Kahlert, C. Bruce Fraser, Douglas B. Lenat

Proceedings of the Knowledge Collection from Volunteer Contributors, 2005

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 Güngördü, John Jantos, Todd Hughes, Larry Lefkowitz, Michael Witbrock, Douglas B. Lenat, Erik Larson

Proceedings of the Proceedings, 2005

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

Proceedings of the Proceedings, 2005

1995

CYC, WordNet, and EDR: Critiques and Responses.

Douglas B. Lenat, George A. Miller, Toshio Yokoi

Commun. ACM, 1995

CYC: A Large-Scale Investment in Knowledge Infrastructure.

Douglas B. Lenat

Commun. ACM, 1995

VERY Large Knowledge Bases - Architecture vs Engineering.

James A. Hendler, Jaime G. Carbonell, Douglas B. Lenat, Riichiro Mizoguchi, Paul S. Rosenbloom

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

Enabling Agents to Work Together.

Ramanathan V. Guha, Douglas B. Lenat

Commun. ACM, 1994

1993

Re: CycLing Paper Reviews.

Ramanathan V. Guha, Douglas B. Lenat

Artif. Intell., 1993

Computers versus Common Sense (abstract).

Douglas B. Lenat

Proceedings of the ACM 21th Conference on Computer Science, 1993

1991

The Evolution of CycL, The Cyc Representation Language.

Douglas B. Lenat, Ramanathan V. Guha

SIGART Bull., 1991

On the Thresholds of Knowledge.

Douglas B. Lenat, Edward A. Feigenbaum

Artif. Intell., 1991

CYC: A mid-term report.

Ramanathan V. Guha, Douglas B. Lenat

Appl. Artif. Intell., 1991

Computers versus Common Sense.

Douglas B. Lenat

Proceedings of the 1991 ACM SIGMOD International Conference on Management of Data, 1991

1990

CYC: Toward Programs With Common Sense.

Douglas B. Lenat, Ramanathan V. Guha, Karen Pittman, Dexter Pratt, Mary Shepherd

Commun. ACM, 1990

CYC: A Midterm Report.

Ramanathan V. Guha, Douglas B. Lenat

AI Mag., 1990

1989

Correction to "Ontological Versus Knowledge Engineering".

Douglas B. Lenat

IEEE Trans. Knowl. Data Eng., 1989

Ontological Versus Knowledge Engineering.

Douglas B. Lenat

IEEE Trans. Knowl. Data Eng., 1989

When Will Machines Learn?

Douglas B. Lenat

Mach. Learn., 1989

1988

Knowledge Management - Panel Report.

Robert A. Kowalski, Douglas B. Lenat, Elliot Soloway, Michael Stonebraker, Adrian Walker

Proceedings of the Expert Database Systems, 1988

1986

CYC: Using Common Sense Knowledge to Overcome Brittleness and Knowledge Acquisition Bottlenecks.

Douglas B. Lenat, Mayank Prakash, Mary Shepherd

AI Mag., 1986

Machine Learning (Panel).

Douglas B. Lenat

Proceedings of the Information Processing 86, 1986

1984

Why AM and EURISKO Appear to Work.

Douglas B. Lenat, John Seely Brown

Artif. Intell., 1984

1983

EURISKO: A Program That Learns New Heuristics and Domain Concepts.

Douglas B. Lenat

Artif. Intell., 1983

Theory Formation by Heuristic Search.

Douglas B. Lenat

Artif. Intell., 1983

An Expert System for Indications and Warning Analysis.

Douglas B. Lenat, Albert Clarkson, Garo Kiremidjian

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

Knoesphere: Building Expert Systems With Encyclopedic Knowledge.

Douglas B. Lenat, Alan Borning, David W. McDonald, Craig Taylor, Steven Weyer

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982

Learning program helps win national fleet wargame tournament.

Doug Lenat

SIGART Newsl., 1982

Heuristic Search for New Microcircuit Structures: An Application of Artificial Intelligence.

Douglas B. Lenat, William R. Sutherland, James Gibbons

AI Mag., 1982

The Nature of Heuristics.

Douglas B. Lenat

Artif. Intell., 1982

Heuretics: Theoretical and Experimental Study of Heuristic Rules.

Douglas B. Lenat

Proceedings of the National Conference on Artificial Intelligence, 1982

1980

A Representation Language Language.

Russell Greiner, Douglas B. Lenat

Proceedings of the 1st Annual National Conference on Artificial Intelligence, 1980

1979

Cognitive Economy in Artificial Intelligence Systems.

Douglas B. Lenat, Frederick Hayes-Roth, Philip Klahr

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979

1977

Designing a rule system that searches for scientific discoveries.

Douglas B. Lenat, Gregory Harris

SIGART Newsl., 1977

The Ubiquity of Discovery.

Douglas B. Lenat

Artif. Intell., 1977

Less Than General Production System Architectures.

Douglas B. Lenat, John P. McDermott

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Automated Theory Formation in Mathematics.

Douglas B. Lenat

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

Computers and Thought Lecture: The Ubiquity of Discovery.

Douglas B. Lenat

Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977

1976

AM, an artificial intelligence approach to discovery in mathematics as heuristic search.

Douglas B. Lenat

PhD thesis, 1976

1975

BEINGS: Knowledge as Interacting Experts.

Douglas B. Lenat

Proceedings of the Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, 1975