All lecture pages link into an SVN repository. You can browse them online or access them with an SVN client (svn on Unix, TortoiseSVN on Windows).
Spring 2012, Graduate Seminar
Fall 2011, Computational Logic lecture and lab
Spring 2011, Graduate Seminar
Fall 2010, Computational Semantics of Natural Language and lab
Spring 2010, Graduate Seminar
Fall 2009, Computational Logic lecture and lab
Spring 2009, Graduate Seminar
Fall 2008, Advanced Computer Science 1