Model-Based Reasoning in Science and Technology : Abduction, Logic, and Computational Discovery - Magnani, Lorenzo.; Carnielli, Walter.; Pizzi, Claudio. (Studies in Computational Intelligence,, 2010)