Symposium on Artificial Intelligence and the Mathematical Theory of Computation, Stanford, California, September 6-7, 1991

本次研讨会发表了关于人工智能与计算数学理论之间关系的原创论文。这些杰出作者的论文涵盖了这一主题的相关方面。它们大多是研究论文，也有一些是追踪该领域发展的历史论文。学术出版社将出版一卷研讨会论文集。预计研讨会将通过扩展现有的人工智能理论工作并将不同的人工智能理论分支聚集在一起，为人工智能领域做出贡献。这次活动于1991年9月6日和7日在斯坦福大学举行。约翰·麦卡锡教授是人工智能的领先先驱之一。研讨会表彰了他对该领域的重要贡献，许多演讲者是他的学生和同事。

This Symposium presents original papers on the relation of artificial intelligence to the mathematical theory of computation. These papers by distinguished authors cover the relevant aspects of this topic. They are mostly research papers and some are historical papers tracing the development of the field. A volume of proceedings of the Symposium is to be published by Academic Press. The Symposium is expected to make a contribution to the field of artificial intelligence by extending extant work on artificial intelligence theory and by bringing together diverse strands of it. This event is held at Stanford University on September 6 and 7, 1991. One of the leading pioneers of artificial intelligence is Professor John McCarthy. The Symposium recognizes his important contributions to the field and many of the presenters are his students and colleagues.