Chair of Automata Theory
Chair of Automata Theorytu-dresden.de/ing/informatik/thi
Most of the research done in this group is concerned with automated deduction, that is, with the problem of how to automate the process of drawing logical inferences. In this context, they are mainly interested in subclasses of first-order predicate logic for which the interesting inference problems are still decidable.
Director: Prof. Dr.-Ing. Franz Baader