Prof. Dr.-Ing. Franz Baader

Diese Seite auf Deutsch Deutsch

Address: TU Dresden
Theoretical Computer Science
D-01062 Dresden
Germany
Phone: Voice (+49 351)-463-39160
Fax (+49 351)-463-37959
Email: baader@tcs.inf.tu-dresden.de
Office: Room 3021, Nöthnitzer Str. 46, 01187 Dresden

Information regarding Teaching

Research topics

Knowledge Representation (in particular Description Logics and Modal Logics)
Automated Deduction (in particular Term Rewriting and Unification Theory)

Publications, technical reports, and supervised PhDs and Habilitations

A frequently cited book on Term Rewriting:
Franz Baader, Tobias Nipkow: Term Rewriting and All That
Now also as paperback!

The new handbook on Description Logic:
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (ed.): The Description Logic Handbook

Some of my publications can also be found on the DB&LP Bibliography Server and at Google Scholar.

My H-Index (Hirsch Number) based on Google Scholar is 45 (as of March 2010).

According to CiteSeerX, I am the 563 most cited author in Computer Science (as of February 2010).
Some transparencies of invited talks and tutorials
Organizer or PC member of workshops and conferences (LICS 2010, KR 2010, AOW 2009, AST 2009, FroCoS 2009, ...)
Member of the steering committee of conferences and workshops

CADE - Conference on Automated Deduction (2002-2009, President 2004-2009)
DL - Description Logics (2000-2002; since 2008)
FroCoS - Frontiers of Combining Systems (since 1996, chair)
IJCAR - International Joint Conference on Automated Reasoning (2004-2009; chair 2006-2009)
KRDB - Knowledge Representation meets Databases (since 1994)
LICS - IEEE Symposium on Logic in Computer Science (Organizing Committee, 2005-2009)
RTA - Rewriting Techniques and Applications (2001-2004; since 2007, chair since 2009)
STACS - Symposium on Theoretical Aspects of Computer Science (2004-2006)
UNIF - International Workshop on Unification (since 2008, chair)
Member of the editorial board of journals

JANCL - Journal of Applied Non-Classical Logics (since 2003)
AICom - The European Journal on Artificial Intelligence (since 2000)
The Journal of Artificial Intelligence Research (2000-2003)
Journal of Applied Logic (since 2002)
LMCS - Logical Methods in Computer Science (since 2004)
Artificial Intelligence (since 2006)
Journal of Automated Reasoning (since 2007)
Member of the Advisory Board of Book Series

Cognitive Technologies (since 2002)
Speaker of the GI Interest Group on Logic in Computer Science (2000-2006)
Elected expert of the GI Area on Artificial Intelligence (since 2001)
International relations officer of the GI Area on Artificial Intelligence at ECCAI (since 2002)
ECCAI Fellow (since 2004)
Founding Member of the IFIP Working Group 1.6 - Term Rewriting
Chair for Automata Theory