http:^^www.cs.utexas.edu^users^qr^whats-new.html

This data set contains WWW-pages collected from computer science departments of various universities

<h2>Temporal Logic, and Related QSIM Formalization</h2>

 <ul>

<li> (2-8-96)
Benjamin Shults and Benjamin Kuipers.  1996.
<!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><!WA36><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Shults+Kuipers-tr-AI96-244.ps.Z">
<b>Qualitative simulation and temporal logic: 
proving properties of continuous systems</b></a>.
University of Texas Artificial Intelligence Laboratory TR AI96-244, January 1996.
 <P>

<li> (2-8-96)
Benjamin Shults.  1996.
<!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><!WA37><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Shults-tr-AI96-245.ps.Z">
<b>Toward a reformalization of QSIM</b></a>.
University of Texas Artificial Intelligence Laboratory TR AI96-245, January 1996.
 <P>

 </ul>

<hr>

<h2>Reviews of the QR Book</h2>

 <ul>

  <li> (1-26-96) The <!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><!WA38><a href="http://www.cs.utexas.edu/users/qr/QR-book.html">QR Book page</a> is
updated to include three known book reviews: IEEE Expert, ACM
Computing Reviews, and AI Magazine.

 </ul>

<hr>

<h2>QSIM in Parallel Hardware</h2>

 <ul>

  <li> (1-11-96)  Added to <!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><!WA39><A HREF="http://www.cs.utexas.edu/users/qr/qsim-users.html">Qsim Users</A> page.  <P>

A significant barrier to application of QSIM to large-scale problems is the
efficiency of qualitative simulation.  Recently, a group at T.U. Graz in Austria
have designed and implemented a special-purpose parallel hardware architecture
for qualitative simulation.  See their Web page and published papers. <P>

<!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><!WA40><a href="http://fitids01.tu-graz.ac.at/research/qsim.html">
Reinhold Weiss, Marco Platzner, Bernhard Rinner</a>, T.U. Graz, Austria.

 </ul>

<hr>

<h2>Old (But Good) Papers Added to Web Page.</h2>

 <ul>

  <li>  (2-28-96)   B. J. Kuipers.  1987.
<!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><!WA41><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers-jaie-88.ps.Z">
<b>Abstraction by time-scale in qualitative simulation</b></a>.
In <i> Proceedings of the National Conference on Artificial
Intelligence (AAAI-87).</i>  Los Altos, CA: Morgan Kaufman. <br>
(The ftp copy is missing two figures.)
  <p>

Reprinted in D. S. Weld & J. de Kleer (Eds.), <i> Readings in Qualitative Reasoning
about Physical Systems,</i> Los Altos, CA:  Morgan Kaufmann, 1990.
  <p>
[Superceded by <!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><!WA42><a href="http://www.cs.utexas.edu/users/qr/QR-book.html">QR book</a>, chapter 12.]  <p>

 <li> (2-22-96) Richard Froom.  1991.  
<!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><!WA43><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Froom-ieee91.ps.Z">
<b>Acquiring effective knowledge of environment geometry for
minimum-time control of a mobile robot</b></a>.  In <i> Proceedings of the 1991 IEEE
International Symposium on Intelligent Control</i>, pages 501-506, Arlington, VA,
August 13-15 1991.  <p>

 <li> (1-31-96)  D. Berleant & B. Kuipers.  1992.  <!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><!WA44><a
href="file://ftp.cs.utexas.edu/pub/qsim/papers/Berleant+Kuipers-raqp-92.ps.Z">
<b>Qualitative-numeric simulation with Q3.</b></a> In Boi Faltings and
Peter Struss (Eds.), <i> Recent Advances in Qualitative Physics,</i>
MIT Press, 1992. <br>
(The ftp file is missing several figures.)
 <p>

  <li>  (1-30-96)
 B. J. Kuipers.  1986.  
<!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><!WA45><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers-aij-86.ps.Z">
<b>Qualitative Simulation.</b></a>  
<i> Artificial Intelligence</i> 29: 289 - 338, 1986. <br>
(The ftp copy is missing five figures.)
  <p>

   <li> (1-18-96)
 B. J. Kuipers, C. Chiu, D. T. Dalle Molle & D. R. Throop.  1991.
<!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><!WA46><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers+Chiu+DalleMolle+Throop-AIJ-91.ps.Z">
<b>Higher-order derivative constraints in qualitative simulation.</b></a>
<i> Artificial Intelligence</i> 51:  343-379.
  <p>

  <li> (1-18-96)
 W. W. Lee & B. J. Kuipers.  1988.
<!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><!WA47><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Lee+Kuipers-AAAI93.ps.Z">
<b>Non-intersection of trajectories in qualitative phase space:  a
global constraint for qualitative simulation.</b></a>
In <i> Proceedings of the National Conference on Artificial
Intelligence (AAAI-88).</i>  Los Altos, CA:  Morgan Kaufmann, 1988.
  <p>

  <li> (1-16-96)  Hwee Tou Ng.  1991.  
<!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><!WA48><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Ng-ieex-91.ps.Z">
<b>Model-based, multiple fault diagnosis of time-varying,
continuous physical devices.</b></a>
<CITE>IEEE Expert</CITE> 6(6): 38-43, December 1991. <P>

 <li>  (1-4-96)
 D. Dvorak & B. J. Kuipers.  1989.
<!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><!WA49><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Dvorak+Kuipers-ijcai-89.ps.Z">
<b>Model-based monitoring of dynamic systems.</b></a>
In <i>Proceedings of the Eleventh International Joint Conference on 
Artificial Intelligence (IJCAI-89).</i>  Los Altos, CA:  Morgan Kaufman. <p>

  <li> (1-3-96)  J. M. Crawford & B. J. Kuipers.  1991.  
<!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><!WA50><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Crawford+Kuipers-sowa-91.ps.Z">
<b>ALL: formalizing access-limited reasoning.</b></a> In John Sowa (Ed.),
<i>Principles of Semantic Networks</i>, pp. 299-330.  San Mateo, CA:
Morgan Kaufmann.  <p>

 <li>  (1-3-96)  Daniel Dvorak & Benjamin Kuipers.  1991.
<!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><!WA51><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Dvorak+Kuipers-ieeex-91.ps.Z">
<b>Process monitoring and diagnosis:  a model-based approach.</b></a>
<i>IEEE EXPERT</i> 6(3):  67-74, June 1991. <p>

  <li>  (1-3-96)
B. J. Kuipers and J. P. Kassirer.  1984.
<!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><!WA52><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers+Kassirer-cogsci-84.ps.Z">
<b>Causal reasoning in medicine:  analysis of a protocol.</b></a>
<i> Cognitive Science</i> 8: 363-385.
 <p>

  <li> (1-2-96)  C. Chiu & B. J. Kuipers.  1992.  <!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><!WA53><a
href="file://ftp.cs.utexas.edu/pub/qsim/papers/Chiu+Kuipers-raqp-92.ps.Z">
<b>Comparative analysis and
qualitative integral representations.</b></a>   In Boi Faltings and
Peter Struss (Eds.), <i> Recent Advances in Qualitative Physics,</i> MIT
Press, 1992.
  <p>

  <li>  (12-29-95) B. J. Kuipers, A. J. Moskowitz, and J. P. Kassirer.  1988.
<!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><!WA54><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers+Moskowitz+Kassirer-cogsci-88.ps.Z">
<b>Critical Decisions Under Uncertainty:  Representation and Structure</b></a>.
<em>Cognitive Science</em> <B>12</B>: 177-210, 1988.  <P>

Reprinted in G. Shafer and J. Pearl (Eds.), <em>Readings in Uncertain Reasoning</em>,
San Mateo, CA:  Morgan Kaufmann Publishers, 1990.  <P>

 </ul>


<hr>

<h2>R++, based on Algernon, developed by AT+T Bell Labs.</h2>

 <ul>
  <li> (8-29-95) AT+T Bell Labs has created R++, a rule-based extension to C++,
       based on the ideas of access-limited logic developed in Algernon.
       <!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><!WA55><a href="http://akpublic.research.att.com:80/sw/tools/r++/">
       It is available</a> to university researchers.
 </ul>

<hr>

<h2>Five New and Old PhD Dissertations Now Available</h2>

<ul>

  <li> (11-20-95)  Raman Rajagopalan.  1995.  <B>Qualitative reasoning about
dynamic change in the spatial properties of a physical system.</B>
Doctoral dissertation, Department of Computer Sciences, The University
of Texas at Austin.

<!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><!WA56><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan-PhD-95.ps.Z">
[Get PS file]</a> <P>

 <li> (5-26-95)  Richard Froom.  1995.  <B>High-Speed Navigation with Approximate Maps</B>.
Doctoral dissertation, Department of Computer Sciences, The University of Texas
at Austin.

<!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><!WA57><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Froom-PhD-95.ps.Z">
[Get it.]</a> <P>


 <li> (5-26-95) David M. Pierce.  1995.  <B>Map Learning with
Uninterpreted Sensors and Effectors</B>.  Doctoral dissertation,
Department of Computer Sciences, The University of Texas at Austin.

<!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><!WA58><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Pierce-PhD-95.ps.Z">
[Get it.]</a> <P>

  <li> (5-30-95)  Jeff W. Rickel.  1995.  <B>Automated modeling of complex
systems to answer prediction questions.</B> Doctoral dissertation,
Department of Computer Sciences, The University of Texas at Austin.

<!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><!WA59><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Rickel-PhD-95.ps.Z">
[Get it.]</a> <P>

  <li> (6-13-95)  J. Daniel Berleant.  1991.  <b>The use of partial quantitative 
knowledge with qualitative reasoning.</b>  University of Texas at
Austin, Artificial Intelligence Laboratory, Technical Report AI
91-163.  (Doctoral dissertation, Department of Computer Sciences.)

<!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><!WA60><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Berleant-PhD-91.ps.Z">
[Get it.]</a> 
  <p>

</ul>


<hr>

<h2>The QR Book!</h2>

The QR book is available, and is the best reference (sometimes the only reference)
for many things related to QSIM.  See:  <P>

<ul>

 <li> <!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><!WA61><a href="http://www.cs.utexas.edu/users/qr/QR-book.html">The details</a>.

 <li> (12-6-94) Added copies of known book reviews.

</ul>




<hr>

<h2>New WWW Pages and Files</h2>

<ul>

 <li>  (3-20-95)  <!WA62><!WA62><!WA62><!WA62><!WA62><!WA62><!WA62><!WA62><!WA62><!WA62><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Dvorak-TR-AI-87-55.ps.Z">
Dan Dvorak's 1987 literature review </a> is now available.  <p>

Daniel L. Dvorak.  1987.  <b>Expert systems for monitoring and control.</b>
University of Texas at Austin, Artificial Intelligence Laboratory,
Technical Report AI 87-55.  <p>


  <li> (2-14-95)  <!WA63><!WA63><!WA63><!WA63><!WA63><!WA63><!WA63><!WA63><!WA63><!WA63><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Franke-PhD-92.ps.Z">
David Franke's PhD thesis</a> is now available.  <P>

David W. Franke.  1992.  <b>A theory of teleology.</b> Doctoral
dissertation, Computer Science Department, University of Texas at Austin, May 1992.
(Available as TR AI93-201.)  <P>


  <li> (12-13-94)  The <!WA64><!WA64><!WA64><!WA64><!WA64><!WA64><!WA64><!WA64><!WA64><!WA64><A HREF="http://www.cs.utexas.edu/users/qr/qsim-users.html">QSIM Users</A> page gives an overview
of other published work building on ours. <P>

 <li> (11-16-94)  <!WA65><!WA65><!WA65><!WA65><!WA65><!WA65><!WA65><!WA65><!WA65><!WA65><a href="file://ftp.cs.utexas.edu/pub/qsim/papers/Hayashi-PhD-91.ps.Z">
Akira Hayashi's PhD thesis</a> is now available on the Web. <P>

Akira Hayashi, <i>Geometrical Motion Planning for Highly
Redundant Manipulators Using a Continuous Manipulator Model</i>.
Doctoral dissertation, Department of Computer Sciences, University of
Texas at Austin, Austin, Texas.  May 1991.  (Available as TR
AI91-156.)  <P>


 <li> (8-31-94) New, expanded <!WA66><!WA66><!WA66><!WA66><!WA66><!WA66><!WA66><!WA66><!WA66><!WA66><A HREF="http://www.cs.utexas.edu/users/kuipers/yellow-pages.html">Yellow Pages</A> 
      added under <i>QR home</i>.  Replaces <i>Other Groups</i>.

 <li> (6-23-94) Crawford + Kuipers AAAI91 and SIGART91 papers on Algernon added.      
 <li> (6-21-94) <i>Swan's Neck</i> page added under <i>Robotics</i>.
 <li> (6-17-94) <i>What's New</i> and <i>Other Groups</i> pages (please send additions).
</ul>



<hr>

<h2>Recent Papers (1994)</h2>

 <ul>
  <li> <!WA67><!WA67><!WA67><!WA67><!WA67><!WA67><!WA67><!WA67><!WA67><!WA67><a href="http://www.cs.utexas.edu/users/qr/papers-QR.html#QPC"> Farquhar, AAAI-94</a>.
  <li> <!WA68><!WA68><!WA68><!WA68><!WA68><!WA68><!WA68><!WA68><!WA68><!WA68><a href="http://www.cs.utexas.edu/users/qr/robotics.html#new-papers"> Pierce & Kuipers, AAAI-94</a>.
  <li> <!WA69><!WA69><!WA69><!WA69><!WA69><!WA69><!WA69><!WA69><!WA69><!WA69><a href="http://www.cs.utexas.edu/users/qr/papers-QR.html#Spatial+Dynamic"> Rajagopalan, AAAI-94</a>.
  <li> <!WA70><!WA70><!WA70><!WA70><!WA70><!WA70><!WA70><!WA70><!WA70><!WA70><a href="http://www.cs.utexas.edu/users/qr/papers-QR.html#Tractable"> Clancy & Kuipers, QR-94</a>.
  <li> <!WA71><!WA71><!WA71><!WA71><!WA71><!WA71><!WA71><!WA71><!WA71><!WA71><a href="http://www.cs.utexas.edu/users/qr/papers-QR.html#QPC"> Farquhar & Brajnik, QR-94</a>.
  <li> <!WA72><!WA72><!WA72><!WA72><!WA72><!WA72><!WA72><!WA72><!WA72><!WA72><a href="http://www.cs.utexas.edu/users/qr/papers-QR.html#MISQ"> Ramachandran, Mooney & Kuipers, QR-94</a>.
  <li> <!WA73><!WA73><!WA73><!WA73><!WA73><!WA73><!WA73><!WA73><!WA73><!WA73><a href="http://www.cs.utexas.edu/users/qr/papers-QR.html#TL"> Kuipers & Shults, KR-94 and QR-94</a>.
  <li> <!WA74><!WA74><!WA74><!WA74><!WA74><!WA74><!WA74><!WA74><!WA74><!WA74><a href="http://www.cs.utexas.edu/users/qr/papers-QR.html#HC"> Kuipers & Astrom, Automatica, 1994</a>.
 </ul>

<hr>
<!WA75><!WA75><!WA75><!WA75><!WA75><!WA75><!WA75><!WA75><!WA75><!WA75><a href="http://www.cs.utexas.edu/users/qr">[QR home]</a>

<address><!WA76><!WA76><!WA76><!WA76><!WA76><!WA76><!WA76><!WA76><!WA76><!WA76><a href="http://www.cs.utexas.edu/users/kuipers">BJK</a></address>