The information engineering group works in the area of knowledge representation and reasoning. Particular topics of interest herein are:

• Qualitative and quantitative knowledge represantation
• Non-monotonic logics and inference
• Commonsense reasoning
• Belief change

The members of the group are listed here.