MIME-Version: 1.0 Server: CERN/3.0 Date: Tuesday, 07-Jan-97 15:51:26 GMT Content-Type: text/html Content-Length: 21445 Last-Modified: Tuesday, 03-Dec-96 23:03:27 GMT What's New at the QR Group

What's New at the QR Group

These are recent changes. See the Qualitative Reasoning Research Group home page for a more complete description of our work, in several areas.


Another review of the QR Book.

(12-3-96) See the QR book page for other reviews.

Bert Kay doctoral dissertation on SQSIM and SQUID

(11-18-96) Bert Kay has completed an outstanding doctoral dissertation on semi-quantitative simulation (SQSIM) and semi-quantitative system identification (SQUID).

Shults & Kuipers paper in AIJ

(11-7-96) The AIJ will soon publish a paper describing our work on proving statements in temporal logic by model-checking against the behavior graph predicted by QSIM.

Pierce & Kuipers paper in AIJ

(11-7-96) The AIJ will soon publish a paper describing David Pierce's dissertation research on how a robot starting with uninterpreted sensors and effectors can learn to understand both its own sensorimotor capabilities and its environment.

Spatial Semantic Hierarchy for a Physical Mobile Robot

(10-17-96) Wan Yik Lee has finished his long-awaited dissertation on implementing the SSH on a physical robot, our RWI B12, named Spot.

New Conference Papers: QR-96, TIME-96, and AAAI-96


Old (But Good) Papers Added to Web Page.


SQsim: Major Progress in Semi-Quantitative Reasoning


Robot Learning with Uninterpreted Sensors and Effectors


See our Post-Doctoral Fellow Ad!


Temporal Logic, and Related QSIM Formalization


Reviews of the QR Book


QSIM in Parallel Hardware


Old (But Good) Papers Added to Web Page.


R++, based on Algernon, developed by AT+T Bell Labs.


Five New and Old PhD Dissertations Now Available


The QR Book!

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


New WWW Pages and Files


Recent Papers (1994)


[QR home]
BJK