Franz Baader
From Wikipedia, the free encyclopedia
 |
This article does not cite any references or sources. (June 2007) Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed. |
Franz Baader received his PhD in Computer Science in 1989 from the University Erlangen-Nürnberg, Germany, where he was a teaching and research assistant for 4 years. In 1989, he went to the German Research Institute of Artificial Intelligence (DFKI) as a senior researcher and project leader.
From 1993 to 2001 he was associate professor for Theoretical Computer Science at the RWTH Aachen, Germany. Since April 2001 he is full professor for Theoretical Computer Science at TU Dresden, Germany. His research interests include knowledge representation (in particular, description logics, nonmonotonic logics, and modal logics) and automated deduction (in particular, unification theory, term rewriting systems, and combination of decision procedures).
He has been in the program committee of many national and international conferences in the areas automated deduction, artificial intelligence, knowledge representation, and logics, has organized many international workshops, and is in the editorial board of several journals related to AI and Logic in Computer Science. He has published more than 120 refereed articles in major journals and conferences.
 |
This article on a computer specialist of Germany is a stub. You can help Wikipedia by expanding it. |
