CSEN 907 Knowledge Representation and Reasoning (Elective for MET)

Course Material

1st  Week

1/22/2019
 to
1/28/2019

Introduction + Propositional Logic

Related Material:

2nd  Week

1/29/2019
 to
2/4/2019

Reasoning in Propositional Logic

Related Material:

3rd  Week

2/5/2019
 to
2/11/2019

First-Order Logic

Related Material:

4th  Week

2/12/2019
 to
2/18/2019

Reasoning in First-Order Logic

Related Material:

5th  Week

2/19/2019
 to
2/25/2019

Formalizing Commonsense Reasoning

Related Material:

6th  Week

2/26/2019
 to
3/4/2019

Problem Sessions

7th  Week

3/5/2019
 to
3/11/2019

Midterm Exams

8th  Week

3/9/2019
 to
3/14/2019

Midterm Exams

9th  Week

3/16/2019
 to
3/21/2019

Propositional Modal Logic

Related Material:

10th  Week

3/23/2019
 to
3/28/2019

Intensionality

Related Material:

11th  Week

3/30/2019
 to
4/4/2019

Nonmonotonicity I

Related Material:

12th  Week

4/6/2019
 to
4/11/2019

Nonmonotonicity II

13th  Week

4/13/2019
 to
4/18/2019

Temporality

Related Material:

14th  Week

4/20/2019
 to
4/25/2019

TBA

15th  Week

4/27/2019
 to
5/2/2019

Revision

Related Material:

16th  Week

4/30/2019
 to
5/6/2019

Revision

17th  Week

5/7/2019
 to
5/13/2019

Final Exams

18th  Week

5/14/2019
 to
5/20/2019

Final Exams

19th  Week

5/21/2019
 to
5/27/2019

Final Exams

RenewSession