CS 151 (Artificial Intelligence)
Spring 2000

Instructor: Margaret Fleck

• fleck@cs.hmc.edu
• office: x77952, 1265 Olin
• office hours: TBA Dropping in at random times often works: see the schedule on my web page
• often found at: the CS labs (especially 102 and 120 Beckman), the CS office, Platt, coffee cart

Miscellany

• Time/place: M/W 1:15-2:30, GA Pryne
• Computer Science office: 240 Olin, x18225
• Computer Science secretary: Nancy Mandala (in the office 1-5pm)
• Course mailing list: cs-151-l@hmc.edu
• Terminal room: 102 Beckman
• Quick reference guides for the CS department computers http://www.cs.hmc.edu/tech_docs/qref/

More information

• syllabus
• schedule
• schedule for in-class summaries
• Scheme
• style guidelines

Assignments

• assignment #1 due Monday 31 January at 5pm.
• assignment #2 due Thursday, 10 February at 5pm.
• assignment #3 due Thursday, 24 February at 5pm.
• assignment #4 due Tuesday, 4 April at 5pm.
• project: proposal is due 6 April, final report and demo 3 May (seniors) or 5 May (non-seniors)
• assignment #5 due Thursday April 13th at 5pm.

Course notes

• introduction to AI
• search #1
• search #2
• search #3
• logic #1
• logic #2
• logic #3
• chart parsing

Cool links:

• Cryptarithmetic solver in LLP (linear logic programming language) developed by, among others, our very own Josh Hodas
• Argonne National Labs Theorem Proving page (including, among other things, OTTER information)

This page is maintained by Margaret Fleck.