Symbolic Reasoning (MSc) - COMP97161
Aims
This module covers the foundations of symbolic reasoning: SAT solving, logic programming, answer set programming, and SMT solving. It equips you with the practical skills necessary to use to solve real-world problems in program reasoning and symbolic articial intelligence. It also provides the theoretical background for projects related to program reasoning and symbolic artificial intelligence, and augments topics covered in the the third year Logic-Based Learning course.
Role
Course Leader