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 Michael Thielscher
opens in a new window

Our people

opens in a new window
Deputy Dean (Education) Maurice Pagnucco
Deputy Dean (Education)
opens in a new window