Announcements
- 04/06/01.
Remember that on Tuesday April 10 class is postponed to 5pm in 3505 SC.
Remember to print a presentation evaluation form from the Resources section and bring it with you on Tuesday.
- 03/27/01.
The readings for Friday have been posted.
- 03/25/01.
The readings for next class have been posted.
- 03/20/01.
It might help you understand CCR better if you also took a look at
a paper describing RDL, a CCR(X) implementation.
The paper is not on-line but I have copies for everybody.
Stop by my office any time before Friday to get yours.
- 02/20/01.
The Assignments section now reflects
the schedule change we discussed today in class
(more discussion on Friday,
and new paper presentation on Tuesday by Tobias).
- 02/06/01.
The Assignments section now reflects
the schedule change we discussed today in class
(more discussion on Friday,
and new paper presentation on Tuesday).
- 02/01/01.
As a follow up our brief class discussion on
some very common mistakes experimental AI researchers make,
check out the excellent tutorial Empirical Methods for AI and CS,
now available from the Resources section.
- 01/30/01.
For computer work we will use the Linux machine goedel.cs.uiowa.edu.
You can login to goedel only with secure shell.
From a lab HP, type ssh goedel -l username,
where username is the one you were given in class today.
Then enter the password you were also given today, and you are in.
To login from home you need to have the secure shell client software installed on your system.
You can dowload it from here.
- 01/26/01.
The Assignments section now reflects
the schedule change we discussed today in class.
- 01/22/00.
The Resources section now contains the form
``Criteria for evaluating a paper''.
It is for you to dowload and use during the semester to review the
assigned papers.
The section also contains the form ``Criteria for evaluating a talk''.
Copies of that form will be provided in class for you to evaluate in-class presentations.
- 01/19/01.
In preparation for your paper presentation you may want to take a look the Resources section,
which contains some material with tips on how to give good presentations.
The section also contains material on how to write good abstracts/papers,
and how to be a more effective researcher.
Check it out!
- 01/19/01.
The reading of Chap 3 of [ChaLee73] for next time is replaced by Chap. 2 of [Lei97].
Please check the assignments page for more details.
- 01/16/01.
Copies of [Sti87],
the ``Introduction to Automated Deduction'' paper,
are up for grabs at Gayle's desk.
- 01/16/00.
The readings for next time are [Ohl97], [Sti87] and [Hen00].
The first, [Ohl97], should be mostly review.
The same for [Hen00] if you already know Prolog.
- 01/16/01.
Please check this space daily for class-related announcements.