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.