CSEN 907 Knowledge Representation and Reasoning (Elective for MET)

Course Calendar

1st  Week

22nd of January
28th of January
Introduction + Propositional Logic


  • National Holiday (H)
    January, 25

2nd  Week

29th of January
4th of February
Reasoning in Propositional Logic

3rd  Week

5th of February
11th of February
First-Order Logic

4th  Week

12th of February
18th of February
Reasoning in First-Order Logic

5th  Week

19th of February
25th of February
Formalizing Commonsense Reasoning

6th  Week

26th of February
4th of March
Problem Sessions

7th  Week

5th of March
11th of March
Midterm Exams

8th  Week

9th of March
14th of March
Midterm Exams

9th  Week

16th of March
21st of March
Propositional Modal Logic

10th  Week

23rd of March
28th of March

11th  Week

30th of March
4th of April
Nonmonotonicity I

12th  Week

6th of April
11th of April
Nonmonotonicity II

13th  Week

13th of April
18th of April

14th  Week

20th of April
25th of April

15th  Week

27th of April
2nd of May

16th  Week

30th of April
6th of May

17th  Week

7th of May
13th of May
Final Exams

18th  Week

14th of May
20th of May
Final Exams

19th  Week

21st of May
27th of May
Final Exams