Chair for Automata Theory

Diese Seite auf Deutsch

Institute for Theoretical Computer Science

Faculty of Computer Science

Chair

Head: Prof. Franz Baader

Staff

Information for students

Research

Publications, technical reports, bachelor and master theses (including Diplomarbeiten), habilitation and PhD theses

A textbook on term rewriting: Franz Baader, Tobias Nipkow: Term Rewriting and All That Now also as paperback!

A new handbook on description logic: Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter Patel-Schneider (Ed.): The Description Logic Handbook

Scientific Awards

Major research topics

Contacts

Software systems

Events, Meetings, Journals.

Workshops and Conferences (ICAART2012, LATA2012, LPAR2012, ESWC2012, WIMS2012, KR2012, CiE2012, IJCAR2012, ECAI2012, AIMSA2012, RR2012, JELIA2012 ...)

Journals on artificial intelligence and logic:

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 of the Fachgruppe 0.1.6 of the GI "Logic in Computer Science"

Internal pages

Address

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

Nöthnitzer Str. 46
01187 Dresden