他们试图将新的证明发表到《符号逻辑学报》中，但它被拒绝的理由是一个基本数学定理的新证明并不值得注意，显然忽略了其中一个作者是计算机程序的事实。纽厄尔和西蒙建立了长久的合作伙伴关系，创建了其中一个最早的人工智能实验室，并开发和发展了一系列富有影响力的人工智能程序和理念，包括通用解难器、Soar及认知统一理论。
逻辑理论家对人工智能的影响.逻辑理论家引入了几个对人工智能研究至关重要的概念： 
哲学意涵.帕梅拉·麦科杜克写道，逻辑理论家“积极地展示了机器具