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

2017S, 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 02, 16:00-19:00: Organisation + SAT I (Egly)
  • Thu Mar 16, 16:00-19:00: SAT II (Egly)
  • Thu Mar 23, 16:00-19:00: ASP I (Tompits)
  • Thu Mar 30, 16:00-19:00: ASP II (Tompits)
  • Thu Apr 06, 16:00-19:00 ASP III (Redl)
  • Thu Apr 27, 16:00-19: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.

 

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

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Thu16:00 - 19:0002.03.2017 - 22.06.2017EI 5 Hochenegg HS Declarative Problem Solving
Thu16:00 - 19:0027.04.2017FH Hörsaal 6 - TPH VO Deklaratives Problemlösen
Declarative Problem Solving - Single appointments
DayDateTimeLocationDescription
Thu02.03.201716:00 - 19:00EI 5 Hochenegg HS Declarative Problem Solving
Thu09.03.201716:00 - 19:00EI 5 Hochenegg HS Declarative Problem Solving
Thu16.03.201716:00 - 19:00EI 5 Hochenegg HS Declarative Problem Solving
Thu23.03.201716:00 - 19:00EI 5 Hochenegg HS Declarative Problem Solving
Thu30.03.201716:00 - 19:00EI 5 Hochenegg HS Declarative Problem Solving
Thu06.04.201716:00 - 19:00EI 5 Hochenegg HS Declarative Problem Solving
Thu27.04.201716:00 - 19:00FH Hörsaal 6 - TPH VO Deklaratives Problemlösen
Thu04.05.201716:00 - 19:00EI 5 Hochenegg HS Declarative Problem Solving
Thu18.05.201716:00 - 19:00EI 5 Hochenegg HS Declarative Problem Solving
Thu08.06.201716:00 - 19:00EI 5 Hochenegg HS Declarative Problem Solving
Thu22.06.201716:00 - 19:00EI 5 Hochenegg HS Declarative Problem Solving
Course is held blocked

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 CodeObligationSemesterPrecon.Info
033 533 Medical Informatics Mandatory electiveSTEOP
Course requires the completion of the introductory and orientation phase
033 534 Software & Information Engineering Mandatory electiveSTEOP
Course requires the completion of the introductory and orientation phase
860 GW Optional Courses - Technical Mathematics Not specifiedSTEOP
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