Artificial Intelligence: From programs to solvers
Cyc: toward programs with common sense