An interactive environment for scientific model construction

Proceedings of the 2nd International Conference on Knowledge Capture, K-CAP 2003

Volumn , Issue , 2003, Pages 138-145

  Sánchez, Javier Nicolás ^a   Langley, Pat ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BACK-GROUND KNOWLEDGE; ECOSYSTEM MODEL; INTERACTIVE ENVIRONMENTS; MATHEMATICAL EQUATIONS; MODEL CONSTRUCTION; MODEL REVISIONS; MODELING ENVIRONMENTS; SCIENTIFIC MODELING;

ECOSYSTEMS;

EID: 33750072994     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/945645.945666     Document Type: Conference Paper

References (22)

1. Bannai, H. Y. T., Maruyama, O., Miyano, S.: VML: A view modeling language for computational knowledge discovery. In: Proceedings of the Fourth International Conference on Discovery Science. Springer (2001) 30-44.
2. Cartier, J., Rudolph, J., Stewart, J.: The nature and structure of scientific models. The National Center for Improving Student Learning and Achievement inMathematics and Science, Working Paper (2001).
3. Cohen, S., Hindmarsh, A.: CVODE, A stiff/nonstiff ODE solver in C. SciCADE95: Scientific Computing and Differential Equations, Stanford University (1995).
4. Easley, M., Bradley, E.: Generalized physical networks for automated model building. In: Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann (1999) 1047-1053.
5. Forbus, K.: Qualitative process theory. Artificial Intelligence 24 (1984) 85-168.
6. Forbus, K. D., Falkenhainer, B.: Self-explanatory simulations: An integration of qualitative and quantitative knowledge. In: Proceedings of the Eighth National Conference on Artificial Intelligence. AAAI Press (1990) 380-387.
7. Keller, R. M.: An intelligent visual programming environment for scientific modeling. Science Information Systems Newsletter, 35, Information Systems Branch, Office of Space Science, NASA (1995).
8. Langley, P.: The computational support of scientific discovery. International Journal of Human- Computer Studies 53 (2000) 393-410.
9. Langley, P., Sánchez, J., Todorovski, L., Dzeroski, S.: Inducing process models from continuous data. In: Proceedings of the Eighteenth Conference on Machine Learning. Morgan Kaufmann (2002) 347-354
10. Langley, P., Simon, H. A., Bradshaw, G. L., Zytkow, J.M.: Scientific discovery: Computational explorations of the creative processes. Cambridge, MA: MITPress (1987).
11. Mahidadia, A., Compton, P.: Assisting modeldiscovery in neuroendocrinology. In: Proceedings of the Fourth International Conference on Discovery Science. Springer (2001) 214-227.
12. The MathWorks, Inc.: Simulink user's guide: Dynamic system simulation for MATLAB. Natick, MA (1997).
13. Mitchell, F., Sleeman, D., Duffy, J. A., Ingram, M. D., Young, R. W.: Optical basicity of metallurgical slags: A new computer-based system for data visualisation and analysis. Ironmaking and Steelmaking 24 306-320 (1997).
14. Potter, C. S., Klooster, S. A.: Inter annual variability in soil trace gas (CO2, N2O, NO) fluxes and analysis of controllers on regional to global scales. Global Biochemical Cycles 12 (1998) 621-635.
15. Richmond, B., Peterson, S., Vescuso, P.: An academic user's guide to STELLA. Lyme, NH: High Performance Systems (1987).
16. Saito, K., Langley, P., Grenager, T., Potter, C., Torregrosa, A., Klooster, S.A.: Computational revision of quantitative scientific models. In: Proceedings of the Fourth International Conference on Discovery Science. Springer (2001) 336-349.
17. Schneiderman, B.: Creating creativity: User interfaces for supporting innovation. In: ACM Transactions of Computer-Human Interaction 7 (2000) 114-138.
18. Stickel, M., Waldinger, R., Lowry, M., Pressburger T., Underwood, I.: Deductive composition of astronomical software from subroutine libraries. In: Proceedings of the Twelfth Conference on Automated Deduction Springer-Verlag (1994) 341-355.
19. Todorovski, L., Dzeroski, S.: Declarative bias in equation discovery. In: Proceedings of the Fourteenth International Conference on Machine Learning. Morgan Kaufmann (1997) 376-384.
20. Todorovski, L., Dzeroski, S.: Theory revision in equation discovery. In: Proceedings of the Fourth International Conference on Discovery Science. Springer (2001) 389-400.
21. Valdés-Pérez, R. E.: Machine discovery in chemistry: New results. Artificial Intelligence 74 (1995) 191-201.
22. Washio, T., Motoda, H. (1998). Discovering admissible simultaneous equations of large scale systems. In: Proceedings of the Fifteenth National Conference on Artificial Intelligence. AAAI Press (1998) 189-196.