The KR&R group at the VU existed from 1996 until 2022 and investigated modelling and representation of different forms of knowledge and reasoning, as found in a large variety of AI systems.

From 2022 onward, its activities are continued in two closely collaborating groups at the Vrije Universiteit Amsterdam.

Knowledge in AI

The mission of the KAI group is to contribute to a better understanding of the representation, acquisition, extraction and management of explicitly modeled knowledge and to facilitate and promote the usage of such knowledge in artificial intelligent agents.

Learning and Reasoning

We study the ways machine learning, symbolic knowledge and formal reasoning can interact to enhance one another, based on the premise that inductive data-driven learning and deductive knowledge-based reasoning have complementary strengths and weaknesses.