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

From VoWi
Revision as of 19:59, 10 June 2019 by Gittenborg (talk | contribs) (fixe LVA-Daten (lva_fixer.py))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
Zuordnungen
Master Logic and Computation Wahlmodul Knowledge Representation and Artificial Intelligence
Master Software Engineering & Internet Computing Wahlmodul Formale Methoden und Theoretische Informatik

Mattermost: Channel "practical-applications-of-answer-set-programming"RegisterMattermost-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.