CSC244/444: Logical Foundations of AI (Fall 2001)

Instructor: Prof. Len Schubert

TA: Tao Li

Text (required for grads): Genesereth & Nilsson, Logical Foundations of Artifical Intelligence

Supplementary Reading: Russell & Norvig, Artificial Intelligence

Instructor office hours: (CSB733) 2:00-3:30pm TR

TA Office hours: (CSB626) 4:30-6:00pm WF and by appointment

TA E-mail: taoli@cs.rochester.edu

This is the course homepage and is always under construction.

If you have registered the course, please send me a note , so I can put you on my cs244/444 mailing list.

Resources

LISP

Homework, Projects and Exams

Lecture notes