Franz Baader | |
|---|---|
| Born | 15 June 1959 |
| Scientific career | |
| 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 | Ulrike Sattler[2] |
| Website | lat |
Franz Baader (15 June 1959, Spalt) is a German computer scientist at Dresden University of Technology.[3][4][5]
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]
He received the Herbrand Award for the year 2020 "in recognition of his significant contributions to unification theory, combinations of theories and reasoning in description logics".[7]
Works[edit]
- 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.
References[edit]
- ^ a b c Franz Baader at the Mathematics Genealogy Project
- ^ Sattler, Ulrike (1998). Technological Knowledge Representation Systems in a Chemical Engineering Application (PhD thesis). Dresden University of Technology. Archived from the original on 2011-03-31. Retrieved 2012-06-18.
- ^ http://lat.inf.tu-dresden.de/~baader/index-en.html Franz Baader Home Page
- ^ Franz Baader publications indexed by Google Scholar
- ^ Franz Baader at DBLP Bibliography Server
- ^ "Hochschule Darmstadt: Franz Baader". Archived from the original on 2011-07-19. Retrieved 2010-02-25.
- ^ "Herbrand Award for Distinguished Contributions to Automated Reasoning". CADE Inc. Retrieved 18 July 2021.
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
Well, that’s interesting to know that Psilotum nudum are known as whisk ferns. Psilotum nudum is the commoner species of the two. While the P. flaccidum is a rare species and is found in the tropical islands. Both the species are usually epiphytic in habit and grow upon tree ferns. These species may also be terrestrial and grow in humus or in the crevices of the rocks.
View the detailed Guide of Psilotum nudum: Detailed Study Of Psilotum Nudum (Whisk Fern), Classification, Anatomy, Reproduction