TU Wien:Practical Applications of Answer Set Programming VU (Weinzierl)

From VoWi
Jump to navigation Jump to search

Daten[edit]

Lecturers Antonius Weinzierl
ECTS 3
Alias Practical Applications of Answer Set Programming (en)
Department Logic and Computation
When summer semester
Last iteration 2022SS
Language English
Mattermost practical-applications-of-answer-set-programmingRegisterMattermost-Infos
Links tiss:192084
Zuordnungen
Master Logic and Computation Wahlmodul Knowledge Representation and Artificial Intelligence
Master Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik


Inhalt[edit]

Beginnend mit einer kleinen Einführung in Answer-Set Programming, geht es über zu den Abläufen in Grounder und Solver Komponenten. Es werden auch Modellierungs- und Optimisierungsmethoden erläutert, welche in kurzen "exercise sheets" angewandt werden.

Benötigte/Empfehlenswerte Vorkenntnisse[edit]

noch offen

Vortrag[edit]

Frontalvortrag im Stile der KBS-Gruppe. Aber im kleinen Kreis, daher oft mit Diskussion verbunden.

Übungen[edit]

Kurze "exercise sheets", welche stark an Lückentextbeispiele erinnern.

Prüfung, Benotung[edit]

Mündliche Prüfung mit folgende Fragen:

  • Worum ging es in der Vorlesung?
  • Was ist der Unterschied zwischen starker und schwacher Negation?
  • Was hat Sie am meisten interessiert? Fragen dazu.
  • Was ist das Generate-Define-Test Pattern.
  • Einfaches Problem mit Stift und Zettel lösen. Bei mir war es jedem Knoten in einem Graphen genau ein Label zuzuweisen.

Dauer der Zeugnisausstellung[edit]

noch offen

Zeitaufwand[edit]

noch offen

Unterlagen[edit]

noch offen

Tipps[edit]

noch offen

Verbesserungsvorschläge / Kritik[edit]

noch offen

Attachments

This page has no attachments yet but you can add some.