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