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

This course provides applications and examples well-suited for logic-oriented programming languages. The course is divided into three parts. The first part will introduce you to SAT and QSAT, while the following two parts will deal with answer-set programming.

Organisation

Registration as follows:

• Subscribe to course in TISS and activate forum participation.

Lecturers

Uwe Egly, Christoph Redl, and Hans Tompits

Course of Action and Topics of the Lecture Part

• Thu Mar 08, 17:00-20:00: Organisation + SAT I (Egly)
• Thu Mar 15, 17:00-20:00: SAT II (Egly)
• Thu Apr 12, 17:00-20:00: ASP I (Tompits)
• Thu Apr 19, 17:00-20:00: ASP II (Tompits)
• Thu Apr 26, 17:00-20:00 ASP III (Redl)
• Thu May 3, 17:00-20:00: ASP IV (Redl)

ECTS breakdown: 3 ECTS = 75 hours

• Lectures, course introduction 18h
• Preparation for the final exam 55.5h
• Final exam 1.5h

The course material is in English; introductory courses will be held in English on demand.

Final exam.

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)

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