Research Groups

Algebra and Discrete Structures

Manuel Bodirsky

Research Group at the Institute of Algebra at the Faculty of Mathematics of TU Dresden. Fields of I… read on

Automata Theory

Franz Baader

Prof. Dr.-Ing. Franz Baader was appointed to the chair of automata theory in 2002. His chair offers basic and in-depth courses for various degree programmes, and conducts research in the areas of deduction, knowledge representation, as well as c… read on

Computational Logic

Sebastian Rudolph

The Computational Logic (CL) group is focusing on modeling and reasoning aspects of logic-based knowledge representation. We are interested both in the mathematical and formal foundations of diverse knowledge representation paradigms but also in… read on

Knowledge-aware Artificial Intelligence

Simon Razniewski

The KAAI group develops develops novel methods for generating, extracting and consolidating knowledge from, for and with text, language models (LLMs) and knowledge bases (KBs). Further information can be found on the [https://scads.ai/about-us/… read on

Logic Programming and Argumentation

Sarah Alice Gaggl

The research group Logic Programming and Argumentation at the faculty of informatics, Institute of Artificial Intelligence deals with theoretical and practical aspects of logic programming in particular with answer set programming (ASP) as well … read on

Verification and formal quantitative Analysis

Christel Baier

The research of the Verification and formal quantitative Analysis group mainly focuses on modeling, specification and verification of reactive systems as well as quantitative analysis of stochastic systems and probabilistic model checking. Other… read on

Knowledge-Based Systems

Markus Krötzsch

The research group Knowledge-Based Systems is concerned with methods for the intelligent management and processing of information in computer systems. This includes research questions from knowledge representation, reasoning and formal logic, bu… read on