Franz Baader
© Franz Baader
Seniorprofessor
NameHerr Prof. Dr.-Ing. Franz Baader
Eine verschlüsselte E-Mail über das SecureMail-Portal versenden (nur für TUD-externe Personen).
Besuchsadresse:
Andreas-Pfitzmann-Bau, Raum 3021 Nöthnitzer Straße 46
01187 Dresden
Informationen zur Lehre
Forschungsthemen
- Wissensrepräsentation (insbesondere Beschreibungslogik und Modallogik)
- Automatisches Beweisen (inbesondere Termersetzung und Unifikationstheorie)
Veröffentlichungen der Arbeitsgruppe
- Publikationen, technische Berichte, betreute Habilitationen und betreute Dissertationen
- Ein neues Lehrbuch zum Thema Beschreibungslogik: Franz Baader, Ian Horrocks, Carsten Lutz, and Ulrike Sattler: An Introduction to Description Logic
- Ein vielzitiertes Lehrbuch zum Thema Termersetzungssysteme: Franz Baader, Tobias Nipkow: Term Rewriting and All That Jetzt auch als Taschenbuch!
- Ein vielzitiertes Handbuch zum Thema Beschreibungslogiken: Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (Ed.): The Description Logic Handbook
- Die meisten meiner eigenen Publikationen findet man unten sowie auf DBLP und Google Scholar.
- Mein H-Index (Hirsch Number) beruhend auf Google Scholar ist 70 (Stand: Oktober 2025).
- Folien einiger eingeladener Vorträge und Tutorials
Mitglied im Steering Committee von Konferenzen und 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 (seit 1996, Chair)
- IJCAR - International Joint Conference on Automated Reasoning (2004-2009; Chair 2006-2009; 2011-2013, Chair; since 2015, chair)
- KRDB - Knowledge Representation meets Databases (seit 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)
Mitglied im Editorial Board von Zeitschiften
- AICom - The European Journal on Artificial Intelligence (seit 2000)
- Journal of Artificial Intelligence Research (2000-2003)
- Journal of Applied Logic (2002–2018)
- Journal of Applied Logics — IfCoLog Journal (since 2018)
- JANCL - Journal of Applied Non-Classical Logics (seit 2003)
- LMCS - Logical Methods in Computer Science (seit 2004)
- Artificial Intelligence (2006-2014)
- Journal of Automated Reasoning (seit 2007)
- Logic Journal of the IGPL (seit 2010)
Mitglied im Advisory Board von Buchreihen
- Cognitive Technologies (seit 2002)
Weitere Mitgliedschaften
- 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 (2004-2012; 2008-2012 als Sprecher)
- Gründungsmitglied der IFIP Working Group 1.6 - Term Rewriting
- Mitglied der Academia Europaea (seit 2011)
Weiterführende Links
- International Center of Computational Logic
- Wikipedia
- DBLP
- Google Scholar
- ResearchGate
- Deutsche Forschungsgemeinschaft (DFG)
- Mathematics Genealogy Project
- Academia Europaea
- Deutsche Nationalbibliothek
- Publikationen am DFKI
- Guide2Research
- Academic