The KR&R group at the Free Vrije Universiteit Amsterdam investigates modelling and representation of different forms of knowledge and reasoning, as found in a large variety of AI systems.