Formalizing Common Sense Papers by John McCarthy

Extending over a period of 30 years, this is a collection of papers written by John McCarthy on artificial intelligence. They range from informal surveys written for a general audience to technical discussions of challenging research problems that should be of interest to specialists.