Support 2024:
See also links below…
New:
Problems Solved by Students:
Support:
Support for Prolog: Lectures on Prolog [slides 2021/2022] + Sets of Examples + interesting links
With Best Christmas Wishes 2022 - just for fun:
—
Basic reference handbook:
—-
—-
Systems Modelling and Data Analysis + Engineering of Intelligent Systems
Basic reference handbook:
—-
Support materials/Lecture slides:
New: Screencast from on-line lectures: video+sound (Use Google Chrome or try your browser):
Auxiliary support and internet sources:
Lectures: Tuesdays, C-2, Room 429, 15:30-17:00
Preparation for exam 2018 - main focus List of topics
—-
Attention: new location: Building C-3, Room 101. Time: Wednesdays, 12:30-14:00
The following classes will focus on modelling of discrete optimization and constraint satisfaction problems. Student will learn how to represent correctly different problems using constraint programming techniques.
The following classes will cover automated planning problems. Student will learn how to represent planning problems using constraint programming and dedicated tools.
This part of the course will present probabilistic programming — a new programming paradigm meant to model domains uncertainty and imperfect knowledge.
There are three projects to choose from:
All the project are available via gitlab.
The test assignment is an obligatory project, that everyone has o finish before starting working on the one real projects.
Instructions, how to do the projects are included in the README.md
files.
The deadline is simply last class in the semester. While grading I will check:
PS yes, you can do projects in pairs.