The Knowledge Representation & Reasoning Group investigates modelling and representation of different forms of knowledge and reasoning, as found in a large variety of AI systems. We have an interest in both applications and theory. We study theoretical properties of knowledge representation and reasoning formalisms, but are also involved in developing practical knowledge-based systems. Recently, we have been very active in developments around the Semantic Web.
The Group also hosts the DReaMS Lab, a collaboration between the Computational Lexicology & Terminology Lab (CLTL, Prof. dr. Piek Vossen) and the Knowledge Representation and Reasoning group (KRR, Prof. dr. Frank van Harmelen), both at VU Amsterdam; the Information and Language Processing Systems at the UVA (Prof. dr. Maarten de Rijke) and the Huawei Consumer Business Group. See https://krr.cs.vu.nl/projects/ for more details.
People working at the KRR research group.
The website of the Knowledge Representation & Reasoning Group is located at http://krr.cs.vu.nl/