TU Dresden
 Lehrstuhl für Automatentheorie

English    This page in English
Institut für Theoretische Informatik
  Fakultät Informatik   

Lehrstuhl

Leiter: Prof. Franz Baader
Verzeichnis der Mitarbeiter
Informationen zur Lehre

QuantLA Graduiertenkolleg "Quantitative Logiken und Automaten" am 1. Oktober 2012 gestartet.
Weitere Informationen: http://lat.inf.tu-dresden.de/quantla/.
Es gibt eine offene Stelle!
RoSI Graduiertenkolleg "Rollenbasierte Software-Infrastrukturen für durchgängig-kontextsensitive Systeme" am 1. Oktober 2013 gestartet.
Weitere Informationen: http://wwwdb.inf.tu-dresden.de/rosi.
cfAED Doktoranden im Exzellenzcluster "Center for Advancing Electronics Dresden" gesucht.
Weitere Informationen: http://tu-dresden.de/exzellenz/exzellenzcluster/cfaed/20120615_home
unter "Careers & Vacancies".

Forschung

Publikationen, technische Berichte, Abschlussarbeiten English, Dissertationen und Habilitationen English
  Ein Lehrbuch über 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
Wissenschaftliche Auszeichnungen English
Forschungsschwerpunkte English
Kontakte in English
Software-Systeme English

Veranstaltungen, Tagungen, Zeitschriften.

  Workshops und Konferenzen in English
( DL 2014, KR 2014, IJCAR 2014, PRUV 2014, ...)
Zeitschriften im Bereich künstliche Intelligenz und Logik:
JANCL - Journal of Applied Non-Classical Logics
AICom - The European Journal on Artificial Intelligence
Journal of Artificial Intelligence Research
Journal of Applied Logic
LMCS - Logical Methods in Computer Science
Artificial Intelligence
Journal of Automated Reasoning

Links

Description Logic Homepage
DFG-Graduiertenkolleg QuantLA
DFG-Graduiertenkolleg RoSI
DFG-Sonderforschungsbereich HAEC
DFG-Forschergruppe HYBRIS
Exzellenzcluster CFAED
International Center for Computational Logic ICCL
European Masters Program in Computational Logic EMCL
Homepage der Fachgruppe 0.1.6 der GI "Logik in der Informatik"
Interne Seiten

Adresse

Postadresse
Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik
D-01062 Dresden
Besuchsadresse
Nöthnitzer Str. 46
01187 Dresden
Tel.: (0351) 463 38231
FAX: (0351) 463 37959


Impressum