QR '96 Workshop Program
Monday, 20 May 1996
3 - 6 pm
Check-in and registration
6 - 7 pm
7 pm
Tuesday, 21 May 1996
7:30 - 8:15 am
8:15 - 8:45 am
8:45 - 9:00 am
9:00 - 10:20 am: Paper session 1 (chair: Adam Farquhar)
Automated Decomposition of Model-based Learning Problems
Brian C. Williams and Bill Millar
Diagnosis of Dynamic Systems Does Not Require Simulation
Andreas Malik and Peter Struss
10:20 - 10:40 am
10:40 am - 12:00 pm: Paper session 2 (chair: Takashi Kiriyama)
Temporal Constraints on Trajectories in Qualitative Simulation
Giorgio Brajnik and Daniel J. Clancy
Comprehending Complex Behavior Graphs Through Abstraction
Richard S. Mallory, Bruce W. Porter, and Benjamin J.
Kuipers
12:00 - 2:00 pm
2:00 - 4:00 pm: Paper session 3 (chair: Liliana Ironi)
A Hierarchy of Qualitative Representations for Space
Spatial Aggregation: Language and Applications
Christopher Bailey-Kellog, Feng Zhao and Kenneth Yip
A Qualitative Model of Physical Fields
4:00 - 4:30 pm
4:30 - 6:30 pm: Poster session
Reasoning About Structure of Interval Systems: An Approach by Sign
Directed-Graph
Yoshiteru Ishida and Atusi Nogi
How to Guide Qualitative Reasoning about Electrical Circuits by Series-Parellel Trees
Jakob Mauss and Bernd Neumann
Backward Qualitative Simulation of Structural Model for Strategy
Planning
Takenao Ohkawa, Shinya Hata, and Norihisa Komoda
Constraint Logic Programming - a Framework for Qualitative
Reasoning
A Qualitative Reasoning Approach to Chemical Process Design
Ioa S. Gavrila, Bert Bredeweg, Piet Iedema
Qualitative Models in Ecology and Their Use in Intelligent Tutoring Systems
Paulo S.B.A. Salles, Robert I. Muetzelfeldt, and Helen Pain
Inference of Local Wind Using Qualitative Reasoning
Satoru Oishi and Shuichi Ikebuchi
Qualitative Process Discovery: Automated Process Development for
Autoclave Curing
Some QR Applications of Scholar's Companion (tm)
7:00 pm
9:00 pm: Demo session 1
Wednesday, 22 May 1996
7:30 - 8:15 am
8:30 - 10:30 am: Paper session 4 (chair: Feng Zhao)
Self-Maintenance Photocopiers
Y. Shimomura, K. Ogawa, S. Tanigawa, Y. Umeda, and T. Tomiyama
Model-based Automatic Generation of Sequence Control Programs
from Design Information
T. Sakao, Y. Umeda, T. Tomiyama, and Y. Shimomura
A Model-Based Approach to Reactive Self-Configuring Systems
Brian C. Williams and P. Pandurang Nayak
10:30 - 11:00 am
11:00 - 12:00 pm: Paper session 5 (chair: Brian Williams)
Transition-Based Qualitative Simulation
J.M. Gooday and A.G. Cohn
Scale-Based Reasoning on Possible Law Equations
Takashi Washio and Hiroshi Motada
Interpreting Simulations with Functional Labels
Chris Price and David Pugh
12:00 pm
Lunch. Hiking, boating, etc.
6:30 pm
8:00 - 10:00 pm
Thursday, 23 May 1996
7:30 - 8:15 am
8:30 - 9:50 am: Paper session 6 (chair: Liz Bradley)
Analyzing Discontinuities in Physical System Models
Pieter J. Mosterman and Gautam Biswas
Using Qualitative Correlations as Evidence of Uncertain
Reasoning
Qi Zhao and Toyoaki Nishida
9:50 - 10:20 am
10:20 am - 11:40 pm: Paper session 7 (chair: Kenneth Yip)
Qualitative Reasoning in Tutoring Interactions
Kees de Koning and Bert Bredeweg
Self-Explanatory Simulators for Middle-School Science Education
12:00 pm
1:30 - 3:30 pm: Paper session 8 (chair: Peter Struss)
Adaptive Modeling
A Customized Logic Paradigm for Reasoning about Models
Reinhard Stolle and Elizabeth Bradley
Compositional Modeling Language
Daniel Bobrow, Brian Falkenhainer, Adam Farquhar, Richard Fikes,
Kenneth Forbus, Thomas Gruber, Yumi Iwasaki, and Benjamin Kuipers
3:30 - 4:00 pm
4:00 - 5:20 pm Paper session 9 (chair: Gautam Biswas)
Transformation of Qualitative Dynamic Models - Application
in Hydro Ecology
Ulrich Heller and Peter Struss
Practical Application of Stochastic Qualitative Reasoning
to Fault Detection of Building Air Conditioning Systems
Masaki Yumoto, Takenao Ohkawa, Norihisa Komodo, Fusachika Miyasaka
Qualitative Reasoning for Automated Traffic Surveillance
5:20 - 6:00 pm
6:00 pm
8:00 pm: Demo session 2
CML Editor and DME on the Web
Friday, 24 May 1996
7:30 - 8:15 am
9:00 - 10:20 am: Paper session 10 (chair: Takashi Washio)
The Need for Qualitative Reasoning in Automated Modemoning:
a case study
Antonio C. Capelo, Liliana Ironi and Stefania Tentoni
Using Qualitative Representations in Controlling Engineering
Problem Solving
10:20 - 10:40 am
10:40 am - 12:00 pm: Paper session 11 (chair: John Gooday)
Qualitative Phasor Analysis
Juan Flores and Art Farley
Context-Sensitive and Expectation-Guided Temporal Abstraction of High-Frequency Data
Silvia Miksch, Werner Horn, Christian Popow, and Franz Ppaky
12:00 pm
Yumi Iwasaki
and
Adam Farquhar