CS.NOVAK@UTEXAS-20.ARPA (07/30/84)
From: Gordon Novak Jr. <CS.NOVAK@UTEXAS-20.ARPA> The University of Texas at Austin will hold an open house and series of demonstrations during AAAI-84. The demonstrations will be from 7-9 PM on Tuesday, August 7. The demonstrations are not listed in the conference schedule, but a brochure describing them and showing where they are located will be provided in the registration packet. Bus service will be provided. The demonstrations will include: J. K. Aggarwal Laboratory for Image and Signal Analysis R. S. Boyer, J S. Moore The Boyer-Moore Theorem Prover Shang-Ching Chou Geometry Provers Based on Wu's Algorithm Larry Hines Inequality Theorem Prover W. Lehmann, O. Gajek, METAL German-to-English Machine Translation J. Slocum, J. White, B. Root Robert Levinson A Self-Organizing Retrieval System for Graphs Gordon Novak GLISP Language and GEV Data Inspector Gordon Novak ISAAC Physics Problem Solver Elaine Rich, William Murray Automatic Debugging System for LISP Robert F. Simmons, Chin Chee Device Simulation Robert F. Simmons An English to Horn Clause Translation System