See the different subsections for publications, people currently working in the KR Group and information on current and past research projects.
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 website of the Knowledge Representation & Reasoning Group is located at http://krr.cs.vu.nl/