The University of Iowa
22c:245 - Advanced Artificial Intelligence
Automated Reasoning
Spring 2004
10:55-12:10pm TuTh 140 BHC
Announcements
- 16/04/04.
There is an error in Homework 3.
Please read here for a fix.
- 13/04/04.
Homework 3 is out.
It is due on Thu, April 22, in class.
- 09/04/04.
Instructions on the final projects have been posted
in the Projects section.
- 03/09/04.
Homework 2's deadline has been extended to after the Spring break to
Tue, Mar 23, in class.
- 03/04/04.
Homework 2 is out.
It is due on Thu, Mar 11, in class.
- 03/03/04.
Instructions on the midterm projects have been posted
in the Projects section.
Paper and presentation time preferences are by Friday, March 12.
- 02/19/04.
The notes used in class today on the clause form
transformation process are available here.
- 02/17/04.
Homework 1 is out.
It is due on Tue, Mar 2, in class.
A ps version of it can be found here.
- 01/29/04.
A class logs section has been added.
You may refer to it to check what we did in class on
a particular day and what the readings for that day are.
- 01/20/04.
Welcome to the 22c:245 website!
Last Updated: April 16, 2004