Home

Artificial intelligence is the study of systems that learn, solve problems, represent knowledge about the world, generate text and images, and do other things regarded as characteristics of intelligent behaviour.

The Artificial Intelligence Research Theme’s work in artificial intelligence and symbolic computing is concerned with how we can make use of computers to augment human mathematical and logical capabilities and in investigating how to automate human capabilities such as face recognition.

Amongst many fields we are active in computer vision, constraint programming, natural language processing, computational argumentation, and symbolic computation.