Name

Title                                             [Back to Proceedings main page]

 

Contents

 

Cover Page

Franz G. Amador and Daniel S. Weld

Multi-level Modeling of Populations

Daniel Berleant and Benjamin Kuipers

Combined Qualitative and Numerical Simulation with Q3

J. Crawford, A. Farquhar and B. Kuipers

QPC: A Compiler from Physical Models into Qualitative Differential Equations

Johan de Kleer

Compiling Devices and Processes

Keith Downing

The Qualitative Criticism of Circulatory Models via Bipartite Teleological Analysis

Richard J. Doyle, Leonard K. Charest, Loretta P. Falcone and Kirk Kandt

Addressing Information Overload in the Monitoring of Complex Physical Systems

Brian Falkenhainer and Kenneth D. Forbus

Compositional Modeling of Physical Systems

Kenneth D. Forbus and Brian Falkenhainer

Self-Explanatory Simulations: An Integration of Qualitative and Quantitative Knowledge

Pierre Fouché and Benjamin Kuipers

An Assessment of Current Qualitative Simulation Techniques

Thomas P. Hamilton

An Architecture for Real-Time Qualitative Reasoning

Joseph Hellerstein

Obtaining Quantitative Predictions from Monotone Relationships

Yumi Iwasaki

Reasoning with Multiple Abstraction Models

Hyun-Kyung Kim

Qualitative Kinematics of Linkages

Takashi Kiriyama, Tetsuo Tomiyama and Hiroyuki Yoshikawa

Qualitative Reasoning and Conceptual Design with Physical Features

Anil Nigam and R. Bhaskar

Qualitative Reasoning about a Large System Using Dimensional Analysis

Qiang Shen and Roy Leitch

Integrating Common-Sense and Qualitative Simulation by the Use of Fuzzy Sets

Gordon Skorstad

Clustered Causal Ordering

Peter van Beek

Reasoning about Qualitative Temporal Information

Jerry Weinberg, Sedar Uckun and Gautam Biswas

Qualitative Vector Algebra

Daniel Weld and Sanjaya Addanki

Task-Driven Model Abstraction

Brian C. Williams

Interaction-based Invention: Designing Novel Devices from First Principles

Colin P. Williams

Analytic Abduction from Qualitative Simulation