GitHub repository: xelahalo/belief-revision
Description: Belief revision assignment for DTU's Introduction to Artificial Intelligence course