Name |
|
|
|
|
|
|
|
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 |
Spatial Reasoning for Intelligent Control of Numerical Simulators |
Kenneth Man-kam Yip |
Model Simplification by Asymptotic Order of Magnitude Reasoning |
Kenneth Man-kam Yip |