Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Scientific discovery: computational explorations of the creative process
Scientific discovery: computational explorations of the creative process
Symbolic knowledge and neural networks: insertion, refinement and extraction
Symbolic knowledge and neural networks: insertion, refinement and extraction
Educational tools for computational modelling
Computers & Education
Machine discovery in chemistry: new results
Artificial Intelligence
Discovering admissible simultaneous equations of large scale systems
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Creating creativity: user interfaces for supporting innovation
ACM Transactions on Computer-Human Interaction (TOCHI) - Special issue on human-computer interaction in the new millennium, Part 1
The computational support of scientific discovery
International Journal of Human-Computer Studies - Special issue on Machine Discovery
Declarative Bias in Equation Discovery
ICML '97 Proceedings of the Fourteenth International Conference on Machine Learning
A Divide and Conquer Approach to Learning from Prior Knowledge
ICML '00 Proceedings of the Seventeenth International Conference on Machine Learning
Generalized Physical Networks for Automated Model Building
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
Computational Revision of Quantitative Scientific Models
DS '01 Proceedings of the 4th International Conference on Discovery Science
Assisting Model-Discovery in Neuroendocrinology
DS '01 Proceedings of the 4th International Conference on Discovery Science
Theory Revision in Equation Discovery
DS '01 Proceedings of the 4th International Conference on Discovery Science
Qualitative modeling in education
AI Magazine
Constructing explanatory process models from biological data and knowledge
Artificial Intelligence in Medicine
Extracting constraints for process modeling
Proceedings of the 4th international conference on Knowledge capture
Machine Learning
Activity-based scenarios for and approaches to ubiquitous e-Learning
Personal and Ubiquitous Computing
Hi-index | 0.00 |
Existing tools for scientific modeling offer little support for improving models in response to data, whereas computational methods for scientific knowledge discovery provide few opportunities for user input. In this paper, we present a language for stating process models and background knowledge in terms familiar to scientists, along with an interactive environment for knowledge discovery that lets the user construct, edit, and visualize scientific models, use them to make predictions, and revise them to better fit available data. We report initial studies in three domains that illustrate the operation of this environment and the results of a user study carried out with domain scientists. Finally, we discuss related efforts on model formalisms and revision and suggest priorities for additional research.