Group picture © -

The KRR group

The Knowledge Representation and Reasoning group has two major parts: human reasoning and solving the satisfiability testing and related decision and discrete optimization problems. In both areas we focus on research, and on the other hand teach with most recent research results.

IMPORTANT NOTIFICATION: Currently, we have no access to university phones. Please contact us via email. Offices are closed from public access. For urgent matters, you can contact Steffen Hölldobler at 0151 27023623.

learn more The KRR group

Wichtige Themen im Überblick

Mauer mit TU Dresden Schriftzug © TU Dresden