TCS / Studies / T-79.5102 Special Course in Computational Logic
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science


Special Course in Computational Logic

(4 cr) P V

Autumn 2006 (periods I and II)

Navigation: [General Information] [Course Material] [Feedback] [Examinations] [Project Assignments] [Software] [TOPI]

Previous years: [Autumn 2005]

This is an advanced course on knowledge representation, automated reasoning and decision making. In autumn 2006, the course concentrates on foundations of agent-based systems and Bayesian models of uncertain reasoning.

General Information

  • Please use the TOPI system for registration.
  • This course replaces two former courses: T-79.154 Logic in Computer Science: Special Topics II and T-79.230 Foundations of Agent-Based Computing. The course contents is based on T-79.230 this term.
  • Lectures: Docent, D.Sc.(Tech.) Tomi Janhunen, Mondays, 12-14, room TB353
  • Tutorials: Stud.(Tech.) Vesa Ojala, Tuesdays, 15-16, room TB353
  • Course material: Stuart Russel and Peter Norvig: Artificial Intelligence: A Modern Approach. Second edition. Prentice Hall, 2003.
  • Brochure in Finnish
  • Tentative schedule for lectures
Back to menu.

Course Material

Lecture Notes

RoboCup Documentation

  • Soccer server manual (.pdf). The client protocol (including some tips) is given in Section 6.

Excercises from Tutorials

Back to menu.

Project Assignments

  • Project proposals are due by October 3, 2006.
  • Project assignments are due by December 12, 2006 (24:00).
  • Results for submissions received by the 15th of January, 2007 (revised Mar 23, 2007)
  • Please follow separate instructions for the project assignment.
Back to menu.


  • We welcome feedback which is collected from Dec 13, 2006, until Jan 3, 2007.
  • Please fill in the feedback form (in English)
Back to menu.


  • Please use the TOPI system in order to get registered for an exam. Registration starts roughly two weeks before an exam.
  • December 18, 2006, final results (published Feb 8, 2007)
  • March 5, 2007, final results (published April 2, 2007)
  • May 7, 2007, no examinees showed up
Back to menu.
[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 13 July 2007. Tomi Janhunen