Prof. Dr.-Ing. Franz Baader

This page in English English

Adresse: TU Dresden
Fakultät Informatik
Institut für Theoretische Informatik
01062 Dresden
Telefon: Tel: (0351) 463-39160
Fax: (0351) 463-37959
Email: baader@tcs.inf.tu-dresden.de
Büro: Raum 3021, Nöthnitzer Str. 46, 01187 Dresden

Informationen zur Lehre

Forschungsthemen

Wissensrepräsentation (insbesondere Beschreibungslogik und Modallogik)
Automatisches Beweisen (inbesondere Termersetzung und Unifikationstheorie)

Publikationen, technische Berichte und betreute Dissertationen und Habilitationen

Ein vielzitiertes Lehrbuch zum Thema Termersetzungssysteme:
Franz Baader, Tobias Nipkow: Term Rewriting and All That
Jetzt auch als Taschenbuch!

Ein neues Handbuch zum Thema Beschreibungslogiken:
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (Ed.): The Description Logic Handbook

Die meisten meiner Publikationen findet man auch auf dem DB&LP Bibliography Server und bei Google Scholar.

Laut CiteSeerX, bin ich Nummer 587 unter den meist zitierten Autoren in Informatik (Stand November 2009).
Folien einiger eingeladener Vorträge und Tutorials
Beteiligung an Workshops und Konferenzen (LICS 2010, KR 2010, AOW 2009, AST 2009, FroCoS 2009, ...)
Mitglied im Steering Committee von Konferenzen und Workshops

CADE - Conference on Automated Deduction (seit 2002, President seit 2004)
DL - Description Logics (2000-2002; seit 2008)
FroCoS - Frontiers of Combining Systems (seit 1996, Chair)
IJCAR - International Joint Conference on Automated Reasoning (seit 2004, Chair)
KRDB - Knowledge Representation meets Databases (seit 1994)
LICS - IEEE Symposium on Logic in Computer Science (Organizing Committee, seit 2005)
RTA - Rewriting Techniques and Applications (2001-2004; seit 2007; Chair seit 2009)
STACS - Symposium on Theoretical Aspects of Computer Science (2004-2006)
UNIF - International Workshop on Unification (seit 2008, Chair)
Mitglied im Editorial Board von Zeitschiften

JANCL - Journal of Applied Non-Classical Logics (seit 2003)
AICom - The European Journal on Artificial Intelligence (seit 2000)
Journal of Artificial Intelligence Research (2000-2003)
Journal of Applied Logic (seit 2002)
LMCS - Logical Methods in Computer Science (seit 2004)
Artificial Intelligence (seit 2006)
Journal of Automated Reasoning (seit 2007)
Mitglied im Advisory Board von Buchreihen

Cognitive Technologies (seit 2002)
Sprecher der GI Fachgruppe Logik in der Informatik (2000-2006)
Fachexperte des GI Fachbereichs Künstliche Intelligenz (seit 2001)
International relations officer des GI Fachbereichs Künstliche Intelligenz beim ECCAI (seit 2002)
ECCAI Fellow (seit 2004)
Mitglied im Senats- und Bewilligungsausschuß für Graduiertenkollegs der DFG (1999-2004)
Mitglied im Fachkollegium Informatik der DFG (seit 2004; seit 2008 als Sprecher)
Gründungsmitglied der IFIP Working Group 1.6 - Term Rewriting
Lehrstuhl Automatentheorie