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 2020SS
Language English
Links tiss:192084
Zuordnungen
Master Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik
Master Logic and Computation Wahlmodul Knowledge Representation and Artificial Intelligence

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

Attachments

This page has no attachments yet but you can add some.
Retrieved from "https://vowi.fsinf.at/wiki?title=TU_Wien:Practical_Applications_of_Answer_Set_Programming_VU_(Weinzierl)&oldid=141260"