Attention:

• Email address for questions: dps-2017s AT kr.tuwien.ac.at
• Course start: Thu Mar 2, 2017. Course dates are provisional.
• Mandatory TISS course and group registration until Mar 14, 2017. Belated registration will be ignored.
• Mandatory TUWEL entry test from Wed Mar 15 to Fri Mar 17, 2017 (00:00-23:55)

Gaining expertise in applying SAT, QSAT, and Answer-Set Semantics for problem solving

Didactic Procedure

• Three larger exercises, split into sub-tasks, have to be solved and turned in.
• Participation in an entry test from Wed Mar 15 to Fri Mar 17 2017 is obligatory for course participation.
• Tutors are present for support regularly during lab exercise periods.
• A unique date for electronic turn-in of exercise solutions is followed by partly obligatory turn-in discussions (with tutors).

This course provides applications and examples well-suited for logic-oriented programming languages. The course is divided into three parts, each starting with an introductory lecture and finishing with the solution of a larger exercise, split into sub-tasks. The first part will introduce you to SAT and QSAT, while the following two exercises will deal with answer-set programming.

Organisation

Registration until 2017/03/14 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 2017/03/14!
• 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, etc.) will be posted in TISS.

Place

Presence of tutors in the lab will be made available as part of the corresponding TUWEL course.

3 projects

• Project 1: SAT (turn-in in week 16 of 2017, mandatory project presentation in week 17 of 2017)
• Project 2: Answer Set Programming with DLV (turn-in possibilities in weeks 19 and 21 of 2017)
• Project 3: Answer Set Programming with Potasco (turn-in possibilities in weeks 23 and 25 of 2017)

There will be two turn-in possibilities for project 2 and 3.  The procedure is as follows:

• your solutions will be tested with automatic test cases
• tentative points will be made available in TUWEL
• there is a possibility to turn-in (repeatedly) on the 2nd turn-in deadline 2 weeks later (p_i = achieved points for i-th turn-in (i=1,2)), where the total points for your project are calculated as follows:
• if you deliver your project at both turn-in 1 and 2: maximum of the points of the weighted mean: max { p_1, 0.8*p_2, (p_1 + 0.8*p_2)/1.8 }
• if you only deliver your project at turn-in 1: p_1
• if you only deliver your project at turn-in 2: 0.8 * p_2
• 0, otw.

Preliminary discussion together with Declarative Problem Solving VO: Mon Mar 2, 2017, 16:00-19:00, EI 5

ECTS breakdown: 3 ECTS = 75 hours

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

Attention: The course dates are old and will be updated!

1 entry test and 3 projects (Entry test and exercise turn-in via TUWEL)

• Total points for entry test: 10
• The 3 projects are totalling 90 pts (each individual project is totalling 30 pts)
• The presentation of the solutions is either positive (1) or negative (0)

Total sum of points: 100

Zero tolerance for unfair practice (e.g., plagiarism, copied solutions, ...). All involved persons will be fined with 0 pts. (You may get a negative certificate).

Grading

Requirements for a positive certificate:

• >= 5 points for the entry test;
• >= 51 points in total.

The course will be graded as follows:

• < 51 pts: N5 (Nicht Genügend)
• >= 51 pts: G4 (Genügend)
• >= 63 pts: B3 (Befriedigend)
• >= 75 pts: U2 (Gut)
• >= 88 pts: S1 (Sehr Gut)

ACHTUNG: Sämtliche Unterlagen sind auf die TISS-Seite der zugehörigen VO sowie in TUWEL zu finden.

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