Please be advised: Due to system maintenance the access module is not available for changes, Please accept our apologies for any inconvenience.

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.

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


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

Learning outcomes

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.

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.


Registration as follows:

  • Subscribe to course in TISS and activate forum participation.


  • The UE Declarative Problem Solving will be held in the winter term 2022/23!


  • Uwe Egly: SAT and QSA
  • Hans Tompits: ASP Part I
  • Tobias Geibinger: ASP Part II

Teaching methods

Frontal lecture.

Mode of examination


Additional information

ECTS breakdown: 3 ECTS = 75 hours

  • Lectures, course introduction 24h
  • Preparation for the final exam 50h
  • Final exam 1h

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



Examination modalities

Oral exam.

Course registration

Begin End Deregistration end
23.02.2022 19:00 18.03.2022 23:55 18.03.2022 23:59


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


No lecture notes are available.

Previous knowledge

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

Accompanying courses


if required in English