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

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 (ICAART2012, LATA2012, LPAR2012, ESWC2012, WIMS2012, KR2012, CiE2012, IJCAR2012, ECAI2012, AIMSA2012, RR2012, JELIA2012 ...)

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

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