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