TCS / Studies / T-79.154 / 2000
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Tik-79.154 Logic in Computer Science: Special Topics II

Autumn 2000

Other years: [Autumn 2001] [Autumn 1999]

This is an advanced course on logic and its applications in computer science and engineering. Subjects covered this year are: advanced decision methods for propositional logic (Davis-Putnam, BDDs, stochastic methods) and for rule-based reasoning.

[General Information] [Examinations] [Home Assignments] [Software] [Program] [Reading List]

General Information


Home Assignments





Precompiled programs are available in the machines of computing centre: please consult the directory ~tssyrjan/Tik-79.154/bin/.


September 14: Lecture 1, no tutorial
Introduction, a refresher on propositional logic
September 21: Lecture 2, Tutorial 1 (solutions)
Rule-based Reasoning I (see [DG84])
September 28: No lecture
October 5: Lecture 3, Tutorial 2 (solutions)
Davis-Putnam method (see [F90], [LA97])
October 12: Lecture 4, Tutorial 3 (solutions)
Stochastic methods (see [SKC] and [CA96])
October 19: Lecture 5, Tutorial 4 (solutions)
Binary Decision Diagrams (see [Andersen97] and [Bryant86])
October 26: Lecture 6, Tutorial 5 (solutions)
Rule-based Reasoning II (see [Niemelä99])
November 2: No lecture
November 9: Lecture 7
Implementation techniques: smodels and lparse
November 16: Lecture 8
Planning as satisfiability (see [KS92] and [KS96]), satplan
November 23: Lecture 9
Planning with stable models, remarks on the complexity of computing stable models
November 30: No lecture
December 7: Guest lecture
Tommi Junttila: (title to be announced)

Reading List

Please contact the lecturer in order to get copies of articles that are not available in the web.

Latest update: June 1, 2001 by Tomi Janhunen