1/8/08: Kickoff
1/10/08: Classical problem solving
1/15/08: Pattern-directed
inference systems, natural deduction
1/17/08: Extending PDIS
1/22/08: TMS
Introduction + JTMS
1/24/08: Using a TMS: Dependency-directed search, JSAINT
1/29/08: Special lecture: Pat Hayes
1/31/08: Logic-based
truth maintenance
2/5/08: Qualitative
Reasoning, Principles
2/15/08: Qualitative
Reasoning, Design & Implementation
Last edited 2/14/08, by KDF
EECS 344 Home Page