Name
|
Title [Back to
Proceedings main page]
|
|
Program
|
Addanki,
Sanjaya, Cremonini, Roberto and Penberthy, J. Scott
|
Reasoning
about Assumptions in Graphs of Models
|
Berleant,
Daniel
|
Numerical
and Qualitative Hybrid Simulation: A Unified Framework for Reasoning about
Continuous Systems
|
Bylander,
Tom
|
Consolidating
Pipes
|
Chiu,
Charles and Kuipers, Benjamin
|
Comparative
Analysis and Qualitative Integral Representations
|
Coiera,
Enrico W.
|
Learning
Qualitative Models from Example Behaviours
|
Collins,
John W.
|
Building
Qualitative Models of Thermodynamic Processes
|
Decuyper,
Jo and Keymeulen, Didier
|
A
Qualitative Model for the Behavior of Liquids and Gases in Daily Life
|
Doyle,
Jon and Sacks, Elisha P.
|
Stochastic
Analysis of Qualitative Dynamics
|
Faltings,
Boi, Baechler, Emmanuel and Primus, Jeff
|
Reasoning
about Kinematic Topology
|
Forbus,
Kenneth D.
|
Pushing
the Edge of the (QP) Envelope
|
Gallanti,
Massimo, Roncato, Marco, Stefanini, Alberto and Tornielli, Giorgio
|
A
Diagnostic Algorithm based on Models at Different Level of Abstraction
|
Hibler,
David L. and Biswas, Gautam
|
TEPS:
The Thought Experiment Approach to Qualitative Physics
|
Huberman,
Bernardo A. and Struss, Peter
|
Chaos,
Qualitative Reasoning and the Predictability Problem
|
Iwasaki,
Yumi
|
Two
Model Abstraction Techniques Based on Temporal Grain Size: Aggregation and
Mixed Models
|
Joskowicz,
Leo
|
Simplification
and Abstraction of Kinematic Behaviors: Hierarchical Reasoning in Mechanical
Devices
|
Liu,
Zheng-Yang
|
A
Charge-Carrier Ontology for Reasoning about Electronics
|
Narain,
Sanjai and Rothenberg, Jeff
|
A
History-Oriented View of Causality
|
Nishida,
Toyoaki and Doshita, Shuji
|
Stratification:
A New Method of Analyzing Discontinuous Change
|
Pu,
Pearl
|
Simulating
Both Dynamic and Kinematic Behaviors of Mechanisms
|
Raiman,
O.
|
The
Reaction Engine
|
Randell,
D. A . and Cohn, A. G.
|
Exploring
Naive Topology: Modelling the Force Pump
|
Sacks,
Elisha
|
Qualitative
Analysis of Continuous Dynamic Systems by Intelligent Numeric Experimentation
|
Throop,
David R.
|
Spatial
Unification: Qualitative Spatial Reasoning about Steady State Mechanisms an
Overview of Current Work
|
Van
Nypelseer, Pierre
|
Qualitative
Change Waves: The Automatic Detection of Highway Traffic Incidents
|
Washio,
Takashi
|
Derivation
of Exogenously-Driven Causality Based on Assumptive Structural Equations
|
Weld,
Daniel S.
|
Automated
Model Switching
|
Wiegand,
Mark and Leitch, Roy
|
A
Predictive Engine for the Qualitative Simulation of Continuous Dynamic
Systems
|