The CLIM prototyping environment (CPE)
CHI '93 INTERACT '93 and CHI '93 Conference Companion on Human Factors in Computing Systems
Making Use of Contradictory Behavior Information in Qualitative Reasoning
IEEE Transactions on Pattern Analysis and Machine Intelligence
Model-based and qualitative reasoning: An introduction
Annals of Mathematics and Artificial Intelligence
Global solutions for nonlinear systems using qualitative reasoning
Annals of Mathematics and Artificial Intelligence
Real-World Applications of Qualitative Reasoning
IEEE Expert: Intelligent Systems and Their Applications
Sound and complete qualitative simulation is impossible
Artificial Intelligence
Model-based systems in the automotive industry
AI Magazine
The Knowledge Engineering Review
Towards a practical theory of reformulation for reasoning about physical systems
Artificial Intelligence - Special volume on reformulation
The Knowledge Engineering Review
A new algorithm for incremental prime implicate generation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Scaling up self-explanatory simulators polynomial time compilation
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Towards a practical theory of reformulation for reasoning about physical systems
Artificial Intelligence - Special volume on reformulation
QPC: a compiler from physical models into qualitative differential equations
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Dynamic across-time measurement interpretation
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Self-explanatory simulations: an integration of qualitative and quantitative knowledge
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
CATMS: an ATMS which avoids label explosions
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
CFRL: A language for specifying the causal functionality of engineered devices
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Automated FMEA based diagnostic symptom generation
Advanced Engineering Informatics
| Hi-index | 0.00 |