Chair of Automata Theory

Chair of Automata Theory

tu-dresden.de/ing/informatik/thi

Technology: AI / Machine Learning

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