A library of generic concepts for composing knowledge bases
Proceedings of the 1st international conference on Knowledge capture
A representation for comparing simulations and computing the purpose of geometric features
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Qualitative modeling in education
AI Magazine
The Knowledge Engineering Review
Qualitative simulation and related approaches for the analysis of dynamic systems
The Knowledge Engineering Review
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
Towards a practical theory of reformulation for reasoning about physical systems
Artificial Intelligence - Special volume on reformulation
Qualitative Physics for Movable Objects in MOUT
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Using exogenous quantities in qualitative models about environmental sustainability
AI Communications - Model-Based Systems
Journal of Artificial Intelligence Research
Automated qualitative domain abstraction
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Task-dependent qualitative domain abstraction
Artificial Intelligence - Special volume on reformulation
Towards a practical theory of reformulation for reasoning about physical systems
Artificial Intelligence - Special volume on reformulation
Model decomposition and simulation: a component based qualitative simulation algorithm
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Static and dynamic abstraction solves the problem of chatter in qualitative simulation
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Building concept representations from reusable components
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Use of timed automata and model-checking to explore scenarios on ecosystem models
Environmental Modelling & Software
Repairing incorrect knowledge with model formulation and metareasoning
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
| Hi-index | 0.00 |