A fundamental assumption in Knowledge Representation and Reasoning is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. The assumption that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Our main strengths are in cognitive robotics, reasoning about actions and change, AI systems with general intelligence, and computer game playing. 

Head of research group

Professor
View Profile
opens in a new window

Our people

Empty profile image
Lecturer
View Profile
opens in a new window
View Profile
opens in a new window
Deputy Dean (Education)
View Profile
opens in a new window