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

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

<LI>Adam Farquhar and Giorgio Brajnik. 1994. <B><!WA83><!WA83><!WA83><!WA83><!WA83><!WA83><!WA83><!WA83><!WA83><!WA83><!WA83><!WA83><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Farquhar+Brajnik-QR94.ps.Z">A
semi-quantitative physics compiler.</A></B> In <I>Working Papers of the
International Workshop on Qualitative Reasoning (QR-94),</I> 1994. </LI>

<LI>B. Falkenhainer, A. Farquhar, D. Bobrow, R. Fikes, K. Forbus, T. Gruber,
Y. Iwasaki, and B. Kuipers. 1994. <B><!WA84><!WA84><!WA84><!WA84><!WA84><!WA84><!WA84><!WA84><!WA84><!WA84><!WA84><!WA84><A HREF="http://www-ksl.stanford.edu/htw/dme/thermal-kb-tour/cml.ps">CML:
A Compositional Modeling Language</A></B>. Stanford University, Technical
Report KSL-94-16. </LI>

<LI>Jeff Rickel and Bruce Porter. 1994. <B><!WA85><!WA85><!WA85><!WA85><!WA85><!WA85><!WA85><!WA85><!WA85><!WA85><!WA85><!WA85><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rickel+Porter-AAAI94.ps.Z">Automated
modeling for answering prediction questions: selecting the time scale and
system boundary.</A></B> In <I>Proceedings of the National Conference on
Artificial Intelligence (AAAI-94),</I> AAAI/MIT Press, 1994. </LI>

<LI>Jeff W. Rickel. 1995. <B><!WA86><!WA86><!WA86><!WA86><!WA86><!WA86><!WA86><!WA86><!WA86><!WA86><!WA86><!WA86><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rickel-PhD-95.ps.Z">Automated
modeling of complex systems to answer prediction questions.</A></B> Doctoral
dissertation, Department of Computer Sciences, The University of Texas
at Austin. (Available as technical report AI95-234.) </LI>
</UL>

<P>
<HR></P>

<H3><A NAME="MISQ"></A>MISQ </H3>

<UL>
<LI>Bradley L. Richards, Ina Kraan and Benjamin J. Kuipers. 1992. <B><!WA87><!WA87><!WA87><!WA87><!WA87><!WA87><!WA87><!WA87><!WA87><!WA87><!WA87><!WA87><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Richards+Kraan+Kuipers-aaai-92.ps.Z">Automatic
abduction of qualitative models.</A></B> <I>Proceedings of the National
Conference on Artificial Intelligence (AAAI-92)</I>, AAAI/MIT Press, 1992.
</LI>

<LI>S. Ramachandran, R. J. Mooney &amp; B. J. Kuipers. 1994. <B><!WA88><!WA88><!WA88><!WA88><!WA88><!WA88><!WA88><!WA88><!WA88><!WA88><!WA88><!WA88><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Ramachandran+Mooney+Kuipers-QR94.ps.Z">Learning
qualitative models for systems with multiple operating regions.</A></B>
In <I>Working Papers of the Eighth International Workshop on Qualitative
Reasoning about Physical Systems (QR-94)</I>, Nara, Japan. </LI>
</UL>

<P>
<HR></P>

<H2><A NAME="QR-Apps"></A>Applying Qualitative Reasoning </H2>

<P>
<HR></P>

<H3><A NAME="MIMIC"></A>Monitoring Continuous Systems </H3>

<UL>
<LI>Charles Perrow. 1984. <I>Normal Accidents: Living With High-Risk Technologies.</I>
New York: Basic Books. (This book motivates the MIMIC approach to system
monitoring.) </LI>

<LI>Daniel L. Dvorak. 1987. <B><!WA89><!WA89><!WA89><!WA89><!WA89><!WA89><!WA89><!WA89><!WA89><!WA89><!WA89><!WA89><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Dvorak-TR-AI-87-55.ps.Z">Expert
systems for monitoring and control.</A></B> University of Texas at Austin,
Artificial Intelligence Laboratory, Technical Report AI 87-55. (Literature
review.)</LI>

<LI>D. Dvorak &amp; B. J. Kuipers. 1989. <B><!WA90><!WA90><!WA90><!WA90><!WA90><!WA90><!WA90><!WA90><!WA90><!WA90><!WA90><!WA90><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Dvorak+Kuipers-ijcai-89.ps.Z">Model-based
monitoring of dynamic systems.</A></B> In <I>Proceedings of the Eleventh
International Joint Conference on Artificial Intelligence (IJCAI-89).</I>
Los Altos, CA: Morgan Kaufman. </LI>

<LI>Daniel Dvorak &amp; Benjamin Kuipers. 1991. <B><!WA91><!WA91><!WA91><!WA91><!WA91><!WA91><!WA91><!WA91><!WA91><!WA91><!WA91><!WA91><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Dvorak+Kuipers-ieeex-91.ps.Z">Process
monitoring and diagnosis: a model-based approach.</A></B> <I>IEEE EXPERT</I>
6(3): 67-74, June 1991. </LI>

<LI>Herbert Kay. 1991. <B><!WA92><!WA92><!WA92><!WA92><!WA92><!WA92><!WA92><!WA92><!WA92><!WA92><!WA92><!WA92><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kay-MA-91.ps.Z">Monitoring
and diagnosis of multitank flows using qualitative reasoning.</A></B> (Master's
thesis, Department of Computer Sciences, The University of Texas at Austin.)
</LI>

<LI>Daniel L. Dvorak. 1992. <B><!WA93><!WA93><!WA93><!WA93><!WA93><!WA93><!WA93><!WA93><!WA93><!WA93><!WA93><!WA93><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Dvorak-PhD-92.ps.Z">Monitoring
and diagnosis of continuous dynamic systems using semiquantitative simulation.</A></B>
University of Texas at Austin, Artificial Intelligence Laboratory, Technical
Report AI 92-170. (Doctoral dissertation, Department of Computer Sciences.)</LI>

<P>This report provides the definitive description of the MIMIC monitoring
system. </P>
</UL>

<P>
<HR></P>

<H3><A NAME="DX"></A>Diagnosis of Continuous Systems </H3>

<UL>
<LI>David Throop. 1991. <B><!WA94><!WA94><!WA94><!WA94><!WA94><!WA94><!WA94><!WA94><!WA94><!WA94><!WA94><!WA94><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Throop-PhD-91.ps.Z">Model-Based
Diagnosis of Complex, Continuous Mechanisms.</A></B> Doctoral dissertation,
Department of Computer Sciences, University of Texas at Austin, Austin,
Texas. August 1991. </LI>

<LI>Hwee Tou Ng. 1991. <B><!WA95><!WA95><!WA95><!WA95><!WA95><!WA95><!WA95><!WA95><!WA95><!WA95><!WA95><!WA95><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Ng-ieex-91.ps.Z">Model-based,
multiple fault diagnosis of time-varying, continuous physical devices.</A></B>
<I>IEEE Expert</I> 6(6): 38-43, December 1991. </LI>

<LI>Siddarth Subramanian and Raymond J. Mooney. 1994. <B><!WA96><!WA96><!WA96><!WA96><!WA96><!WA96><!WA96><!WA96><!WA96><!WA96><!WA96><!WA96><A HREF="file://ftp.cs.utexas.edu:/pub/mooney/papers/qdocs-dx94.ps.Z">Multiple-fault
diagnosis using general qualitative models with fault modes.</A></B> In
<I>Working Papers of the Fifth International Workshop on Principles of
Diagnosis</I>, 1994. </LI>

<LI>Siddarth Subramanian and Raymond J. Mooney. 1996. <B><!WA97><!WA97><!WA97><!WA97><!WA97><!WA97><!WA97><!WA97><!WA97><!WA97><!WA97><!WA97><A HREF="file://ftp.cs.utexas.edu:/pub/mooney/papers/qdocs-aaai-96.ps.Z">Qualitative
multiple-fault diagnosis of continuous dynamic systems using behavioral
modes.</A></B> In <I>Proceedings of the National Conference on Artificial
Intelligence (AAAI-96),</I> AAAI/MIT Press, 1996. </LI>
</UL>

<P>
<HR></P>

<H3><A NAME="SS-RCS"></A>The Space Shuttle Reaction Control System (RCS)
</H3>

<P>The following models are steps toward building qualitative models of
large-scale, realistic, mechanisms. </P>

<UL>
<LI>Herbert Kay. 1992. <B><!WA98><!WA98><!WA98><!WA98><!WA98><!WA98><!WA98><!WA98><!WA98><!WA98><!WA98><!WA98><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kay-AITR92-188.ps.Z">A
qualitative model of the space shuttle reaction control system.</A></B>
University of Texas at Austin, Artificial Intelligence Laboratory Technical
Report AI92-188. </LI>

<LI>Takashi Watanabe and Benjamin Kuipers. 1994. <!WA99><!WA99><!WA99><!WA99><!WA99><!WA99><!WA99><!WA99><!WA99><!WA99><!WA99><!WA99><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Takashi+Kuipers-draft-94.ps.Z"><B>Component
connection models of reaction control system.</B> </A>Manuscript, January
1994. </LI>

<P>This document presents a qualitative model of the Space Shuttle Reaction
Control System expressed within the component-connection ontology. The
model is based on the previous QSIM model developed by Herbert Kay [1992].
</P>
</UL>

<P>
<HR></P>

<H3><A NAME="Teleology"></A>Design, Purpose, and Teleological Reasoning
</H3>

<UL>
<LI>David W. Franke. 1989. <B>Representing and acquiring teleological descriptions.</B>
Model-Based Reasoning Workshop, IJCAI-89, Detroit, Michigan, August 1989.
</LI>

<LI>David W. Franke. 1991. <B>Deriving and using descriptions of purpose.</B>
<I>IEEE Expert,</I> April 1991, pp. 41-47. </LI>

<LI>David W. Franke. 1992. <B><!WA100><!WA100><!WA100><!WA100><!WA100><!WA100><!WA100><!WA100><!WA100><!WA100><!WA100><!WA100><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Franke-PhD-92.ps.Z">A
theory of teleology.</A></B> Doctoral dissertation, Computer Science Department,
University of Texas at Austin, May 1992. (Available as TR AI93-201.) </LI>
</UL>

<P>
<HR></P>

<H3><A NAME="Spatial+Dynamic"></A>Integrating Spatial and Dynamic Reasoning
</H3>

<UL>
<LI>David Throop. 1989. <B>Spatial unification: qualitative spatial reasoning
about steady-state mechanisms. </B>University of Texas at Austin, Artificial
Intelligence Laboratory TR AI89-95, 1989. </LI>

<LI>Raman Rajagopalan and Benjamin Kuipers. 1994. <B><!WA101><!WA101><!WA101><!WA101><!WA101><!WA101><!WA101><!WA101><!WA101><!WA101><!WA101><!WA101><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan+Kuipers-CAIA94.ps.Z">Qualitative
spatial reasoning about objects in motion: application to physics problem
solving.</A></B> <I>Proceedings Tenth IEEE Conference on Artificial Intelligence
for Applications (CAIA-94)</I>, San Antonio, TX, March 1994. </LI>

<LI>Raman Rajagopalan. 1994. <B><!WA102><!WA102><!WA102><!WA102><!WA102><!WA102><!WA102><!WA102><!WA102><!WA102><!WA102><!WA102><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan-AAAI94.ps.Z">A
model for integrated qualitative spatial and dynamic reasoning about physical
systems.</A></B> In <I>Proceedings of the National Conference on Artificial
Intelligence (AAAI-94),</I> AAAI/MIT Press, 1994. </LI>

<LI>Raman Rajagopalan. 1995. <B><!WA103><!WA103><!WA103><!WA103><!WA103><!WA103><!WA103><!WA103><!WA103><!WA103><!WA103><!WA103><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan-PhD-95.ps.Z">Qualitative
reasoning about dynamic change in the spatial properties of a physical
system.</A></B> Doctoral dissertation, Department of Computer Sciences,
The University of Texas at Austin. (Available as TR AI95-241.) </LI>
</UL>

<H4>Qualitative Spatial Representation</H4>

<UL>
<LI>Rajagopalan, R. 1993. <B><!WA104><!WA104><!WA104><!WA104><!WA104><!WA104><!WA104><!WA104><!WA104><!WA104><!WA104><!WA104><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan-GIS-wkshp93.ps.Z">A
model of spatial position based on extremal points.</A></B> <I>Proceedings
ACM Workshop on Advances in Geographic Information Systems</I>, Arlington,
VA, November 1993. <BR>
Discussion of representation for spatial reasoning. </LI>

<LI>Rajagopalan, R. 1994. <B><!WA105><!WA105><!WA105><!WA105><!WA105><!WA105><!WA105><!WA105><!WA105><!WA105><!WA105><!WA105><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan-aaai94-spat-reas-wkshp.ps.Z">On
shape abstractions for qualitative spatial reasoning.</A></B> <I>Working
notes of the AAAI Workshop on Spatial and Temporal Reasoning</I>, AAAI-94,
Seattle, WA, 1994. <BR>
Further descriptions of spatial representation. Emphasis on comparison
with other methods. </LI>

<LI>Rajagopalan, R. and B. Kuipers. 1994. <B><!WA106><!WA106><!WA106><!WA106><!WA106><!WA106><!WA106><!WA106><!WA106><!WA106><!WA106><!WA106><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan+Kuipers-IEA-AIE94.ps.Z">The
Figure Understander: a system for integrating text and diagram input to
a knowledge base.</A></B> <I>Proceedings Seventh International Conference
on Industrial and Engineering Applications of Artificial Intelligence and
Expert Systems (IEA/AIE-94)</I>, Austin, TX, May 1994. <BR>
Details of implemented system for integrating graphical and text input
to a knowledge base. </LI>

<LI>Rajagopalan, R. 1994. <B><!WA107><!WA107><!WA107><!WA107><!WA107><!WA107><!WA107><!WA107><!WA107><!WA107><!WA107><!WA107><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan-aaai94-NLP-vision-wkshp.ps.Z">Integrating
text and graphical input to a knowledge base</A></B>. <I>Working note of
the AAAI Workshop on Integration of Natural Language and Vision Processing</I>,
AAAI-94, Seattle, WA, 1994. <BR>
Further extensions of work on integrating diagrammatic and text input to
a knowledge base. </LI>

<LI>Raman Rajagopalan. 1995. <B><!WA108><!WA108><!WA108><!WA108><!WA108><!WA108><!WA108><!WA108><!WA108><!WA108><!WA108><!WA108><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Rajagopalan-airev-95.ps.Z">Picture
Semantics for Integrating Text and Diagram Input</A></B>. <I>Artificial
Intelligence Review</I> <B>10</B>(3-4). Special issue on Integration of
Natural Language and Vision Processing, Recent Advances Volume. <BR>
</LI>
</UL>

<P>
<HR></P>

<H3><A NAME="HC"></A>Heterogeneous Control </H3>

<UL>
<LI>Benjamin Kuipers &amp; Karl Astrom. 1991. <B><!WA109><!WA109><!WA109><!WA109><!WA109><!WA109><!WA109><!WA109><!WA109><!WA109><!WA109><!WA109><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers+Astrom-acc-91.ps.Z">The
composition of heterogeneous control laws.</A></B> In <I>Proceedings of
the American Control Conference,</I> 1991, p.630-636. </LI>

<P><!WA110><!WA110><!WA110><!WA110><!WA110><!WA110><!WA110><!WA110><!WA110><!WA110><!WA110><!WA110><A HREF="http://www.cs.utexas.edu/users/qr/papers-hc.html">Abstract </A></P>

<P>Reprinted in Abraham Kandel &amp; Gideon Langholz (Eds.), <I>Fuzzy Control
Systems,</I> CRC Press, 1993, pp. 243-261. <BR>
Reprinted in R. R. Yager &amp; L. A. Zadeh (Eds.), <I>Fuzzy Sets, Neural
Networks and Soft Computing</I>, Van Nostrand Reinhold, New York, 1994,
pp. 45-62. </P>

<LI>B. J. Kuipers and K. Astrom. 1994. <B><!WA111><!WA111><!WA111><!WA111><!WA111><!WA111><!WA111><!WA111><!WA111><!WA111><!WA111><!WA111><A HREF="file://ftp.cs.utexas.edu/pub/qsim/papers/Kuipers+Astrom-automatica-94.ps.Z">The
composition and validation of heterogeneous control laws.</A></B> <I>Automatica</I>
30(2): 233--249. </LI>

<P><!WA112><!WA112><!WA112><!WA112><!WA112><!WA112><!WA112><!WA112><!WA112><!WA112><!WA112><!WA112><A HREF="http://www.cs.utexas.edu/users/qr/papers-hc.html">Abstract </A></P>
</UL>

<P>
<HR><!WA113><!WA113><!WA113><!WA113><!WA113><!WA113><!WA113><!WA113><!WA113><!WA113><!WA113><!WA113><A HREF="http://www.cs.utexas.edu/users/qr">[QR home]</A> </P>

<ADDRESS><!WA114><!WA114><!WA114><!WA114><!WA114><!WA114><!WA114><!WA114><!WA114><!WA114><!WA114><!WA114><A HREF="http://www.cs.utexas.edu/users/kuipers">BJK</A></ADDRESS>

</BODY>
</HTML>