Aufgrund von Wartungsarbeiten sind ab 16:00 keine Änderungen im Schließsystem möglich. Der Menüpunkt Schließsystem wird ausgeblendet. Wir danken für Ihr Verständnis!

184.700 Deklaratives Problemlösen Abgesagt
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2019S, VO, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VO Vorlesung

Ziele der Lehrveranstaltung

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

Inhalt der Lehrveranstaltung

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)

Weitere Informationen

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.

Vortragende

Institut

Leistungsnachweis

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)

Prüfungen

TagZeitDatumOrtPrüfungsmodusAnmeldefristAnmeldungPrüfung
Do.14:00 - 15:0010.10.2019 Favoritenstraße 9-11, 3rd Floor, Institute of Logic and Computation, Room Hahnmündlich26.09.2019 00:00 - 07.10.2019 23:59in TISSOral exam
Do.15:00 - 16:0020.02.2020 Favoritenstraße 9-11, 3rd floor, Room Hahnschriftlich07.02.2020 00:00 - 17.02.2020 23:59in TISSOral exam
Fr.13:00 - 15:0003.04.2020 Favoritenstraße 9-11, 3rd floor, room Hahnmündlich10.03.2020 23:00 - 31.03.2020 23:59in TISSOral exam

LVA-Anmeldung

Nicht erforderlich

Curricula

StudienkennzahlSemesterAnm.Bed.Info
033 533 Medizinische Informatik STEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
033 534 Software & Information Engineering STEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP
860 GW Gebundene Wahlfächer - Technische Mathematik STEOP
Lehrveranstaltung erfordert die Erfüllung der Studieneingangs- und Orientierungsphase STEOP

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

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

Begleitende Lehrveranstaltungen

Sprache

bei Bedarf in Englisch