After successful completion of the course, students are able to name and explain different tools, languages, and logicoriented methods for declarative problem solving, as well as to correctly argue theoretical relations. In particular, after successfully complete of the course, students are able to 

• analyse employed techniques and methods,
• select relevant techniques and methods for a given problem, and
• critically assess relevant solutions and formalisms.

This course provides applications and examples from the area of declarative problem solving. The course is the practical part of the accompanying lecture of the same name and consists of solving tasks from the area of SAT and QSAT, as well as from answer-set programming.

Organisation

Attention: The lecture will be held in mixed presence/distance-learning modus. Exercise sheets will be available through TUWEL in due course as the accompanying lecture part proceeds and solutions are to be uploaded in TUWEL too.  Turn-in discussions and tutor hours will also be in presence and/or online mode.

Registration until the deadline is mandatory as follows:

1. Subscribe to course in TISS and activate forum participation.
2. Register at "Declarative Problem Solving Course Registration".

IMPORTANT:

• Registration (as above) is required.
• No belated possibility to (un-)register after the registration deadline!
• The above group is for registration purposes only. The course exercises are single student exercises; "teamwork" solutions, at least obviously identical turned-in files, will not be accepted.

Further organizational details (dates, turn-in discussions, etc.) will be posted in TISS and/or TUWEL.

Tutors

Availability of tutors for questioning will be made available as part of the corresponding TUWEL course. The tutor hours will be announced in TUWEL.  

Two projects

• Project 1: SAT (turn-in deadline: December 1, 2022, 23:55).
• Project 2: Answer Set Programming (turn-in deadline: January 19, 2023, 23:55).

Solving of exercises.

ECTS breakdown: 3 ECTS = 75 hours

• Course introduction 0.5h
• Solving 1 SAT project and 1 ASP project 73.5h
• Presentation of the projects 1h

The grading is on the basis of the submitted solutions.

Grading key:

< 51 points: N5
 >= 51 points: G4
 >= 63 points: B3
 >= 75 points: U2
 >= 88 points: S1

NOTE: Course materials are available from the TISS page of the according VO and from TUWEL.

Basic knowledge of Mathematical Logic (Unification, Horn-Clause Resolution).