TU Wien:Practical Applications of Answer Set Programming VU (Weinzierl)
Jump to navigation
Jump to search
Daten[edit]
Lecturers | Antonius Weinzierl |
---|---|
ECTS | 3 |
Department | Logic and Computation |
When | summer semester |
Language | English |
Links | tiss:192084 , Mattermost-Channel |
Mattermost: Channel "practical-applications-of-answer-set-programming" • Register • Mattermost-Infos
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]
noch offen
Dauer der Zeugnisausstellung[edit]
noch offen
Zeitaufwand[edit]
noch offen
Unterlagen[edit]
noch offen
Tipps[edit]
noch offen
Verbesserungsvorschläge / Kritik[edit]
noch offen