![]() |
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
|
Address
Phone
Email
Office
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:
The new handbook on Description Logic:
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