EECS 344 Lectures and Discussion notes

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