Franz Baader
From Wikipedia, the free encyclopedia
For the German ice hockey referee and linesman, see Franz Baader (ice hockey).
| Franz Baader | |
|---|---|
| Born | June 15, 1959 |
| Institutions |
Dresden University of Technology, RWTH Aachen University, University of Erlangen-Nuremberg, German Research Centre for Artificial Intelligence |
| Thesis | Unifikation und Reduktionssysteme für Halbgruppenvarietäten[1] (1989) |
| Doctoral advisor | Klaus Leeb[1] |
| Doctoral students |
Can Albayrak Sebastian Brandt [2] Jan Hladik Martin Knechtel Ralf Küsters Hongkai Liu Carsten Lutz Maja Milicic Ralf Molitor Rafael Peñaloza Jörn Richts Ulrike Sattler[3] Baris Sertkaya Boontawee Suntisrivaraporn Stephan Tobies Christopher Tresp Anni-Yasmin Turhan[1] |
| Website | |
| lat.inf.tu-dresden.de/~baader/index-en.html | |
He received his PhD in Computer Science in 1989 from the University of Erlangen-Nuremberg, Germany,[1] where he was a teaching and research assistant for 4 years. In 1989, he went to the German Research Centre for Artificial Intelligence (DFKI) as a senior researcher and project leader.
In 1993 he was associate professor for computer science at RWTH Aachen, and in 2002 full professor for computer science at TU Dresden.[7]
Works
- Franz Baader, Tobias Nipkow, Term Rewriting and All That, (1998) Cambridge University Press.
- Franz Baader, ed. (2003). The description logic handbook: theory, implementation, and applications. Cambridge University Press. ISBN 978-0-521-78176-3.
- Franz Baader, Andreĭ Voronkov, ed. (2005). Logic for programming, artificial intelligence, and reasoning: 11th international conference. Springer. ISBN 978-3-540-25236-8.
References
- ↑ 1.0 1.1 1.2 1.3 Franz Baader at the Mathematics Genealogy Project
- ↑ Brandt, Sebastian (2006). Standard and Non-Standard Reasoning in Description Logics (PhD thesis). Dresden University of Technology.
- ↑ Sattler, Ulrike (1998). Technological Knowledge Representation Systems in a Chemical Engineering Application (PhD thesis). Dresden University of Technology.
- ↑ http://lat.inf.tu-dresden.de/~baader/index-en.html Franz Baader Home Page
- ↑ List of publications from Google Scholar
- ↑ List of publications from the DBLP Bibliography Server
- ↑ http://www.icfca2009.h-da.de/home/invited-speakers/franz-baader/index.htm
|
This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.