A Conference on Automated Reasoning and Artificial Intelligence in Honor of W.W. Bledsoe (November 15-16, 1991,University of Texas, Austin)

这笔赠款将用于支持1991年11月15日和16日在 得克萨斯大学奥斯汀分校，关于自动化领域的研究 定理证明和人工智能。 研讨会将在 这是为了荣誉伍德罗布莱索而举行的，他是将 传统自动推理的归结和等价方法 用人工智能的启发式方法 高性能推理。 研讨会将提供一个机会， 分析这些领域的最新项目， 他们之间

This grant will support a symposium, November 15 and 16, l991 at the University of Texas at Austin, on the research areas of automatic theorem proving and artificial intelligence. The symposium will be held in honor of Woodrow Bledsoe, a leading figure in combining the resolution and equality approaches of traditional automated reasoning with the heuristic approaches of artificial intelligence to achieve high performance inference. The symposium will provide an opportunity to analyze recent programs in these areas and to further the interplay between them.