Battefeld D, Kopp S. Formalizing cognitive biases in medical diagnostic reasoning. In: Presented at the 8th Workshop on Formal and Cognitive Reasoning (FCR), Trier. ; 2022.