0004-3702

Artificial Intelligence (AI) - Volume 12, Issue 2 论文列表

本期论文列表
An experiment in knowledge-based automatic programming

Interactive transfer of expertise: Acquisition of new inference rules

Using rewriting rules for connection graphs to prove theorems

A minimax algorithm better than alpha-beta?

Pattern-directed inference systems: Hayes-Roth, R. and Waterman, D. A., Academic Press, New York, $33.00, £21.45.

La Jolla Conference on Cognitive Science : August 13–16, 1979, La Jolla, California

Lambda-Calculus Conference : Swansea 16–22 September 1979