http:^^www.cs.utexas.edu^users^ai-lab^

来自「This data set contains WWW-pages collect」· EDU^USERS^AI-LAB^ 代码 · 共 95 行

MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:47:56 GMT
Content-Type: text/html
Content-Length: 3263
Last-Modified: Wednesday, 22-May-96 21:30:19 GMT

<title>UT Artificial Intelligence Laboratory</title>

<h1>UT Artificial Intelligence Laboratory</h1>

The Artificial Intelligence Laboratory at
<!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><a href="http://wwwhost.cc.utexas.edu/">The University of Texas at Austin</a>
has a distinguished history and a large number of excellent faculty and
graduate students.
<p>
U.S. News and World Report (3/18/96) ranked our AI program 5th in the nation.
<p>
The AI Lab is closely linked with the
<!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><a href="http://www.cs.utexas.edu/"> UT Computer Science Department</a>.


<h2> Faculty </h2>

<ul>
 <li> <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.utexas.edu/users/boyer">Bob Boyer</a>
       --- Automated Theorem Proving
<li>
  <!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><a href="http://www.dla.utexas.edu/depts/philosophy/faculty/causey/main.html">
       Robert L. Causey</a>
       ---  Logic and philosophical foundations
<li> <!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.utexas.edu/users/kuipers">Benjamin Kuipers</a>
       --- <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><a href="http://www.cs.utexas.edu/users/qr"> Qualitative Reasoning</a>
 <li> <!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><a href="http://www.cs.utexas.edu/users/vl">Vladimir Lifschitz</a>
       --- Reasoning about Action
 <li> <!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><a href="http://www.cs.utexas.edu/users/risto">Risto Miikkulainen</a>
       --- <!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><a href="http://www.cs.utexas.edu/users/nn"> Neural Networks</a>
 <li> Dan Miranker --- Rule-Based Systems
 <li> <!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><a href="http://www.cs.utexas.edu/users/mooney">Ray Mooney</a>
       --- <!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><a href="http://www.cs.utexas.edu/users/ml">Machine Learning</a>
 <li> <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><a href="http://www.cs.utexas.edu/users/novak">Gordon Novak</a> ---
      <!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><a href="http://www.cs.utexas.edu/users/novak/autop.html">Automatic
          Programming</a>,
      <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><a href="http://www.cs.utexas.edu/users/novak/physics.html">Physics
          Problem-Solving</a>.
 <li> <!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><a href="http://www.cs.utexas.edu/users/porter/">Bruce Porter</A> --- 
      <!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><a href="http://www.cs.utexas.edu/users/mfkb/index.html">Multi-Functional
          Knowledge Bases</A>
</ul>


<h2> Emeritus Faculty </h2>

<ul>
 <li> Woody Bledsoe (deceased Oct. 4, 1995) ---
 <!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><a href="http://www.ma.utexas.edu/users/bshults/ATP/home.html">Automated
   Theorem Proving</a> <br>
     <!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><A HREF="http://www.cs.utexas.edu/users/ai-lab/dream.html"><EM>I had a Dream</EM></A> (1984 AAAI Presidential
        Address). <P>

 <li> Robert F. Simmons --- <!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><A HREF="http://www.cs.utexas.edu/users/ai-lab/simmons.ps"><EM>In Memoriam</EM></A>
</ul>


<h2> Postdocs </h2>

<ul>
 <li> <!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><a href="http://www.cs.utexas.edu/users/pclark">Peter Clark</a>
 <li> <!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><a href="http://www.cs.utexas.edu/users/souther">Art Souther</a>
</ul>

<h2> Technical Reports and Software </h2>

FTP directories are currently available for:

<ul>
 <li> <!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><a href="file://ftp.cs.utexas.edu/pub/AI-Lab/tech-reports/">AI Lab
         Technical Reports</a>
 <li> <!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><a href="file://ftp.cs.utexas.edu/pub/bshults/ATP-tech-reports/">
         Automated Theorem Proving Technical Reports</a>
 <li> <!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><a href="file://ftp.cs.utexas.edu/pub/qsim/">Kuipers</a>
 <li> <!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><a href="file://ftp.cs.utexas.edu/pub/neural-nets/">Miikkulainen</a>
 <li> <!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><a href="file://ftp.cs.utexas.edu/pub/mooney/">Mooney</a>
 <li> <!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><a href="file://ftp.cs.utexas.edu/pub/novak/">Novak</a>
 <li> <!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><!WA27><a href="file://ftp.cs.utexas.edu/pub/porter/">Porter</a>
</ul>

<!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><!WA28><a href="http://www.cs.utexas.edu/users/ai-lab/ailabothers.html">
Pointers to Other AI Labs and AI Funding Agencies</A>

<hr>
Contact: <ADDRESS>[e-mail]</ADDRESS>

<hr>