|
Name |
Title |
| Contents | |
| Cover Page | |
| Preface | |
| Shinji Abe | |
| Franz Amador, Adam Finkelstein, and Daniel S. Weld | |
| Jonathan Amsterdam | |
| Prasanta Bose and Shankar A. Rajamoney | |
| Kouamana Bousson and Louise Travé-Massuyès | |
| A.C. Capelo, L. Ironi, and S. Tentoni | |
|
Daniel J. Clancy and Benjamin Kuipers |
|
| Philippe Dague | |
| Richard J. Doyle, Steve A. Chien, Usama M. Fayyad and E. Jay Wyatt |
Focused Real-time Systems Monitoring Based on Multiple Anomaly Models |
| Thomas Ellman, John Keane and Mark Schwabacher |
Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design |
| Patrice O. Gautier and Thomas R. Gruber |
Generating Explanations of Device Behavior Using Compositional Modeling and Causal Ordering |
| Yoshiteru Ishida |
A Qualitative System Theory: Introducing Global View into Qualitative Reasoning |
| Yumi Iwasaki and Alon Y. Levy | |
| Herbert Kay and Lyle H. Ungar | |
| Takashi Kiriyama and Tetsuo Tomiyama | |
| Wood W. Lee and Benjamin J. Kuipers | |
| Sui-ky Ringo Ling and Louis Steinberg | |
| Robert Milne and Louise Travé-Massuyès | |
| P. Pandurang Nayak | |
| Dorothy Neville and Daniel S. Weld | |
| Toyoaki Nishida |
Generating Quasi-symbolic Representation of Three-Dimensional Flow |
| Mahmoud Pegah, Jon Sticklen, William Bond and James K. McDowell |
Representing and Reasoning about Physical Systems from a Functional Viewpoint |
| Cis Schut and Bert Bredeweg | |
| Nikitas M. Sgouros |
Using Qualitative, Numerical and Heuristic Knowledge to support Innovative Design |
| Howard E. Shrobe | |
| Peter Struss |
On Temporal Abstraction in Qualitative Physics: A Preliminary Report |
| Devika Subramanian and Cheuk-San (Edward) Wang | |
| Shirley Tessler, Yumi Iwasaki and Kincho Law |
Qualitative Structural Analysis Using Diagrammatic Reasoning |
| Bernard Yannou | |
| Ke-Thia Yao and Andrew Gelsey |
Spatial Reasoning for Intelligent Control of Numerical Simulators |
| Kenneth Man-kam Yip |
Model Simplification by Asymptotic Order of Magnitude Reasoning |
| Kenneth Man-kam Yip |