Research Groups

From International Center for Computational Logic
Toggle side column

Research Groups

Algebra-transparent.png

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
LAT group photo 2022 04.jpg

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
CL-group-2021.png

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
LPArg-Group-Photo.png

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
L-UdrXJ98F4.jpg

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 2022-01-25.jpg

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