Artificial Intelligence, Volume 12

Volume 12, Number 1, May 1979

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

Volume 12, Number 2, August 1979

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

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

Volume 12, Number 3, November 1979

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