cs532: lectures
 
 
Schedule:
 
  1. 1.January 16:  Read B&L, chapter 1.  
  2. 2.January 23:  Read B&L, chapters 2 and 3.  Lecture notes are available here.
  3. 3.January 30:  Class canceled because of power outage!
  4. 4.February 6:  Read B&L, chapter 4.  Lecture notes are available here.
  5. 5.February 13:  Read these excerpts on intuitionistic logic. Lecture notes are available here.
  6. 6.February 20:  Read these excerpts and this article on modal logic. Lecture notes are available here.
  7. 7.February 27:  Read B&L, chapters 5 and 6.  Lecture notes are available here.
  8. 8.March 6: No new reading this week. Lecture notes are available here, and this is an additional note on the two kinds of special variables in a tableau proof for embedded implications.
  9. 9.Spring Break!  Check out the bibliography on the Projects page.
  10. 10.  March 20:  Read this paper from the Proceedings of the Twelfth International Joint Conference on Artificial Intelligence, pp. 890-896 (Morgan Kaufmann, 1991). Lecture notes are available here.
  11. 11.  March 27:  Read this paper from Logic Programming and NonMonotonic Reasoning: Proceedings of the Second International Workshop, pp. 417-436 (MIT Press, 1993). Lecture notes are available here and here, and these are some additional notes on stable models.
  12. 12.  April 3:  Read B&L, chapters 8 and 9.  Lecture notes are available here.
  13. 13.  April 10:  No new readings this week, but review  your readings on modal logic.  Lecture notes are available here.
  14. 14.  April 17:  Read B&L, chapter 16.  Lecture notes are available here.
  15. 15.  April 24:  Take-Home Exam (48 hours).  Here it is.
  16. 16.  May 8:  Student presentations.