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
  

Last update Sat May 18 20:00:36 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page