Logical and Computational Aspects of Model-Based Reasoning