Knowledge Representation Group
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
|Staff and students|
|Our research projects|