Franz Baader, born on 15 June 1959 in Spalt, is a German computer scientist at Dresden University of Technology. He received his PhD in computer science in 1989 from the University of Erlangen-Nuremberg, where he had been a teaching and research assistant for four years, and in 1989 went to the German Research Centre for Artificial Intelligence (DFKI) as a senior researcher and project leader. In 1993 he became associate professor of computer science at RWTH Aachen and in 2002 full professor at TU Dresden. He received the Herbrand Award for 2020 in recognition of his significant contributions to unification theory, combinations of theories and reasoning in description logics. His books include Term Rewriting and All That (1998, with Tobias Nipkow), The Description Logic Handbook (2003) and An Introduction to Description Logic (2017, with Ian Horrocks, Carsten Lutz and Uli Sattler).
Facts
Contribution Kind Notable WorkTerm Rewriting and All That (1998, with Tobias Nipkow) 1 Notable WorkThe Description Logic Handbook (2003) 1 Connections
Affiliated With
Source Franz Baader (Wikipedia)
In Field
Source Franz Baader (Wikipedia)
In the Other Atlases
Nationality
Also in Geography Atlas: the nationality of this subject.
Source Franz Baader (Wikipedia)Lead, nationality edge germanyQuote, Lead, nationality edge germany
is a German computer scientist at Dresden University of Technology
Sources
1. Franz Baader (Wikipedia)
Lead
Franz Baader (15 June 1959, Spalt)
Lead, birth year
Franz Baader (15 June 1959, Spalt) is a German computer scientist at Dresden University of Technology.
Lead, nationality edge germany
is a German computer scientist at Dresden University of Technology
Career, Herbrand Award
in recognition of his significant contributions to unification theory, combinations of theories and reasoning in description logics
Works, Term Rewriting and All That
Baader, Franz; Nipkow, Tobias (1998). Term Rewriting and All That. Cambridge University Press.
Works, Description Logic Handbook
Baader, Franz (2003). The description logic handbook: theory, implementation, and applications.
In Field: Artificial Intelligence, Career, description logics
in recognition of his significant contributions to unification theory, combinations of theories and reasoning in description logics
In Group: Artificial Intelligence, Career, DFKI
he went to the German Research Centre for Artificial Intelligence (DFKI) as a senior researcher and project leader
Affiliated With: Dresden University of Technology, Affiliation, dresden-university-of-technology
is a German computer scientist at Dresden University of Technology
View the SourceReader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.