Lehrstuhl für Automatentheorie

This page in English

Institut für Theoretische Informatik

Fakultät Informatik

Lehrstuhl

Leiter: Prof. Franz Baader

Verzeichnis der Mitarbeiter

Informationen zur Lehre

	Doktorand/Postdoc im Sonderforschungsbereich "Highly Adaptive Energy-Efficient Computing" gesucht. Weitere Informationen: Call for Applications.
	Graduiertenkolleg "Quantitative Logiken und Automaten" am 1. Oktober 2012 gestartet. Weitere Informationen: http://lat.inf.tu-dresden.de/quantla/.
	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 , Dissertationen und Habilitationen

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

Forschungsschwerpunkte

Kontakte

Software-Systeme

Veranstaltungen, Tagungen, Zeitschriften.

Workshops und Konferenzen (ICFCA 2013, WIMS 2013, AAAI 2013, FCT2013, FroCoS2013, DL 2013, ...)

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

Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik
D-01062 Dresden

Nöthnitzer Str. 46
01187 Dresden