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.