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.
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.
Academic staff members of this group are:
- Professor Frank Wolter
- Professor Katie Atkinson
- Professor Boris Konev
- Professor Paul Dunne
- Dr Floriana Grasso
- Dr Angrosh Mandya
- Professor Trevor Bench-Capon
- Dr Valentina Tamma
- Dr Louwe Kuijer
Back to: Department Of Computer Science