Date: Tue, 07 Jan 1997 15:44:22 GMTServer: NCSA/1.4.2Content-type: text/html<title>Past Visitors and Collaborators</title><h1>Past Visitors and Collaborators</h1><ul><li>Dave Barker-Plummer<ul><li>Developed Gazer.<li>Also developed Z-match.<li>Currenly working on using information from diagrams to prove theorems.</ul><li>Bishop Brock<ul><li>Worked on analogy.</ul><li>Frank M. Brown<ul><li>Worked on a prover for set theory.</ul><li>Shuan Cooper<ul><li>Worked on analogy.</ul><li><!WA0><a href="http://www.cs.duke.edu/~amit/Ai.html">Don Loveland</a><ul><li>Works on the model elimination procedure and the use of lemmasin first-order logic proofs.</ul><li>Irena Pevac<ul><li>Worked on the Precondition Prover.</ul><li>William Pierce<ul><li>Worked on analogy.</ul><li>Randolph Wang<ul><li>Worked on the Precondition Prover.</ul><li> <em>This is an incomplete list.</em></ul><hr><em>Do you have feedback or want more information?  Contact </em><!WA1><ahref="http://www.ma.utexas.edu/users/bshults">Benjamin Shults</a>.<hr>