Artificial Intelligence, Volume 16

Volume 16, Number 1, March 1981

• John Darlington: An Experimental Program Transformation and Synthesis System. 1-46
• David A. Plaisted: Theorem Proving with Abstraction. 47-108

Volume 16, Number 2, May 1981

• Mark Stefik: Planning with Constraints (MOLGEN: Part 1). 111-140
• Mark Stefik: Planning and Meta-Planning (MOLGEN: Part 2). 141-170
• Derek H. Sleeman, M. J. Smith: Modelling Student's Problem Solving. 171-188
• Alan Bundy, Bob Welham: Using Meta-Level Inference for Selective Application of Multiple Rewrite Rule Sets in Algebraic Manipulation. 189-212
• Edwin P. D. Pednault, Steven W. Zucker, L. V. Muresan: On the Independence Assumption Underlying Subjective Bayesian Updating. 213-222

Volume 16, Number 3, July 1981

• Eugene Charniak: A Common Representation for Problem-Solving and Language-Comprehension Information. 225-255
• Thomas G. Dietterich, Ryszard S. Michalski: Inductive Learning of Structural Descriptions: Evaluation Criteria and Comparative Review of Selected Methods. 257-294
• Jaime G. Carbonell: Counterplanning: A Strategy-Based Model of Adversary Planning in Real-World Situations. 295-329
• Richard Fikes: Odyssey: A Knowledge-Based Assistant. 331-361