Semantic and Declarative Technologies Course -- AIT 2024 Autumn Semester


This page contains information on the Semantic and Declarative Technologies Course -- AIT 2024 Autumn Semester

News

Slides of the present, 2024 Autumn semester

Course information

The course rules can be downloaded from here.

ETS - the Electronic Teacher Support system

The login page of ETS is available here. Some browsers may ask you for additional confirmation as they consider this an "unsafe" site.

For logging into ETS you will need a user code (given by us) and a password (chosen by you). Your user code is obtained by concatenating your last name(s) and the first name, in this order, and taking the first six letters of this string (omitting spaces, hyphens, etc). If you have provided a preferred first name in parentheses, that will be used and all the other non-last names ignored. For example: the user code for "Fui Si (Chris) Won" is WONCHR.

When you first log in:

  1. enter your user code, leave the password field blank;
  2. check the email address in the form displayed and edit it, if needed, then press the Go button;
  3. wait until you receive a generated password at the email address provided by you;
  4. enter this password in the second form displayed;
  5. from now on you can access the services of ETS using this password.
You can change your email and password anytime using the menu item "My data". Please do not use a valuable password here.

Practice and Homework tasks

Mid-term test

Date: Oct-18-2024

Sample mid-term tests are available: sample 1, sample 2, solutions: sample 1, sample 2,

Assignments

All assignments are to be submitted via the ETS Electronic Teacher Support (ETS) tool.

Assignment 1

Solving a Sudoku puzzle: .pdf.
You can download the test cases from here.

Deadline : Friday, 11-01-2024
Please read some important advice given here.
If (and only if) you think you are unable to solve the problem, please read the hints available from this page.

There is some information on how to handle subgrids without recursion here.

You can discuss approaches and algorithms, but no code pieces should be shared!

Assignment 2

Solving a Skyscraper Sudoku puzzle. Task description: .pdf.

Deadline: Friday, Dec 6th, 2024.

A description of Skyscraper Sudoku rules can be found here.
You can download the test cases from here.

Here is a related video. A simpler version of the puzzle can be played online here.

Lots of Skyscraper Sudoku puzzles can be downloaded from here.

Finals

The finals are split into two parts: a sit-in part on the Semantic Web, and a take-home part on CLPFD programming.

You will write the sit-in part (Semantic Web) of the final test on Wednesday, 13th December 2024 at 4 pm.
The sample final test (Semantic Web part) can be downloaded from here and its solution from here.
Note that the restriction mentioned in the first sentence of the above PDF files does not apply: you can use your laptop to read the slides during the final, to save the environment :-).

The CLPFD part of the final test can be downloaded from here. It can be submitted and tested using ETS.
CLPFD part deadline: midnight of Wednesday, 11th December.
The CLPFD part is related to the end view puzzle, see e.g. here.
Some additional hints are available here.