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

人工智能和计算数学理论研讨会，加利福尼亚州斯坦福大学，1991 年 9 月 6-7 日

• 批准号: 9119326
• 负责人: Jeffrey Ullman
• 金额: $ 1.15万
• 依托单位: Stanford University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-09-01 至 1992-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9119326&HistoricalAwards=false
• 关键词: Symposium; Artificial; Intelligence; Mathematical; Theory

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.

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