International Conference on Model-Based Reasoning: Scientific Discovery, Technological Innovation, Values (2001 Pavia, Italy)