Qualitative Reasoning about the Physical World

Projects

• Help Wanted: Fruitful Problems in QR.
• A short abstract describes our approach to qualitative and semi-quantitative reasoning about the physical world.

People

Papers

• The indexed bibliography of our research papers is the best way to understand the areas we work in, to find out what papers are available, and to retrieve them via the Web.
• The QSIM Users page gives an overview of other published work building on ours.
• The What's New page lists papers and other news as they appear.

Products

• Obtaining Software (QSIM, Algernon, and QPC).
• QSIM FAQ: frequently asked questions about QSIM and its extensions
• FTP directory for software and other documents.