Imperial College London

ProfessorFrancescaToni

Faculty of EngineeringDepartment of Computing

Professor in Computational Logic
 
 
 
//

Contact

 

+44 (0)20 7594 8228f.toni Website

 
 
//

Location

 

430Huxley BuildingSouth Kensington Campus

//

Summary

 

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