Logical Foundations of Artificial Intelligence

Updated displayed material for the Final is posted at "Handouts".
The Final will take place on Monday, May 20 11:45-1:45 in our usual room 6495.
There will be two in class tests (March 6 and April 17) and a final exam (May 22). All exams are closed-book.
There will be weekly homework assignments. Normally, homework assignments are issued on Wednesday
and are due the next Wednesday.
Students are free to discuss the homework assignments but the write-up must be independent work.
Homeworks will be collected in class on Wednesdays before lecture; no extensions will be granted. However, for each student, the two worst homeworks will be disregarded.
The course grade will be determined by counting the two prelims (roughly) 40%, final exam 40%, and homeworks 20%.
Grading complaints should be directed to the Teaching Assistant. You must contact him within one week of the date on which the assignment was handed back.

Meets	Wednesday, 11:45-1:45pm GC 6495

Instructor	Sergei Artemov GC 4329, 212-817-8661 sartemov@gc.cuny.edu
Office hours	Room 4329, Wednesday 2:30-3:30pm, and by appointment
Textbook	Artificial Intelligence: A Modern Approach. Stuart Russell, Peter Norvig.