Artificial Intelligence, Volume 31

Volume 31, Number 1, January 1987

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

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

Volume 31, Number 2, February 1987

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

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

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

Volume 31, Number 3, March 1987

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