Artificial Intelligence, Volume 31

Volume 31, Number 1, January 1987

• Kurt VanLehn: Learning one Subprocedure per Lesson. 1-40
• David W. Etherington: Formalizing Nonmonotonic Reasoning Systems. 41-85

• Peter L. Mott: A Theorem on the Consistency of Circumscription. 87-98
• Ronald R. Yager: Using Approximate Reasoning to Represent Default Knowledge. 99-112

Volume 31, Number 2, February 1987

• Deepak Kapur, David R. Musser: Proof by Consistency. 125-157
• Jonathan Connell, Michael Brady: Generating and Generalizing Models of Visual Objects. 159-183

• T. Anthony Marsland, Alexander Reinefeld, Jonathan Schaeffer: Low Overhead Alternatives to SSS. 185-199
• Donald Perlis: Circumscribing with Sets. 201-211

• André Vellino: T. Winograd and F. Flores, Understanding Computers and Cognition: A New Foundation for Design. 213-220
• Mark Stefik, Daniel G. Bobrow: T. Winograd and F. Flores, Understanding Computers and Cognition: A New Foundation for Design. 220-226
• Lucy A. Suchman: T. Winograd and F. Flores, Understanding Computers and Cognition: A New Foundation for Design. 227-232
• William J. Clancey: T. Winograd and F. Flores, Understanding Computers and Cognition: A New Foundation for Design. 232-250
• Terry Winograd, Fernando Flores: On ``Understanding Computers and Cognition: A New Foundation for Design''. A Response to the Reviews. 250-261

Volume 31, Number 3, March 1987

• Henry E. Kyburg Jr.: Bayesian and Non-Bayesian Evidential Updating. 271-293
• Bruce Randall Donald: A Search Algorithm for Motion Planning with Six Degrees of Freedom. 295-353
• David G. Lowe: Three-Dimensional Object Recognition from Single Two-Dimensional Images. 355-395