Franz Baader

Franz Baader (15 June 1959, Spalt) is a German computer scientist at Dresden University of Technology .[3][4][5]

For the German ice hockey referee and linesman, see Franz Baader (ice hockey).
Franz Baader
Born (1959-06-15) 15 June 1959
Scientific career
InstitutionsDresden University of Technology,
RWTH Aachen University,
University of Erlangen-Nuremberg,
German Research Centre for Artificial Intelligence
ThesisUnifikation und Reduktionssysteme für Halbgruppenvarietäten[1] (1989)
Doctoral advisorKlaus Leeb[1]
Doctoral studentsUlrike Sattler[2]
Websitelat.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 became associate professor for computer science at RWTH Aachen, and in 2002 full professor for computer science at TU Dresden.[6]

Works
  • Baader, Franz; Nipkow, Tobias (1998). Term Rewriting and All That. Cambridge University Press.
  • Baader, Franz (2003). The description logic handbook: theory, implementation, and applications. Cambridge University Press. ISBN 978-0-521-78176-3.
  • Baader, Franz; Voronkov, Andrei (2005). Logic for programming, artificial intelligence, and reasoning: 11th international conference. Springer. ISBN 978-3-540-25236-8.
  • Baader, Franz; Horrocks, Ian; Lutz, Carsten; Sattler, Uli (2017). An Introduction to Description Logic. Cambridge University Press. ISBN 978-0-521-87361-1.
gollark: Same X but different Y, that is.
gollark: Oh right, two points can't have the same X in this, yes.
gollark: The output has a bunch of infinities and NaNs in it.
gollark: (x - 1) * -1 / 3.6288e+5 * (x - 2) * (x - 3) * (x - 4) * (x - 5) * (x - 6) * (x - 7) * (x - 8) * (x - 9) - x * (x - 1) * (x - 2) * (x - 3) * (x - 4) * (x - 5) * (x - 6) * (x - 7) * (x - 9) + x / 40320 * (x - 2) * (x - 3) * (x - 4) * (x - 5) * (x - 6) * (x - 7) * (x - 8) * (x - 9) + x * -1 / 5040 * (x - 1) * (x - 3) * (x - 4) * (x - 5) * (x - 6) * (x - 7) * (x - 8) * (x - 9) + x / 720 * (x - 1) * (x - 2) * (x - 4) * (x - 5) * (x - 6) * (x - 7) * (x - 8) * (x - 9) + x * -1 / 120 * (x - 1) * (x - 2) * (x - 3) * (x - 5) * (x - 6) * (x - 7) * (x - 8) * (x - 9) + x / 24 * (x - 1) * (x - 2) * (x - 3) * (x - 4) * (x - 6) * (x - 7) * (x - 8) * (x - 9) + x * -1 / 6 * (x - 1) * (x - 2) * (x - 3) * (x - 4) * (x - 5) * (x - 7) * (x - 8) * (x - 9) + x / 2 * (x - 1) * (x - 2) * (x - 3) * (x - 4) * (x - 5) * (x - 6) * (x - 8) * (x - 9) + x * (x - 1) * (x - 2) * (x - 3) * (x - 4) * (x - 5) * (x - 6) * (x - 7) * (x - 8) is the output polynomial.
gollark: I put in factorials from 0 to 10.

References
  1. Franz Baader at the Mathematics Genealogy Project
  2. Sattler, Ulrike (1998). Technological Knowledge Representation Systems in a Chemical Engineering Application (PhD thesis). Dresden University of Technology.
  3. http://lat.inf.tu-dresden.de/~baader/index-en.html Franz Baader Home Page
  4. Franz Baader publications indexed by Google Scholar
  5. Franz Baader at DBLP Bibliography Server
  6. "Archived copy". Archived from the original on 2011-07-19. Retrieved 2010-02-25.CS1 maint: archived copy as title (link)
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.