The Knowledge Representation research group is dedicated to representing information about the world in a form that a computer system can utilise to solve complex tasks, such as driving a car or diagnosing a medical condition. This group has three main focuses:
Intelligent information systems
Investigates how information can be retrieved from structured but incomplete or heterogeneous data sets, which are growing at an enormous rate.
Foundations of multi-agent systems
Uses methods from computational and philosophical logic to explore multi-agent systems and develop logics in which their behaviour can be specified. We also develop algorithms which check whether a system meets its specification.
Argumentation
Develops formal methods and languages, and explores the complexity of argument-based decision making in a broad range of models. A major application of our argumentation research is in law.
People
Academic staff members of this group are:
- Dr Louwe Kuijer
- Professor Katie Atkinson
- Professor Paul Dunne
- Professor Boris Konev
- Professor Frank Wolter
- Dr Jacopo de Berardinis
- Dr Floriana Grasso
- Dr Jack Mumford
- Dr Friedrich Slivovsky
- Dr Valentina Tamma
Back to: Department of Computer Science