184.700 Declarative Problem Solving Canceled
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2019S, VO, 2.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VO Lecture

Aim of course

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

Subject of course

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)

Additional information

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.

Lecturers

Institute

Examination modalities

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)

Course registration

Not necessary

Curricula

Study CodeSemesterPrecon.Info
033 533 Medical Informatics STEOP
Course requires the completion of the introductory and orientation phase
033 534 Software & Information Engineering STEOP
Course requires the completion of the introductory and orientation phase
860 GW Optional Courses - Technical Mathematics STEOP
Course requires the completion of the introductory and orientation phase

Literature

No lecture notes are available.

Previous knowledge

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

Accompanying courses

Language

if required in English