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. Germany, officially the Federal Republic of Germany ( ˈbʊndəsʁepuˌbliːk ˈdɔʏtʃlant is a Country in Central Europe. 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. The Technische Universität Dresden (usually translated from German as Dresden University of Technology and abbreviated TU Dresden or TUD Germany, officially the Federal Republic of Germany ( ˈbʊndəsʁepuˌbliːk ˈdɔʏtʃlant is a Country in Central Europe. 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). Knowledge representation is an area in Artificial intelligence that is concerned with how to formally "think" that is how to use a symbol system to represent Description logics (DL are a family of Knowledge representation languages which can be used to represent the concept definitions of an application domain (known as terminological Automated theorem proving ( ATP) or automated deduction, currently the most well-developed subfield of Automated reasoning (AR is the Grand Unification, grand unified theory, or GUT refers to any of several very similar unified field theories or models in Physics that
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.
Dapyx Software network: MP3 Explorer | Ebook Manager | Zenithic