Knowledge Representation Group

This is the home page of the Knowledge Representation Group, part of the Artificial Intelligence section in the Department of Computer Science at the University of Liverpool.

Knowledge representation and reasoning is an established area of research within the wider context of Artificial Intelligence, which reaches out to other fields beyond AI including automated reasoning, databases, the semantic web, the development of software agents, system specification, argumentation, machine learning, verification, complexity and philosophical foundations.

The group is led by Professor Boris Konev

About the Knowledge Representation Group