Franz Baader - Franz Baader
Franz Baader | |
---|---|
narozený | 15. června 1959 |
Vědecká kariéra | |
Instituce | Technická univerzita v Drážďanech, RWTH Aachen University, University of Erlangen-Nuremberg, Německé výzkumné středisko pro umělou inteligenci |
Teze | Unifikation und Reduktionssysteme für Halbgruppenvarietäten[1] (1989) |
Doktorský poradce | Klaus Leeb[1] |
Doktorandi | Ulrike Sattler[2] |
webová stránka | lat |
Franz Baader (15. června 1959, Spalt ) je Němec počítačový vědec na Technická univerzita v Drážďanech .[3][4][5]
V roce 1989 získal titul PhD v oboru výpočetní techniky na University of Erlangen-Nuremberg, Německo,[1] kde působil 4 roky jako asistent výuky a výzkumu. V roce 1989 odešel do Německé výzkumné středisko pro umělou inteligenci (DFKI) jako vedoucí výzkumný pracovník a vedoucí projektu.
V roce 1993 se stal docentem pro informatiku na RWTH Cáchy a v roce 2002 řádný profesor informatiky na TU Drážďany.[6]
Funguje
- Baader, Franz; Nipkow, Tobias (1998). Přepisování termínů a tak dále. Cambridge University Press.
- Baader, Franz (2003). Logická příručka popisu: teorie, implementace a aplikace. Cambridge University Press. ISBN 978-0-521-78176-3.
- Baader, Franz; Voronkov, Andrej (2005). Logika pro programování, umělou inteligenci a uvažování: 11. mezinárodní konference. Springer. ISBN 978-3-540-25236-8.
- Baader, Franz; Horrocks, Iane; Lutz, Carsten; Sattler, Uli (2017). Úvod do logiky popisu. Cambridge University Press. ISBN 978-0-521-87361-1.
Reference
- ^ A b C Franz Baader na Matematický genealogický projekt
- ^ Sattler, Ulrike (1998). Systémy reprezentace technologických znalostí v aplikaci chemického inženýrství (Disertační práce). Technická univerzita v Drážďanech.
- ^ http://lat.inf.tu-dresden.de/~baader/index-en.html Domovská stránka Franze Baadera
- ^ Franz Baader publikace indexované podle Google Scholar
- ^ Franz Baader na DBLP Bibliografický server
- ^ „Archivovaná kopie“. Archivovány od originál dne 19. 7. 2011. Citováno 2010-02-25.CS1 maint: archivovaná kopie jako titul (odkaz)
![]() | Tento článek o počítačovém specialistovi z Německa je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |