Knowledge Representation

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