International Conference on Model-Based Reasoning in Science and Engineering: Abduction, Visualization, Simulation (2004 Pavia, Italy)