T-79.5102 Special Course in Computational Logic
Tentative Schedule (Autumn 2005)
Period I
- Lecture 1 (12.9.2005)
- Introduction
Refresher on propositional logic
- Lecture 2 (19.9.2005)
- Binary decision diagrams
Home assignment 1
- Lecture 3 (26.9.2005)
- Davis-Putnam method
- Lecture 4 (3.10.2005)
- Implementing the Davis-Putnam method
- Lecture 5 (10.10.2005)
- Local (stochastic) search methods
- Lecture 6 (17.10.2005)
- Planning as a satisfiability problem
Home assignment 2
Period II
- Lecture 7 (31.10.2005)
- Monotonic rule-based reasoning
- Lecture 8 (7.11.2005)
- Non-monotonic rule-based reasoning
- Lecture 9 (14.11.2005)
- Planning as a stability problem
Some properties of stable models
Home assignment 3
- Lecture 10 (21.11.2005)
- Implementation techniques
- Lecture 11 (28.11.2005)
- From stability to propositional satisfiablity
Review of lectures
- No lecture (5.12.2005)
- Course feedback