Knowledge Representation

The representation of knowledge is an interdisciplinary area of research focusing on (multi-agent) reasoning and decision-making under uncertainty. This group is led by Dr Louwe Kuijer

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