TU Wien:Practical Applications of Answer Set Programming VU (Weinzierl)
Inhaltsverzeichnis
Daten[Bearbeiten]
| Vortragende | Antonius Weinzierl |
|---|---|
| ECTS | 3 |
| Abteilung | Logic and Computation |
| Wann | Sommersemester |
| Sprache | English |
| Links | TISS |
| M. Logic and Computation | Wahlmodul Knowledge Representation and Artificial Intelligence |
| M. Software Engineering & Internet Computing | Wahlmodul Formale Methoden und Theoretische Informatik |
Mattermost: Channel "practical-applications-of-answer-set-programming" Team invite & account creation link Mattermost-Infos
Inhalt[Bearbeiten]
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[Bearbeiten]
noch offen
Vortrag[Bearbeiten]
Frontalvortrag im Stile der KBS-Gruppe. Aber im kleinen Kreis, daher oft mit Diskussion verbunden.
Übungen[Bearbeiten]
Kurze "exercise sheets", welche stark an Lückentextbeispiele erinnern.
Prüfung, Benotung[Bearbeiten]
noch offen
Dauer der Zeugnisausstellung[Bearbeiten]
noch offen
Zeitaufwand[Bearbeiten]
noch offen
Unterlagen[Bearbeiten]
noch offen
Tipps[Bearbeiten]
noch offen
Verbesserungsvorschläge / Kritik[Bearbeiten]
noch offen
