|
Name |
Title |
| Contents | |
| Introduction | |
|
Christopher Bailey-Kellogg, Feng Zhao and Kenneth Yip |
|
|
Daniel Bobrow, Brian Falkenhainer, Adam Farquhar, Richard Fikes, Kenneth Forbus, Thomas Gruber, Yumi Iwasaki and Benjamin Kuipers |
|
|
Giorgio Brajnik and Daniel J. Clancy |
Temporal Constraints on Trajectories in Qualitative Simulation |
|
Antonio C. Capelo, Liliana Ironi and Stefania Tentoni |
The Need for Qualitative Reasoning in Automated Modeling: A Case Study |
| Kees de Koning and Bert Bredeweg | |
|
Jonathan H. Fernyhough |
|
| Juan Flores and Art Farley | |
| Kenneth D. Forbus |
Self-Explanatory Simulators for Middle-School Science Education: A Progress Report |
|
Ioa S. Gavrila, Bert Bredeweg and Piet Iedema |
|
| Ashok K. Goel | |
| John M. Gooday and Anthony G. Cohn | |
| Ulrich Heller and Peter Struss |
Transformation of Qualitative Dynamic Models: Application in Hydro-Ecology |
| Yoshiteru Ishida and Atusi Nogi |
Reasoning about Structure of Interval Systems: An Approach by Sign Directed-Graph |
| Benjamin Kuipers | |
| Monika Lundell | |
| Andreas Malik and Peter Struss |
Diagnosis of Dynamic Systems Does Not Necessarily Require Simulation |
|
Richard S. Mallory, Bruce W. Porter and Benjamin J. Kuipers |
|
| Jakob Mauss and Bernd Neumann |
Qualitative Reasoning about Electrical Circuits Using Series-Parallel-Star Trees |
| Silvia Miksch, Werner Horn, Christian Popow and Franz Paky |
Context-Sensitive and Expectation-Guided Temporal Abstraction of High-Frequency Data |
| Pieter J. Mosterman and Gautam Biswas | |
| Takenao Ohkawa, Shinya Hata and Norihisa Komoda |
Backward Qualitative Simulation of Structural Model for Strategy Planning |
| Satoru Oishi and Shuichi Ikebuchi | |
| Yusuf Pisan |
Using Qualitative Representations in Controlling Engineering Problem Solving |
| Chris Price and David Pugh | |
| T. Sakao, Y. Umeda, T. Tomiyama and Y. Shimomura |
Model-Based Automatic Generation of Sequence Control Programs from Design Information |
| Paulo S.B.A. Salles, Robert I. Muetzelfeldt and Helen Pain |
Qualitative Models in Ecology and their Use in Intelligent Tutoring Systems |
| Y. Shimomura, K. Ogawa, S. Tanigawa, Y. Umeda and T. Tomiyama | |
| Reinhard Stolle and Elizabeth Bradley | |
| László Teleki |
Constraint Logic Programming: A Framework for Qualitative Reasoning |
| Vladimir Vissikirsky |
Formation of Qualitative Knowledge Obtained from Quantitative Simulation of Mechanisms |
| Takashi Washio and Hiroshi Motoda | |
| Brian C. Williams and Bill Millar | |
| Brian C. Williams and P. Pandurang Nayak | |
| Masaki Yumoto, Takenao Ohkawa, Norihisa Komoda and Fusachika Miyasaka | |
| Qi Zhao and Toyoaki Nishida |
Using Qualitative Correlations as Evidence of Uncertain Reasoning |
| Zhifeng Zhuang and Paul M. Frank |
Observation Filtering: From Qualitative Simulation to Qualitative Observer |