Model-based reasoning in science and technology : abduction, logic, and computational discovery - Magnani, Lorenzo, 1952-; Carnielli, Walter Alexandre, 1952-; Pizzi, Claudio (Studies in computational intelligence ;, 2010)