Computational Models for Biomedical Reasoning and Problem Solving