Artificial Intelligence, Volume 16

Volume 16, Number 1, March 1981

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

Volume 16, Number 2, May 1981

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

Volume 16, Number 3, July 1981

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