Artificial Intelligence, Volume 12

Volume 12, Number 1, May 1979

• Michael A. Bauer:
  Programming by Examples. 1-21
  
• Hans J. Berliner:
  The B^* Tree Search Algorithm: A Best-First Proof Procedure. 23-40
  
• Kokichi Sugihara:
  Range-Data Analysis Guided by a Junction Dictionary. 41-69
  

Volume 12, Number 2, August 1979

• David R. Barstow:
  An Experiment in Knowledge-Based Automatic Programming. 73-119
  
• Randall Davis:
  Interactive Transfer of Expertise: Acquisition of New Inference Rules. 121-157
  
• Chin-Liang Chang, James R. Slagle:
  Using Rewriting Rules for Connection Graphs to Prove Theorems. 159-178
  
• George C. Stockman:
  A Minimax Algorithm Better than Alpha-Beta? 179-196
  

• Richard Young:
  R. Hayes-Roth and D. A. Waterman, Pattern-Directed Inference Systems. 197-202
  

Volume 12, Number 3, November 1979

• Frank M. Brown, Sten-Åke Tärnlund:
  Inductive Reasoning on Recursive Equations. 207-229
  
• Jon Doyle:
  A Truth Maintenance System. 231-272
  
• Roger C. Schank:
  Interestingness: Controlling Inferences. 273-297
  

Last update Fri May 25 08:52:19 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page