Wissensbasierte Mustererkennung in gestörten Linienbildern gestützt auf Verfahren der Graphentheorie, der ganzzahligen Optimierung und des Prädikatenkalküls.