在英国会议会议中提出了麦卡锡的常识计划、塞维里希的理论、明斯基的启发式程序设计和人工智能的一些方法,演示人工智能程序第一次运行,1956年，麦卡锡将人工智能定义为达特茅斯会议的主题，这是第一次专门讨论会议,麦卡锡在1956年将人工智能定义为达特茅斯会议主题,人工智能发展简史。
top journal，通常指ACM计算机分类系统相关子领域中的“CCF推荐国际学术期刊及会议目录”和A类期刊及会议。另外，还有相关专家和团体的推荐。在人工智能领域，有很多“后起之秀”，比如最知名的四强社团AAAI、IJCAI、ICML、NeurIPS，还有计算机视觉、自然语言的代表CVPR、ACL。比如六年前才有一个深度学习峰会。还有EMNLP，成立于1996年，有赶超ACL的潜力。这些“新星会议”的崛起，让会议在AI领域显得异彩纷呈。
2、1956年 人工智能研究的主题是麦卡锡在1956年将人工智能定义为达特茅斯会议主题。1956年，麦卡锡将人工智能定义为达特茅斯会议的主题，这是第一次专门讨论会议，演示人工智能程序第一次运行。卡内基理工学院撰写出版了一本逻辑理论家的书，科学家提出人工智能，20世纪50年代后，IBM编写了第一个棋子游戏程序。此外，1958年，IBM提出了一个几何定理，以典型案例的形式使用语义模型，在英国会议会议中提出了麦卡锡的常识计划、塞维里希的理论、明斯基的启发式程序设计和人工智能的一些方法。人工智能发展简史，从20世纪50年代到60年代，剑桥推出了机器翻译设计的语义网。1961年，麻省理工学院编写了一个符号集成程序来解决微积分问题，此外，需要指出的是，在20世纪60年代之后，第一家工业机器人公司Unimation于1962年成立。埃文斯在麻省理工学院提出，机器可以解决与智商测试相关的类比问题，1965年，Robinson发明了机械证明程序，这使得程序可以有效地与形式逻辑一起工作。
