Artificial Intelligence, Volume 14

Volume 14, Number 1, August 1980

• Gerald J. Sussman, Guy L. Steele Jr.: CONSTRAINTS - A Language for Expressing Almost-Hierarchical Descriptions. 1-39 BibTeX
• Richard E. Korf: Toward a Model of Representation Changes. 41-78 BibTeX
• Robin J. Popplestone, A. P. Ambler, I. M. Bellos: An Interpreter for a Language for Describing Assemblies. 79-107 BibTeX

• Michael Brady: Stuart C. Shapiro, Techniques of Artificial lntelligence. 109-110 BibTeX
• K. Prazdny: J. Green (editor), Cognitive Psychology. An Open University course units Prepared by a Collective of Authors and Editet by J. Creen. 110-112 BibTeX

Volume 14, Number 2, September 1980

• Judea Pearl: Asymptotic Properties of Minimax Trees and Game-Searching Procedures. 113-138 BibTeX
• Steven A. Vere: Multilevel Counterfactuals for Generalizations of Relational Concepts and Productions. 139-164 BibTeX
• David Wilkins: Using Patterns and Plans in Chess. 165-203 BibTeX

• Hans J. Berliner: Backgammon Computer Program Beats World Champion. 205-220 BibTeX

Volume 14, Number 3, October 1980

• Frank M. Brown: An Investigation Into the Goals of Research in Automatic Theorem Proving as Related to Mathematical Reasoning. 221-242 BibTeX
• Wolfgang Bibel: Syntax-Directed, Semantics-Supported Program Synthesis. 243-261 BibTeX
• Robert M. Haralick, Gordon L. Elliott: Increasing Tree Search Efficiency for Constraint Satisfaction Problems. 263-313 BibTeX