📄 http:^^www.cs.utexas.edu^users^qr^
字号:
MIME-Version: 1.0
Server: CERN/3.0
Date: Monday, 06-Jan-97 19:46:57 GMT
Content-Type: text/html
Content-Length: 2460
Last-Modified: Friday, 18-Oct-96 15:19:21 GMT
<title>Qualitative Reasoning Research at UTexas</title><!-- Changed by: Benjamin J. Kuipers, 30-Jan-1996 --><body bgcolor="#ffffff" text="#000000" link="#0000ee" vlink="551a8b" alink="ff0000"><h1>Qualitative Reasoning Research at UTexas</h1>The Qualitative Reasoning (QR) research group does research in several areas.<ul> <li> <!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><a href="http://www.cs.utexas.edu/users/qr/QR-overview.html"> Qualitative Reasoning about thePhysical World (QSIM)</a>. <p> <ul> <li> <!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><a href="http://www.cs.utexas.edu/users/qr/papers-QR.html"> Indexed bibliography</a> of ourresearch papers. <li> <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.utexas.edu/users/qr/qsim-users.html">QSIM Users</A>: applications of QSIM-like systems. </ul> <P> <li> <!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.utexas.edu/users/qr/robotics.html"> Spatial Reasoning and IntelligentRobotics (TOUR and SSH)</a>. <p> <ul> <li> <!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.utexas.edu/users/qr/robotics.html#robot-papers"> Indexed bibliography</a> of ourresearch papers. </ul> <P> <li> <!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/algernon.html"> Access-Limited Logic for KnowledgeRepresentation (Algernon)</a>. <p> <ul> <li> <!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><a href="http://www.cs.utexas.edu/users/qr/algernon.html#learning"> Indexed bibliography</a> of ourresearch papers. </ul> <P></ul>The QR group is supervised by Professor <!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><a href="http://www.cs.utexas.edu/users/kuipers"> BenjaminKuipers</a> (kuipers@cs.utexas.edu). It is part of the <!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><ahref="http://www.cs.utexas.edu/users/ai-lab"> Artificial Intelligence Lab</a> and the <!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><ahref="http://www.cs.utexas.edu/">Computer Science Department</a>, atthe <!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><a href="http://wwwhost.cc.utexas.edu/"> University of Texas atAustin</a>. <p><h2> Pointers </h2><ul> <li> <!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><a href="http://www.cs.utexas.edu/users/qr/whats-new.html"><b>What's New</b></a>. <p> <li> The <!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><a href="http://www.cs.utexas.edu/users/qr/QR-book.html">Qualitative Reasoning book</a> <p> <li> Graduate students: <ul> <li> <!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><a href="http://www.cs.utexas.edu/users/qr/QR-overview.html">in Qualitative Reasoning</a>, <li> <!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><a href="http://www.cs.utexas.edu/users/qr/robotics.html">in Robotics</a>, <li> <!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><a href="http://www.cs.utexas.edu/users/qr/algernon.html#Researchers">in Knowledge Representation</a>. </ul> <li> <!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><a href="http://www.cs.utexas.edu/users/qr/alumni.html">Alumni (including dissertations) and visitors</a> all over the world. <ul> <li> <!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><a href="http://www.cs.utexas.edu/users/qr/abstracts.html">Dissertation abstracts</a>, </ul> <li> <!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><a href="http://net.cs.utexas.edu/users/kuipers/yellow-pages.html">Yellow Pages</a>.</ul>Papers and software are most easily accessible via the research areadescriptions, but you can also visit our: <ul> <li> <!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/"> FTP directory for papers</a>; <li> <!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><a href="file://ftp.cs.utexas.edu/pub/qsim/"> FTP directory for software and other documents</a>. </ul><hr><address><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><a href="http://www.cs.utexas.edu/users/kuipers">BJK</a></address>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -