Name
Title
Tom Bylander
The qualitative difference resolution rule
IQE: An incremental qualitative envisioner
Extending model-based diagnosis to medicine
Efficient qualitative kinematics
Abstracting irrelevant distinctions in qualitative simulation
Restriction of qualitative models to ensure more specific behavior
Incremental configuration space construction for mechanism analysis
Further progress in qualitative modelling of cardiac electrophysiology
Takashi Kiriyama, Tetsuo Tomiyama and Hiroyuki Yoshikawa
Model generation in design
Automatic abduction of qualitative models
Integrating model-based monitoring and diagnosis of complex dynamic systems
Tasks, models, perspectives, dimensions
Integrating deep reasoning and compiled reasoning for the resolution of interacting malfunctions in chemical process diagnosis
P. Pandurang Nayak, Leo Joskowicz and Sanjaya Addanki
Qualitative Reasoning about steel bridge fatigue and fracture
Iteration against locally-determined states for qualitative monitoring and diagnosis
Closed-form solution of qualitative differential equations
Synchronised qualitative simulation in diagnosis
A theory of model simplification and abstraction for diagnosis
Critical abstraction: Generating simplest models for causal explanation
The hybrid phenomena theory
A component connection modeling case study: Results and future directions
Feng Zhao
Extracting and representing qualitative behaviors of complex systems in phase spaces