CYC: Toward Programs With Common Sense.

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

Published in: Commun. ACM (1990)

Keyphrases

knowledge base
computer programs
predicate calculus
control structures
real time
world knowledge
prolog programs
database
inference engine