Code: COMP304
Credits: 15
Semester: Semester 2
This module presents formal ways to reason about knowledge and uncertain or partial information.