Group picture © -

The KRR group

The Knowledge Representation and Reasoning group has two major parts: modeling human reasoning with non-monotonic logics 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.

learn more The KRR group

Wichtige Themen im Überblick

EMCL 2005 © Steffen Hölldobler