Michael M. Richter

Michael M. RICHTER (naskiĝis la  en Berlin, mortis la 10-an de julio 2020) estis germana matematikisto kaj komputila sciencisto. Richter estis konata pro sia kariero en matematika logiko, speciale ne-standarda analizo kaj en artefarita intelekto kaj kiel pioniro en kazo-bazita konkludado (CBR, germane Fallbasiertes Schließen). 

 Vivo 
Richter studis matematikon inter 1959 kaj 1965 en la germanaj universitatoj de Münster kaj Freiburg, kie li doktoriĝis en matematika logiko. En 1973 li habilitiĝis pri matematiko en la universitato de Tübingen. Post prelegado en la universitato de Austin, Teksaso, li estis profesoro pri matematiko ĉe RWTH Aachen de 1975 ĝis 1986. En 1986 li fariĝis profesoro pri komputila scienco en la universitato de Kaiserslautern, kie li prelegis ĝis sia emeritiĝo en 2003. Plurfoje li prelegis en Austin, Florianopolis, Calgary kaj St. Gallen. Poste li estis "Adjunct Professor" en la universitato de Calgary kaj "Visiting Professor" en la universitato de Santa Catarina, Florianopolis, Brazilo. Sub lia gvidado 64 studentoj doktoriĝis. Multaj de ili nun estas profesoroj en multaj partoj de la mondo. 

Dum sia libertempo li partoprenis en multaj maratonoj.

 Kelkaj publikaĵoj 
  Michael M. Richter: Logikkalküle. Teubner Studienbücher Informatik(Leitfäden der angewandten Mathematik und Mechanik). Stuttgart 1978, p.  232
  Michael M. Richter: Ideale Punkte, Monaden und Nichtstandardmethoden. Viewweg-Verlag, Wiesbaden 1982, p.  269
 Richter, Michael M.: Fallbasiertes Schließen. En: Görz, Günther; Rollinger, Claus-Rainer; Schneeberger, Josef (eld.): Handbuch der Künstlichen Intelligenz. 4-a eld. München/Wien 2003, S. 407-430. ISBN 3-486-27212-8.
 B. Benninghofen, Michael M. Richter: A general theory of superinfinitesimals. Fundamenta Mathematicae 128 (1987), p. 199-215. Ĝenerala teorio de superinfinitesimaloj.
 The Knuth-Bendix Completion Procedure, the Growth Function and Polycyclic Groups. In: Proc. Logic Colloquium ’86, ed. F. Drake, J. Truss, North-Holland Publ. Co. p. 261-275.
 B. Benninghofen, S. Kemmerich, Michael M. Richter: Systems of Reductions. SLN in Computer Science 277 (1987); 265 + VII p.
 Michael M. Richter: Prinzipen der Künstlichen Intelligenz. Teubner Studienbücher Informatik, Stuttgart 1989, 355 p.
 Michael M. Richter: Prinzipen der Künstlichen Intelligenz (2nd Edition). Teubner Studienbücher Informatik, Stuttgart 1991, p.  355 
 Michael M. Richter, S. Wess: Similarity, Uncertainty and Case-Based Reasoning in PATDEX. En: R. S. Boyer (Ed.), Automated Reasoning, Essays in Honor of Woody Bledsoe, Kluwer Academic Publishers, 1991. 
 T. Pfeifer, Michael M. Richter: Diagnose von Technischen Systemen (diagnozo de teknikaj sistemoj). Deutscher Universitätsverlag 1993
 Recent Developments in Case-Based Reasoning: Improvements of Similarity Measures. In: New Approaches in Classification and Data Analysis, ed. E. Diday, Y. Lechevallier, M. Schader, P. Bertrand, B. Burtschy, eld. Springer 1994, S. 594-601.
 R. Kühn, R. Menzel, W. Menzel, U. Ratsch, Michael M. Richter, I. O. Stamatescu: Adaptivity and Learning: An Interdisciplinary Debate. eld. Springer 2003
 Michael M. Richter, Agnar Aamodt: Case-based reasoning foundations. Knowledge Engineering Review,20:3 Cambridge University Press, p. 203-207 (2006).
 Foundations of Similarity and Utility. Proc. Flairs 07, AAAI Press
 Similarity. En: Case-Based Reasoning for Signals and Imaging, ed. Petra Perner, eld. Springer 2007, p. 25-90.
 Michael M. Richter, Rosina Weber: Case-Based Reasoning. A Textbook. Springer Verlag 2013, 520 p.

 Eksteraj ligiloj 
 http://wwwagse.informatik.uni-kl.de/research/sfb501/a2/pubs.html 
 http://www.dfki.de/web/research/km/publications/base_view?pubid=2115 
 http://www.springerlink.com/content/b8qdp9wfalxxfljh/

Kategorio:Akademianoj
Kategorio:Germanaj verkistoj
Kategorio:Germanaj matematikistoj