Artificial Intelligence section

 Scientific staff in the AI Section focuses on the theory and practice of building intelligent systems across core areas of artificial intelligence, including knowledge representation, data mining and machine learning, argumentation, robotics and autonomous systems, and verification. The section is organised thematically in five corresponding research groups:

The leader of the AI section is Professor Frank Wolter

Research in the AI section mainly builds on computer science but also has an interdisciplinary flavour by taking inspiration from fields such as economics, biology, mathematics, and engineering. The AI section has several externally funded research projects (UK and EU funding), and also engages in applied industry-driven research projects (e.g. law, robotics, pharmaceutical companies). The details of these projects can be found on the individual group pages. The AI section plays an internationally leading role by publishing at leading AI conferences, and has a strong presence on the editorial boards, and organisation and program committees of major events in AI.

The AI section is involved in a state-of-the-art robotics laboratory named smARTLab (swarms, multi-agent and robot technologies, and learning Lab).  smARTLab has two large experimentation facilities for research and development of ground robots and unmanned aerial vehicles (UAVs).