In knowledge representation and reasoning (KRR) one defines formal (non-ambiguous) languages to
express knowledge (or information) about a problem domain. This knowledge can then be used by
multiple, generic algorithms (often called inference methods) to solve concrete problems. Research in the
AI lab covers representation languages, (efficient) reasoning methods, and foundations of KRR.