Franz Baader

För den tyske ishockeydomaren och linjedomaren, se Franz Baader (ishockey) .

Franz Baader
Född	( 1959-06-15 ) 15 juni 1959
Vetenskaplig karriär
institutioner	Dresdens tekniska högskola , RWTH Aachen-universitetet , universitetet i Erlangen-Nürnberg , tyska forskningscentret för artificiell intelligens
Avhandling	Unifikation und Reduktionssysteme für Halbgruppenvarietäten (1989)
Doktorand rådgivare	Klaus Leeb
Doktorander	Ulrike Sattler
Hemsida	lat .inf .tu-dresden .de /~baader /index-en .html

Franz Baader (15 juni 1959, Spalt ) är en tysk datavetare vid Dresdens tekniska universitet .

Han tog sin doktorsexamen i datavetenskap 1989 från universitetet i Erlangen-Nürnberg, Tyskland , där han var lärar- och forskningsassistent i fyra år. 1989 gick han till det tyska forskningscentret för artificiell intelligens (DFKI) som senior forskare och projektledare.

1993 blev han docent i datavetenskap vid RWTH Aachen och 2002 professor i datavetenskap vid TU Dresden .

Han fick Herbrand Award för år 2020 "som ett erkännande för hans betydande bidrag till enandeteori, kombinationer av teorier och resonemang i beskrivningslogik".

Arbetar

• Baader, Franz; Nipkow, Tobias (1998). Termomskrivning och allt det där . Cambridge University Press.
•   Baader, Franz (2003). Beskrivningslogikhandboken: teori, implementering och tillämpningar . Cambridge University Press. ISBN 978-0-521-78176-3 .
•   Baader, Franz; Voronkov, Andrei (2005). Logik för programmering, artificiell intelligens och resonemang: 11:e internationella konferensen . Springer. ISBN 978-3-540-25236-8 .
•   Baader, Franz; Horrocks, Ian ; Lutz, Carsten; Sattler, Uli (2017). En introduktion till beskrivningslogik . Cambridge University Press. ISBN 978-0-521-87361-1 .