Tik-79.154 Logic in Computer Science: Special Topics II

Program Autumn 1997

• Week 38: Introduction + a refresher on classical logic

• Week 39: Davis-Putnam method

• Week 40: Binary Decision Diagrams (BDDs)

• Week 41: Stochastic Local Search Methods

• Week 42: Rule-based reasoning

• Week 43: Logic programs, introduction to home assignments

• Week 44: Home assignments: consultation

• Week 45: Case study: planning, introduction to tools

• Week 46: Complexity issues

• Week 47: Home assignments: consultation

• Week 48: Home assignments: consultation

• Week 49: Home assignments: reports

• Week 50: Exam