"... based on the papers that were presented at the International Conference Model-Based Reasoning: Scientific Discovery, Technological Innovation, Values (MBR'01), held at the Collegio Ghislieri, University of Pavia, Pavia, Italy, in May 2001.
Logical and computational aspects of model-based reasoning. ISBN 1402007124. Published by Kluwer Academic in 2002. Publication and catalogue information, links to buy online and reader comments.