Franz Baader

Franz Baader

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.


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Franz Baader — (* 15. Juni 1959 in Spalt) ist ein deutscher Informatiker. Er führt den Lehrstuhl für Automatentheorie an der Fakultät Informatik der TU Dresden. Leben Baader besuchte bis 1979 das Gymnasium in Roth und begann im Jahr 1980 ein Informatikstudium… …   Deutsch Wikipedia

  • Franz Baader (ice hockey) — Franz Baader was a German referee and linesman. He is a member of the German Ice Hockey Hall of Fame. [ cite web|url=http://www.azhockey.com/halls/german.html|title=German (Ice Hockey) Hall of Fame|accessdate=2007 10 13] He was the referee during …   Wikipedia

  • Baader — steht für: Baader (Film), einen Film von Christopher Roth Nordischer Maschinenbau Rud. Baader, einen Hersteller für Fischbearbeitungsmaschinen Baader Bank, eine deutsche Bank mit Sitz in Unterschleißheim Baader steht als Familienname für folgende …   Deutsch Wikipedia

  • Franz Xaver von Baader — Franz von Baader, Ölgemälde im Besitz der Bayerischen Akademie der Wissenschaften (Foto: BAdW) Benedict Franz Xaver von Baader (* 27. März 1765 in München; † 23. Mai 1841 ebenda) war ein deutscher Arzt, Bergbauingenieur und Philosoph. Er war ein… …   Deutsch Wikipedia

  • Franz von Baader — Franz von Baader, Ölgemälde im Besitz der Bayerischen Akademie der Wissenschaften …   Deutsch Wikipedia

  • Franz Xaver von Baader — (March 27, 1765 ndash; May 23, 1841), was a German philosopher and theologian. Life He was born in Munich, the third son of F. P. Baader, court physician to the Prince elector of Bavaria. His brothers were both distinguished mdash; the elder,… …   Wikipedia

  • Franz Xaver von Baader —     Franz Xaver von Baader     † Catholic Encyclopedia ► Franz Xaver von Baader     German philosopher, born at Munich, 1765; died at the same place, 23 May, 1841.     I. The idealistic stream of German philosophy which started with Kant and… …   Catholic encyclopedia

  • BAADER (F. X. von) — BAADER FRANZ XAVER VON (1765 1841) Théosophe allemand, qu’il serait malaisé de classer dans un système; aussi bien aucun parti politique ou philosophique allemand ne s’est il jamais réclamé de lui. Catholique, Franz von Baader a passé presque… …   Encyclopédie Universelle

  • Franz Xaver Von Baader — Pour les articles homonymes, voir Baader. Franz von Baader Franz Xaver von Baader (François Xavier von Baader) est un …   Wikipédia en Français

  • Franz von Baader — Franz Xaver von Baader Pour les articles homonymes, voir Baader. Franz von Baader Franz Xaver von Baader (François Xavier von Baader) est un …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”