Lenat DB
Commun. ACM
Verbosity: a game for collecting common-sense facts.
AutoTutor: A simulation of a human tutor.