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