logical and computational aspects of model based reasoning | lit.salon