TU Wien:Practical Applications of Answer Set Programming VU (Weinzierl)
Zur Navigation springen
Zur Suche springen
Daten[Bearbeiten | Quelltext bearbeiten]
| Vortragende | Antonius Weinzierl |
|---|---|
| ECTS | 3 |
| Letzte Abhaltung | 2022S |
| Sprache | English |
| Mattermost | practical-applications-of-answer-set-programming • Register • Mattermost-Infos |
| Links | tiss:192084 |
| Masterstudium Logic and Computation | |
| Masterstudium Software Engineering & Internet Computing |
Inhalt[Bearbeiten | Quelltext 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 | Quelltext bearbeiten]
noch offen
Vortrag[Bearbeiten | Quelltext bearbeiten]
Frontalvortrag im Stile der KBS-Gruppe. Aber im kleinen Kreis, daher oft mit Diskussion verbunden.
Übungen[Bearbeiten | Quelltext bearbeiten]
Kurze "exercise sheets", welche stark an Lückentextbeispiele erinnern.
Prüfung, Benotung[Bearbeiten | Quelltext bearbeiten]
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[Bearbeiten | Quelltext bearbeiten]
noch offen
Zeitaufwand[Bearbeiten | Quelltext bearbeiten]
noch offen
Unterlagen[Bearbeiten | Quelltext bearbeiten]
noch offen
Tipps[Bearbeiten | Quelltext bearbeiten]
noch offen
Highlights / Lob[Bearbeiten | Quelltext bearbeiten]
noch offen
Verbesserungsvorschläge / Kritik[Bearbeiten | Quelltext bearbeiten]
noch offen