Logical and computational aspects of model-based reasoning | lit.salon