Winter 2014, St. George Campus

Department of Computer Science, University of Toronto

---

Instructor: Vaishak Belle

• Contact: vaishak at cs dot toronto dot edu
• Instructor's website: www.cs.toronto.edu/~vaishak
• Lectures: Friday 12-2pm Room: BA 1200
• Tutorial: Wednesday 1pm Room: BA 1200
• Office hours: Thursday 2-3pm Room: PT 398A

---

Announcements: CHECK THIS SPACE REGULARLY

• April 15: Results on Assignment 3 are out.
• April 14: Results on Assignment 4 are out. The marks distribution for the exercises are as follows: 10 pts for 1, 10 pts for 2, 10 pts for 3, 20 pts for 4, 15 pts for 5, 15 pts for 6, and 20 pts for 7. (Assignment 3 marks will be out shortly.)
• April 7: Results for Test 2 are published on the blackboard platform! You can pick up your test solution sheets during office hours (on Thursday).
• Mar 31: There will tutorials on April 2, for clarifications and questions.
• Mar 28: Two announcements.
  • Assignment 4 is out. It is due on April 4, but it can be submitted electronically without any loss of points by April 12.
    
  • Test 2 material = Lectures - {Test 1 material}.
• Mar 9: As some of you are aware, there is a CDF discussion board on this course. The board might be helpful to discuss the challenges of the exercises, for example.
  
• Mar 7: Tutorials will not be held on March 12 since Assignment 2 was discussed in class. Also, Assignment 1 has been corrected. Send me an email with your student number, and I'll mail you the score.
  • If you missed the class and want to discuss the assignment, send me an email.
• Mar 6: Assignment 3 is out!
• Feb 23: The tutorial session will be held on Wednesday (Feb 26), where the corrected tests will be handed out, and the solutions to the tests discussed.
  • I received emails that the scores are not visible on blackboard. The corrected sheets can be obtained in the tutorial session; if it is important that you know the scores before Feb 26, then you may send an email with your name and student number.
• Feb 22: Test 1 is corrected. The scores are released on the blackboard platform. Check this space for an announcement on when the test sheets can be reviewed.
• Feb 18: Assignment 2 out! See below.
• Feb 17: See this website on a summer project in knowledge representation. Apply ASAP!
• Feb 14: Two announcements.
  • Assignments will be put out on Feb 18. The due date will be extended to March 14.
  • Tests will be corrected by Feb 22. See this space for the announcement. Once corrected, you can email me, and I can mail your marks to you.
• Feb 12: As announced in class, the test includes material until Slide 90, that is, everything until the end of Chapter 5. Best of luck!
• Feb 7: Tutorials on Feb 12. Test on Feb 14.
  • Nature of this tutorial: I will discuss a couple of examples pertaining to FOL, and answer questions (if any).
    
• Feb 5: Gentle Reminder! Assignments due in Class on Feb 7.
• Jan 31: no tutorials on Feb 5. For questions, send me email/drop by office hours.
• Jan 29: There was a question raised on Exercise 6 of Assignment 1. The question was what does the set RES(C) look like. I mentioned in the tutorial that let R = RES(C) include not only the propositional resolvents, but the original set of clauses C as well. This turns out to be correct: please prove the exercises by letting R including C and all resolvents of C.
• Jan 25: tutorials to be held on Jan 29
• Jan 17: no tutorials on Jan 22
• Jan 10: no tutorials on Jan 15
• Jan 7: Introductory class to be held on January 10, 2014.

---

Handouts

• Mar 28: Assignment 4
• Mar 6: Assignment 3
• Feb 18: Assignment 2
• Jan 31: Answer Set Programming Slides
  • The slides are password protected. If you weren't in today's class or lost the password, just send me an email. I'll mail the slides to you as an attachment.
  • To unpack these slides, just run 'unzip asp.zip' on your terminal, and it should prompt you for the password.
• Jan 17: Assignment 1
• Jan 10: Course Information Sheet (description of course, grading and policies)
  
  • Emailing Assignments: Emailing assignments are OK provided they are emailed before or during the Lecture class on the appropriate due date

---

Lecture Notes

• The recommended text for the course is the book Knowledge Representation and Reasoning by Brachman and Levesque, Morgan Kaufmann Publishers, 2004, ISBN 1-55860-932-6.
  • The Lectures Notes are available: download

---

Links

• See this website on a summer project in knowledge representation. Apply ASAP!
• Applications and solvers for Answer Set Programming
• Description Logic Complexity Navigator