Artificial intelligence

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.

Research areas

Application Areas

Research Topics

  • Virology
  • Timetabling
  • Computer security
  • Social media
  • Graph databases
  • Puzzles and games
  • Route/holiday planning
  • Bioinformatics
  • Organic chemistry
  • Transportation
  • Autonomous agents
  • Smart home
  • Personal health monitoring
  • Constraint programming
  • Combinatorial search
  • Computational algebra/logic
  • Natural language processing
  • Image processing
  • Computer vision
  • Cognitive robotics
  • Computational argumentation
  • Machine learning systems
  • Cloud/Edge computing
  • Automated planning & scheduling
  • Sensing systems
  • Domain adaptation