Knowledge representation and reasoning is a branch of artificial intelligence that is concerned with logical formalisations of knowledge about aspects of the real-world in a form that computers can reason with in a way that mimics human reasoning.
Key areas of interest include reasoning with inconsistent information, argumentation, temporal reasoning, and algebraic formalisms. Funding for this research comes from sources including EPSRC and The Royal Society. Members of the group involved in this reasearch include: