Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery