TU Dresden
 Chair for Automata Theory

   Chair for Automata Theory
Institute for Theoretical Computer Science
  Faculty of Computer Science   

Prof. Dr.-Ing. Franz Baader

Diese Seite auf Deutsch Deutsch

QuantLA The research training group "Quantitative Logics and Automata" started on October 1, 2012.
More Information: http://lat.inf.tu-dresden.de/quantla/.
cfAED The Cluster of Excellence "Center for Advancing Electronics Dresden" started in November 2012.
More information: https://www.cfaed.tu-dresden.de/.

TU Dresden
Theoretical Computer Science
D-01062 Dresden

Voice (+49 351)-463-39160
Fax (+49 351)-463-37959


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 new book on Description Logic:
Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler: An Introduction to Description Logic
A frequently cited book on Term Rewriting:
Franz Baader, Tobias Nipkow: Term Rewriting and All That
Now also as paperback!
A frequently cited handbook on Description Logic:
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (ed.): The Description Logic Handbook
Most 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 59 (as of May 2017).

Some transparencies of invited talks and tutorials

Organizer or PC member of workshops and conferences (LATA2013, FCT2013, SSN2012, AOW2012, FroCoS2013, ...)

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

Member of the editorial board of journals
AICom - The European Journal on Artificial Intelligence (since 2000)
The Journal of Artificial Intelligence Research (2000-2003)
Journal of Applied Logic (since 2002)
JANCL - Journal of Applied Non-Classical Logics (since 2003)
LMCS - Logical Methods in Computer Science (since 2004)
Artificial Intelligence (2006-2014)
Journal of Automated Reasoning (since 2007)
Logic Journal of the IGPL (since 2010)

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) deutsch

Elected expert of the GI Area on Artificial Intelligence (since 2001) deutsch

International relations officer of the GI Area on Artificial Intelligence at EurAI (since 2002)

ECCAI Fellow (since 2004)

Founding Member of the IFIP Working Group 1.6 - Term Rewriting

Member of the Academia Europaea (since 2011)
home Chair for Automata Theory