all publications in Mathematical Logic since 1889 in classified way. In Kaiserslautern he was member of the managing committee of two consecutive special research groups of the Deutsche Forschungsgemeinschaft (DFG): Artificial Intelligence and Development of Large Systems with Generic Methods. In 1988 he was one of the founders of the DFKI at Kaiserslautern, the German Research Center on Artificial Intelligence, the first scientific director and later on head of the Intelligent Engineering Group. He was one of the forerunners in turning static expert systems into flexible assistant systems. An outstanding project was ARC-TEC: Acquisition, Representation and Compilation of Technical Knowledge. After 1990, his university group was participating in literally all major European projects on Case-Based Reasoning. The most influential project was Highlights of the European INRECA Projects (Inductive Reasoning on Cases), where a basic methodology was developed. In 1993 the group initiated the first European Workshop on Case-Based Reasoning in Kaiserslautern (EWCBR) which was after that a biannual event and complemented by the International Conferences on CBR (ICCBR 2007). Work In logic Michael Richter specialized on non-standard analysis where he wrote a monograph and created with his student B. Benninghofen the Theory of Superinfinitesimals. Under the influence of W.W. Bledsoe he became interested in Artificial Intelligence. In Aachen he developed the first and still only program to apply rewrite rules to group theory. In Software Engineering his group concentrated on process modeling. In his group the MILOS-System was developed. It was leading in process modeling and is now substantially extended by Frank Maurer in Calgary to the system MASE. Together with his student Aldo v. Wangenheim he created the Cyclops group, that worked on image understanding, and developed new tools based on configuration system. This research gave now rise to various applications and is heavily continued in Florianópolis, Brazil. Around 1990 Michael Richter started to work on Case-Based Reasoning. Initially, it was an extension of the work on technical expert systems. He introduced several basic concepts and views in CBR. A very influential one was the notion knowledge containers. It is basic for building and maintaining CBR systems. He made several important and systematic contributions to the notion of similarity. These include the relation of similarity measures to general concepts of uncertainty and the knowledge contained in similarity measures. On the foundational side his group related similarity to utility and Michael Richter gave a formal semantics of similarity in terms